超数学

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

超数学(ちょうすうがく)あるいはメタ数学(メタすうがく、: metamathematics[1])とは、数学自体を研究対象とした数学のこと。超数学という語を初めて用いたのはヒルベルトであり、彼は数学の無矛盾性や完全性を問題とした。ゲーデルの完全性定理不完全性定理はその例である。

脚注[編集]

[ヘルプ]
  1. ^ 文部省学術奨励審議会学術用語分科審議会編 『学術用語集 論理学編』 大日本図書1965年

参考文献[編集]

関連項目[編集]

外部リンク[編集]