«ふかんぜんせい‐ていり»に関連する日本語の本
以下の図書目録から
ふかんぜんせい‐ていりの使いかたを見つけましょう。
ふかんぜんせい‐ていりに関する本と日本語文献で使われた文脈を提供するための簡単な抜粋文。
「数学って、不完全だったの?」「僕」と三人の少女が「不完全性定理」の真実に迫る、魅惑の数学物語。
正しくても常に証明できるとは限らない。「証明」を深く考察した「不完全性定理」は真な命題は必ず証明できるはずだと考えていた数学界に、大きな衝撃を与えました。しかし ...
あなたが矛盾しないことをあなたは証明できない―人間の理性に限界があることを証明し、神の存在証明をも行った“アリストテレス以来の天才”。その思想の全体像を、はじめ ...
ゲーデルが25歳で出版した「不完全性定理」(1931)は、当時の数学界の巨匠ヒルベルトが提唱した「形式主義によって超数学を展開しようという計画」に対して、原理的な限界を示 ...
5
スマリヤンのゲーデル・パズル: 論理パズルから不完全性定理へ
出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
6
言語と知能 ―言語はどのようにして創られたか?―: - 111 ページ
ˎ3ɹෆશੑఆཧ ゲーデルは 1930 年に 1 階述語論理の完全性を証明したがɼその翌年自然数の公理系に関する不完全性定理を証明したɽこれは正確にいえばɼ「自然数の公理系を含む任意の無矛盾な公理系は不完全であるɼつまり自然数上の命題(これは真 ...
心ときめく数学の世界をあなたに。 『プログラマの数学』の結城浩が贈る『数学ガール』は魅惑の数学物語。美少女ミルカさん、元気少女テトラちゃん、それに僕の三人の高校 ...
8
[小説]フェルマーの最終定理 - 51 ページ
発想を変えなければ、世紀の難問は解くことができない」そう、フェルマーの最終定理も、加世紀の半ばに入りまさにそのような局面を迎える ... チェコ生まれのゲーデルがー 93 ー年に発表した衝望的な「不完全性定理』によって、そんな風潮も強くなっていました。
「革命」ばかりが語られてきた不完全性定理について、本来の定理としての醍醐味を語る。ゲーデル、チューリングをはじめとする驚くべき頭脳がシステムの性質を探る、創造性 ...
数学の土台の完璧さを証明しょうというヒルベルトの夢に対して、ゲーデルの「不完全性定理」は「数学はその完璧さ(無矛盾性)を証明することはできない」ということを証明してしまったのです。正しいのに証明できないことがあるというのです。私たちの論理的思考 ...