Jump to main content
図書

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか 完全版 (ブルーバックス ; B-2277)

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか

完全版

(ブルーバックス ; B-2277)

Call No. (NDL)
MA41-R12
Bibliographic ID of National Diet Library
033793574
Material type
図書
Author
竹内薫 著
Publisher
講談社
Publication date
2024.11
Material Format
Paper
Capacity, size, etc.
277p ; 18cm
NDC
410.9
View All

Detailed bibliographic record

Summary, etc.:

証明が不可能であることは証明できるのか。ゲーデルの不完全性定理」と「チューリング機械の停止問題」、この難題をどう解決したのか(Provided by: 出版情報登録センター(JPRO))

Author introduction:

竹内 薫 サイエンス作家。1960年生まれ。東京大学教養学部教養学科、同大学理学部物理学科卒業。マギル大学大学院博士課程修了(高エネルギー物理学専攻、理学博士)。「サイエンスZERO」(NHKEテレ)の司会を長く務め、科学コミュニケーターとしても広く知られている。主な著書に『量子重力理論とはなにか』...

Search by Bookstore

Table of Contents

Provided by:出版情報登録センター(JPRO)Link to Help Page
  • はじめに

  • プロローグ 「心優しきプログラマーさんの悩み」

  • 第0章 こころの準備

  • 公理から集合まで

  • いわゆる3ワカランについて

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Northern Japan

Kanto

Tokai/Hokuriku

Search by Bookstore

Publication bibliographic database Books Find a bookstore where you can purchase books from

Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper Digital

Material Type
図書
ISBN
978-4-06-536226-6
Title Transcription
フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ
Author/Editor
竹内薫 著
Edition
完全版
Author Heading
著者 : 竹内, 薫, 1960- タケウチ, カオル, 1960- ( 00187325 )Authorities
Publication, Distribution, etc.
Publication Date
2024.11