这本书承诺很多,只提供了很少的东西(它的承诺)。这并不是说这不是一本好阅读,它很有趣1,而只是没有提供您的期望。至少它为您提供了有关数学家大脑的任何信息,如果您考虑一下,这是一种解脱。人们建议,获得科学了解数的唯一方法是研究人脑,这据说是创造了它们的。弗雷格会在他的坟墓里转身。现在的出发点是,数学是通过对公理系统的逻辑扣除来进行的研究,即询问公理是否是真的是毫无意义的,数学家的关注是什么只是可以从中得出的内容(以及该死的后果)。可以将这种数学的观点与像素对图片像素的呈现进行比较。无疑是一个客观的演示,其不可否认的用途,例如在数字媒体中复制和操纵,但没有任何图片的线索?看到一张照片时,人的思想从某种神秘的意义上浮出水面就可以理解它。但是,当面对像素编码涉及数百万个字节的像素时,被遗忘了。它的含义都保持在黑暗中。实际上“看到”是一个古典的隐喻,它可以通过逻辑推理的长链来表现出“理解”,但对它们的含义感到困惑。在这种情况下,您经常谈论“本地理解”。该项目像GDEL所展示的那个项目一样,从而使Death-Sknell成为数学的想法,只是正式的游戏。您可以看到夹具尾部难题的不同部分相互融合,但图片本身对您来说是不透明的。将数学减少到逻辑的想法,从而使弗雷格,罗素和怀特海等人热情地追求了它的基础,甚至希尔伯特也部分地陷入了其咒语,因为他被视为对数学的形式主义观点负责。但希尔伯特从来都不是一位内心的形式主义者,他的目的是指出数学的牢固性,这意味着没有矛盾及其力量(WirMéussenWissen,Wir Wilden Wissen)。与局外人可能相信的相反,Godel的定理对生活数学没有真正的影响,只能杀死“ Matematica Principia Matematica”所建议的概念。现在要了解公理方法,可以通过在公理和假设之间进行区分来做得很好。在欧几里得的论文中,其重要性不能被超越,公理是指思想原则,假定物理空间的事实。那些公理和假设不是任意的,而是基于直觉。大
披露:Camidge 博士报告担任 AbbVie、Apollomics、AstraZeneca、Daiichi Sankyo、Elevation、Kestrel、Nuvalent、Seattle Genetics、Takeda、Turning Point、Amgen、Anchiano、Bio-Thera、Bristol-Myers Squibb、Eisai、EMD Serono、Eli Lilly、GlaxoSmithKline、Helsinn、Janssen、OnKure、 Mersana、辉瑞、齐鲁、罗氏、赛诺菲、CBT Pharmaceuticals、G1 Therapeutics、Blueprint、Achilles、BeyondSpring、Archer、美敦力和 Ribon;接受 Inivata 的研究资助;并参加由 AbbVie、AstraZeneca、Dizal、Inhibrx、Karyopharm、P fi zer、Phosplatin、PsiOxus、Rain、Roche/Genentech、Seattle Genetics、Takeda 和 Turning Point 等公司赞助的试验(机构)。Barlesi 博士自述担任 Roche/Genentech、P fi zer、Novartis、Pierre Fabre、Bristol-Myers Squibb、AstraZeneca/MedImmune、Boehringer Ingelheim、Eli Lilly、Merck Serono、Merck Sharp & Dohme Oncology 和 Takeda 的顾问或顾问角色;从 Roche/Genentech、Bristol-Myers Squibb 和 AstraZeneca/MedImmune 获得差旅、住宿和费用资助;获得罗氏/基因泰克、辉瑞、诺华、皮埃尔法伯、百时美施贵宝、阿斯利康/MedImmune、勃林格殷格翰、礼来、默克雪兰诺、默克夏普和多姆肿瘤学以及武田的酬金;以及罗氏/基因泰克、阿斯利康/MedImmune、百时美施贵宝和皮埃尔法伯提供的研究资金。Angevin 博士自述担任默克夏普和多姆、葛兰素史克、新基和 MedImmune 的顾问或顾问角色并开展研究;并从 AbbVie、罗氏、赛诺菲、辉瑞和 MedImmune 获得差旅、住宿和费用资助。Bauer 博士自述担任 Guardant Health、Ignyta、Loxo 和辉瑞的顾问;并获得 AbbVie、Aileron Therapeutics、Amgen、Astellas Pharma、AstraZeneca、Boehringer Ingelheim、Bristol-Myers Squibb、Calithera Biosciences、Daiichi Sankyo、Deciphera、Genentech/Roche、GlaxoSmithKline、Ignyta、Immunocore、ImmunoGen、Incyte、Kolltan Pharmaceuticals、Leap Therapeutics、Eli Lilly、MabVax、MedImmune、MedPacto Inc.、Merck、Merrimack、Millennium、Mirati Therapeutics、Moderna Therapeutics、Novartis、Peloton、P fi zer、Principia Biopharma、Roche、Sano fi 和 Stemline Therapeutics 的研究资助。 Delmonte 博士自述担任 Bristol-Myers Squibb、AstraZeneca、Roche 和 Takeda 的顾问或顾问委员会成员,并担任 AbbVie 部分临床试验的主要研究员。Dunbar 博士、Motwani 博士、Parikh 博士、Noon 博士、Wu 博士和 Blot 博士均为 AbbVie 的员工,可能持有其股份。Goldman 博士自述获得 AbbVie 和 Genentech/Roche 的研究经费;获得 Genentech 的咨询费;以及获得 AbbVie、Bristol-Myers Squibb 和 Genentech 的研究经费和咨询费。Heist 博士自述获得 Boehringer Ingelheim、Tarveda 和 Novartis 的顾问酬金;担任 Apollomics、Daichii Sankyo、和 EMD Serono;并获得机构研究经费(而非个人)