邏輯的極限與數學的困境,羅素用了362頁才推匯出1+1=2希爾伯特:不需要玩家的遊戲德國數學家大衛·希爾伯特(David Hilbert, 1862-1943)擴充套件了弗雷格和羅素的工作,提出了著名的希爾伯特方案,即數學的任何分支都可以被重新表述為一種形式理論,他提出以下3個問題是否存在正解:一...