メタ数学

ウィキペディア

超数学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/08/19 15:49 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "超数学" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2011年11月)

この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年8月） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Metamathematics|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

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

脚注

1. ^ 文部省学術奨励審議会学術用語分科審議会 編『学術用語集 論理学編』大日本図書、1965年。全国書誌番号:65007001。 

関連項目

• メタ
• 数学の哲学
• 証明論
• ヒルベルト・プログラム

表 話 編 歴 メタ論理学 メタ数学
カントールの定理 決定問題（英語版） チャーチ＝チューリングのテーゼ 無矛盾性 実効的方法（英語版） 数学基礎論 幾何学基礎論 ゲーデルの完全性定理 ゲーデルの不完全性定理 健全性 完全性 決定可能性 解釈（英語版） レーヴェンハイム–スコーレムの定理 メタ定理（英語版） 充足可能性 独立性（英語版） タイプとトークンの区別 使用と言及の区別

表 話 編 歴 メタ
ドメインおよびメソッド	メタアナリシス メタ認知 メタ学習 メタ記憶 メタデータ メタディスコース（英語版） メタフィクション メタゲーミング（英語版） メタゲノミクス メタヒューリスティクス メタヒストリー（英語版） メタ知識 メタ言語 メタマテリアル メタ数学 メタモデル メタモチベーション（英語版） メタオブジェクト（英語版） メタ最適化（英語版） メタ組織（英語版） メタフェノミクス（英語版） メタ哲学 メタ認識論（英語版） メタ倫理学 メタ論理学 メタ存在論 メタフィジックス メタプログラミング メタサイエンス（英語版） メタシステム（英語版） メタテオレム（英語版） メタ理論 メタバース

典拠管理データベース: 国立図書館	ドイツ イスラエル 日本

この項目は、数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。

• 表示
• 編集