I learned them all when I was in graduate school


所有跟贴·加跟贴·新语丝读书论坛

送交者: xinku 于 2008-01-03, 21:35:54:

回答: go check mathematical logic and model theory, where Godel incompleteness 由 steven 于 2008-01-03, 21:26:04:

they are not what you think.
BTW: Godel incompleteness is not in the model theory, it is in the proof theory.



所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明