数学の哲学

ウィキペディア

数学の哲学

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

数学の哲学（すうがくのてつがく、英: philosophy of mathematics）は、哲学（科学哲学）の一分野で、数学を条件付けている哲学的前提や哲学的基礎、そして数学の哲学的意味を研究するものである。

ウィキペディア小見出し辞書

数学の哲学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 05:16 UTC 版)

「スーパータスク」の記事における「数学の哲学」の解説

もしスーパータスクが可能なら、数論の未知の命題（ゴールドバッハ予想であれ決定不能命題でさえ）の真偽性を、有限の時間で、自然数の集合上の力まかせ探索によって決定することができる。しかしながらこれはチャーチ＝チューリングのテーゼに矛盾することになる。