械化」證明方面準備了條件。 20年代後期，馮·諾依曼參與了希爾伯特的元數學計劃，發表過幾篇證明部分算術公理無矛盾性的論文。l927年的論文《關於希爾伯特證明論》最為引人注目，它的主題是討論如何把數學從矛盾中解脫出來。文章強調由希爾伯特等提出和發展的這個問題十分複雜，當時還未得到滿意的解答。它還指出阿
50 KB (13,156 個字) - 2020年3月17日 (二) 21:21
械化」證明方面準備了條件。 20年代後期，馮·諾依曼參與了希爾伯特的元數學計劃，發表過幾篇證明部分算術公理無矛盾性的論文。l927年的論文《關於希爾伯特證明論》最為引人注目，它的主題是討論如何把數學從矛盾中解脫出來。文章強調由希爾伯特等提出和發展的這個問題十分複雜，當時還未得到滿意的解答。它還指出阿
46 KB (13,123 個字) - 2022年7月15日 (五) 18:03
械化」證明方面準備了條件。 20年代後期，馮·諾依曼參與了希爾伯特的元數學計劃，發表過幾篇證明部分算術公理無矛盾性的論文。l927年的論文《關於希爾伯特證明論》最為引人注目，它的主題是討論如何把數學從矛盾中解脫出來。文章強調由希爾伯特等提出和發展的這個問題十分複雜，當時還未得到滿意的解答。它還指出阿
44 KB (13,116 個字) - 2020年7月10日 (五) 18:42
械化」證明方面準備了條件。 20年代後期，馮·諾依曼參與了希爾伯特的元數學計劃，發表過幾篇證明部分算術公理無矛盾性的論文。l927年的論文《關於希爾伯特證明論》最為引人注目，它的主題是討論如何把數學從矛盾中解脫出來。文章強調由希爾伯特等提出和發展的這個問題十分複雜，當時還未得到滿意的解答。它還指出阿
50 KB (13,243 個字) - 2020年3月13日 (五) 16:24