刚才仔细一看伊profile说的这个话我觉得很好: We should aim to be a logician with the capital L: sensitive as a linguist, think like a philosopher, prove like a mathematician, and make the results work like a computer scientist. At least go beyond what ChatGPT and its logic-enhanced future iterations can do 🙂
然后略加思索发现嗯我唯一想表达的那个命题好像用这个逻辑它就mission impossible啊?
嗯……?事到如今我还能怎么改才能塞进来啊!