超数学
(metamathematics から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/10/28 05:47 UTC 版)
超数学(ちょうすうがく)あるいはメタ数学(メタすうがく、英: metamathematics[1])とは、数学自体を研究対象とした数学のこと。超数学という語を初めて用いたのはヒルベルトであり、彼は数学の無矛盾性や完全性を問題とした。ゲーデルの完全性定理や不完全性定理はその例である。
- 1 超数学とは
- 2 超数学の概要
- metamathematicsのページへのリンク