数学月間の会SGK
  • 新規登録
  • ログイン
2 0 1 1 0 4 7
一覧へ

1. チューリングの停止問題,グレゴリィ・チェイチン

投稿日時: 2020/11/02 システム管理者

証明可能性の限界(1)
証明可能性の限界(2)
証明可能性の限界(3)

有限な公理集合では,証明できない無数の命題が存在します.
SCIENTIFIC AMERICAN OCTOBER 2018,The Unsolvable Problem

ホームイベント情報・参加登録NPO数学月間の会・入会SGK通信★みんなの広場日本の数学月間世界の数学月間社会を支える数理科学繰り返し模様の対称性サイトマップ★索引ブログ(毎週火曜日更新) 最新★ブログyoutubeチャンネル万華鏡を作ろうKaleidoscope
  • Mathematics Awareness Month 9
  • 数セミメディアガイド(イベント情報) | 数学セミナー詳細情報 16
  • The Mathematical Society of Japan (MSJ) 4
  • まぐまぐメルマガ_数学月間SGK通信 10
  • 数学月間の会 - 日本数学協会 39
  • 青空学園数学科 18
  • 蟹江研究室ホームページ(旧) 11
  • 数学月間の会(旧HP) 11
  • 小人さんの妄想 15
  • MSAM 2
  • FMC 0
  • NMF 2
  • 数学教育研究会 11
  • 多面体の一覧表(出原 理) 1
  • NPOイスタ(ISTA) 2
Powered by NetCommons