-- ブルーバックス●不完全性定理とはなにか（竹内薫）13

「ブルーバックス●不完全性定理とはなにか（竹内薫）'13」

●緊急のお知らせがある場合がありますので、必ず自己紹介欄をお読みください
●中古。並品。古書につき相応のヤケ、スレなどがあり、新本の状態ではありません。製本のイタミ、破損ページ、書込みなどにつきましては極力点検しておりますが見落としご容赦ください。
●'13年版。発売時定価～900+税円
●不完全性定理は、智の限界ではない！　数学ファンならずともちゃんと理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。「証明が不可能である」を、どのように証明したのか？「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。　しかし、それは智の終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。　同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎「チューリング機械」を用いて示しました。　ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。　そこで本書では、「不完全性定理」の内容を、正確に理解するとともに、その証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。プロローグ「心優しきプログラマーさんの悩み」第０章　心の準備第１章　無限に挑んだドン・キホーテ、ゲオルク・カントール第２章　ラッセル卿の希望を打ち砕いたクルト・ゲーデル第３章　チューリングの辞書に「停まる」という文字はない第４章　Ω数、様相論理、エトセトラエピローグ　「とあるサイエンス作家のゲーデル遍歴」付録１　ベリーのパラドックスと不完全性定理付録２　「竹内流ゲーデル教室」（ええと、ようするに読書案内です）
●国内送料は別途記載のとおりです。
　事故の際補償のつかないものもあります。
☆諸事情により発送手段が変更となる場合がありますのでご了承ください（送料の過不足精算はできません）。
●海外発送についてはご相談ください。EMS,Air/SAL/Surface mail for overseas.

←他にも多数出品中。ぜひご覧ください。
●複数ご落札の場合は日にちをまたがっていても一括発送します。
●お支払いは、かんたん決済のみです。
●ご返品はお引き受けしますが返送料その他はご負担ください。
●絶版となった古書は定価より高価格で出品、落札となる場合があります。参考のため発売時定価を表示しておりますので、熟慮の上ご入札ください。
●評価はご要望のある方のみお付けいたしております。

出价者

信用

价格

时间