faa1947: Основополагающей теоремой при создании любой математической теории является теорема Геделя о неполноте, которая утверждает (вольный пересказ), что в любой теории обязательно должны быть недоказуемые в рамках этой теории положения, обычно называемые аксиомами. В противном, если все положения доказуемы - эта теория противоречива.
我想回答,但我不明白。
他说你是一条长满泥土的计量经济学虫子。从某种意义上说。我坚决不同意他的观点。他应该被禁止。
他说你是一条长满泥土的计量经济学虫子。从某种意义上说。我坚决不同意他的观点。他应该被禁止。
愉快的。一个人想在公众场合用顶针打自己,一年多来有三个主题,包括一个巨大的主题,另一个人不理解梅马特的笑话,其余的人只是在玩。继续努力吧,阿弗塔。:)
他说你是一条长满泥土的计量经济学虫子。从某种意义上说。我坚决不同意他的观点。他应该被禁止。
(我想抓住这个机会?))))
(笑)
faa1947: Основополагающей теоремой при создании любой математической теории является теорема Геделя о неполноте, которая утверждает (вольный пересказ), что в любой теории обязательно должны быть недоказуемые в рамках этой теории положения, обычно называемые аксиомами. В противном, если все положения доказуемы - эта теория противоречива.
这就是基础。不要试图证明一个公理--那是不了解理论是如何构建的。
你没有准确陈述哥德尔定理。它也不是什么理论。一阶谓词理论是完整的,一切都可以在那里得到证明/反证。而普通的几何学似乎也是完整的。甚至还有一种解决任何几何 问题的算法。但这不是为学龄儿童准备的。
第二:这个口号只是一个笑话。不要把它看得那么严重。数学家们喜欢开玩笑。
P.S.alexjou 已经走在了前面。
一阶谓词理论是完整的,一切都可以在那里得到证明/反证
不要读维基,特别是在睡前。
同一个维基有另一种说法。
我把哥德尔定理作为认知理论的一部分与辩证法一起学习--非常有用。经常把我从氰化物通奸中救出来。
这和维基有什么关系?我读过其他来源的资料--纸质的,甚至在维基本身存在之前就已经有了:)但我还没有系统地研究过它。
亲爱的,这个口号是个笑话!你知道吗?
关于平行性的几何学公理也已经尝试了很长时间。他们没有足够的证据,他们发明了其他的几何图形...
桑尼,这个口号是个笑话!
这是我最近最宝贵的东西:失去幽默感--这很严重。我要去接受治疗。