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.
所有跟贴:
加跟贴