レイモンド・m・スマリヤン

Individuals/organizations Page

Books

スマリヤンのゲーデル・パズル

レイモンド・m・スマリヤン

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784535787544
ISBN 10 : 4535787549
Format
：
Books
Publisher
：
日本評論社
Release Date
：
November/2014
Release Country
：
Japan
Co-Writer, Translator, Featured Individuals/organizations
:
レーモンド・M.スマリヤン, 川辺治之, レイモンド・Ｍ・スマリヤン ,  

Content Description

出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。

目次 : 第１部　パズル、パラドックス、無限（とりとめのない自己紹介/ 騎士と悪漢の島/ 不思議なムジカ島/ メタパズル４題/ 認められた騎士と悪漢　ほか）/ 第２部　証明可能性、真理、決定不能性（真理と証明可能性/ 構文論的不完全性定理/ 段階的証明可能性/ 形式体系と再帰的関数論/ 不完全性と決定不能性　ほか）

【著者紹介】
レイモンド・Ｍ・スマリヤン : １９１９年、ニューヨーク生まれ。１９５９年、プリンストン大学にてＰｈ．Ｄ．を取得。数学者、専門は数理論理学

川辺治之 : １９８５年、東京大学理学部数学科卒業。現在、日本ユニシス株式会社総合技術研究所上席研究員（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

  • ほにょこ

    読了日：2019/03/12

    ★★★☆☆ 面白いです。 パズルというより数学書。 不完全性定理についてかなりの疑問が解消しました。 もうちょっと。

  • eulerdora

    読了日：2019/10/27

    前半はアップで、後半から本気を出してくる。 初心者向けで、ペアノ算術について不完全性定理を適用している本はなかなかない気がする。多くの問題はそこまで難しくないものの、再帰関数論の問題は骨が折れた。 ω不完全性は知らないとうっかりしそうで恐ろしい。

レビューをもっと見る

(外部サイト)に移動します

Recommend Items

Sell This Item