超数学
超数学(ちょうすうがく)あるいはメタ数学(メタすうがく、英語: metamathematics[1])とは、数学自体を研究対象とした数学のこと。超数学という語を初めて用いたのはヒルベルトであり、彼は数学の無矛盾性や完全性を問題とした。ゲーデルの完全性定理や不完全性定理はその例である。
脚注
- ^ 文部省学術奨励審議会学術用語分科審議会 編『学術用語集 論理学編』大日本図書、1965年。全国書誌番号:65007001。
関連項目
| |
---|---|
|
| |
---|---|
ドメインおよびメソッド |
- 表示
- 編集
超数学(ちょうすうがく)あるいはメタ数学(メタすうがく、英語: metamathematics[1])とは、数学自体を研究対象とした数学のこと。超数学という語を初めて用いたのはヒルベルトであり、彼は数学の無矛盾性や完全性を問題とした。ゲーデルの完全性定理や不完全性定理はその例である。
| |
---|---|
|
| |
---|---|
ドメインおよびメソッド |