「ブルーバックス●不完全性定理とはなにか（竹內(nèi)薫）'13」

●緊急のお知らせがある場(chǎng)合がありますので、必ず自己紹介欄をお読みください
●中古。並品。古書につき相応のヤケ、スレなどがあり、新本の狀態(tài)ではありません。製本のイタミ、破損ページ、書込みなどにつきましては極力點(diǎn)検しておりますが見落としご容赦ください。
●'13年版。発売時(shí)定価～900+稅円
●不完全性定理は、智の限界ではない！　數(shù)學(xué)ファンならずともちゃんと理解しておきたい「ゲーデルの不完全性定理」を平易に解説する。 「証明が不可能である」を、どのように証明したのか？ 「智の限界」「科學(xué)の終焉」などと言われることがある「不完全性定理」。 　しかし、それは智の終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。 　同じことを、イギリスの數(shù)學(xué)者チューリングは、彼が築いたコンピュータの數(shù)學(xué)的基礎(chǔ)「チューリング機(jī)械」を用いて示しました。 　ゲーデルとチューリングの証明の詳細(xì)は抽象的でたいへん高度ですが、定理の內(nèi)容は、それほど神秘的なことを言っているわけではありません。 　そこで本書では、「不完全性定理」の內(nèi)容を、正確に理解するとともに、その証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。 プロローグ「心優(yōu)しきプログラマーさんの悩み」 第０章　心の準(zhǔn)備 第１章　無(wú)限に挑んだドン?キホーテ、ゲオルク?カントール 第２章　ラッセル卿の希望を打ち砕いたクルト?ゲーデル 第３章　チューリングの辭書に「停まる」という文字はない 第４章　Ω數(shù)、様相論理、エトセトラ エピローグ　「とあるサイエンス作家のゲーデル遍歴」 付録１　ベリーのパラドックスと不完全性定理 付録２　「竹內(nèi)流ゲーデル教室」（ええと、ようするに読書案內(nèi)です）
●國(guó)內(nèi)送料は別途記載のとおりです。
　事故の際補(bǔ)償のつかないものもあります。
☆諸事情により発送手段が変更となる場(chǎng)合がありますのでご了承ください（送料の過(guò)不足精算はできません）。
●海外発送についてはご相談ください。EMS,Air/SAL/Surface mail for overseas.
←他にも多數(shù)出品中。ぜひご覧ください。
●複數(shù)ご落札の場(chǎng)合は日にちをまたがっていても一括発送します。
●お支払いは、Yahooかんたん決済のみです。
●ご返品はお引き受けしますが返送料その他はご負(fù)擔(dān)ください。
●絶版となった古書は定価より高価格で出品、落札となる場(chǎng)合があります。參考のため発売時(shí)定価を表示しておりますので、熟慮の上ご入札ください。
●評(píng)価はご要望のある方のみお付けいたしております。