这本书承诺很多,只提供了很少的东西(它的承诺)。这并不是说这不是一本好阅读,它很有趣1,而只是没有提供您的期望。至少它为您提供了有关数学家大脑的任何信息,如果您考虑一下,这是一种解脱。人们建议,获得科学了解数的唯一方法是研究人脑,这据说是创造了它们的。弗雷格会在他的坟墓里转身。现在的出发点是,数学是通过对公理系统的逻辑扣除来进行的研究,即询问公理是否是真的是毫无意义的,数学家的关注是什么只是可以从中得出的内容(以及该死的后果)。可以将这种数学的观点与像素对图片像素的呈现进行比较。无疑是一个客观的演示,其不可否认的用途,例如在数字媒体中复制和操纵,但没有任何图片的线索?看到一张照片时,人的思想从某种神秘的意义上浮出水面就可以理解它。但是,当面对像素编码涉及数百万个字节的像素时,被遗忘了。它的含义都保持在黑暗中。实际上“看到”是一个古典的隐喻,它可以通过逻辑推理的长链来表现出“理解”,但对它们的含义感到困惑。在这种情况下,您经常谈论“本地理解”。该项目像GDEL所展示的那个项目一样,从而使Death-Sknell成为数学的想法,只是正式的游戏。您可以看到夹具尾部难题的不同部分相互融合,但图片本身对您来说是不透明的。将数学减少到逻辑的想法,从而使弗雷格,罗素和怀特海等人热情地追求了它的基础,甚至希尔伯特也部分地陷入了其咒语,因为他被视为对数学的形式主义观点负责。但希尔伯特从来都不是一位内心的形式主义者,他的目的是指出数学的牢固性,这意味着没有矛盾及其力量(WirMéussenWissen,Wir Wilden Wissen)。与局外人可能相信的相反,Godel的定理对生活数学没有真正的影响,只能杀死“ Matematica Principia Matematica”所建议的概念。现在要了解公理方法,可以通过在公理和假设之间进行区分来做得很好。在欧几里得的论文中,其重要性不能被超越,公理是指思想原则,假定物理空间的事实。那些公理和假设不是任意的,而是基于直觉。大
主要关键词