11
Feb

哥德尔定理

“如果一个形式理论T足以容纳数论并且无矛盾，则T必定是不完备的。”
“任何一个相容的数学形式化理论中，只要它强到足以在其中定义自然数的概念，就可以在其中构造在体系中既不能证明也不能否证的命题。”
“任何一个足够强的一致公设系统,必定是不完备的”

8
Feb

8
Feb

27
Jan

14
Jan

A Funny Mistake

At noon that day, we found a strange phenomenon. She Fei’s bottle, which was half filled with boiled water, had many bubbles going up from the bottom to the top, with the sound of ‘zizizizi’. It’s so interesting that Zhang …

14
Jan