数学不是一门演绎科学——那是陈词滥调。当你试图证明一个定理时,你不仅仅是列出假设然后开始推理。你所做的是反复试验、实验和猜测。
The true artist creates his own world.
我希望画作成为血肉,拥有和模特一样的生命。
I don't need a stage to shine.
逻辑学研究不仅仅是关于形式系统,更是关于推理本身的本质。