逆数学とは何？ わかりやすく解説 Weblio辞書 (original) (raw)
| 
556の専門辞書や国語辞典百科事典から一度に検索! | | |
| --------------------------------------------------------------------------------------------------------------------------------------------------------- | | |
逆数学
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/05/05 23:24 UTC 版)
逆数学（ぎゃくすうがく）とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。
逆数学
ウィキペディア小見出し辞書の「逆数学」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- 逆数学のページへのリンク
辞書ショートカット
- 1 ウィキペディア
- 2 ウィキペディア小見出し辞書
すべての辞書の索引
「逆数学」の関連用語
逆数学のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。
©2024 GRAS Group, Inc.RSS