Tokyo University of Agriculture[Okhotsk]
To OPAC Login To MyOPAC
  • Catalog Search Catalog Search ▼
  • User service User Service ▼
    • Your Library Record
    • Bookmark
    • My Search
    • SearchAlert
    • InterLibrary Copy Request
    • InterLibrary Loan Request

Tokyo University of Agriculture[Okhotsk]

Back to List

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

竹内薫著. -- 完全版. -- 講談社, 2024. -- (ブルーバックス ; B-2277). <BB20325761>
Functions：
Details
The URL of this Bib:

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

竹内薫著. -- 完全版. -- 講談社, 2024. -- (ブルーバックス ; B-2277). <BB20325761>
Functions：
Details
The URL of this Bib:

HoldingsListing 1-1 of about 1

Click a number to display details about the collection.

No. Volumes Holding Library Holdings Location Material ID Call No In-Lib Only Status Due Date RSVN Num
0001 Okhotsk １Ｆ小型第二 7666750 410.9||Ta67 帯出可 整理済 0items
No. 0001
Volumes
Holding Library Okhotsk
Holdings Location １Ｆ小型第二
Material ID 7666750
Call No 410.9||Ta67
In-Lib Only 帯出可
Status 整理済
Due Date
RSVN Num 0items
Go to the top of this page

Bibliography Details

title and statement of responsibility area 不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか / 竹内薫著
フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ
edition area 完全版
publication,distribution,etc.,area 東京 : 講談社 , 2024.11
physical description area 277p : 挿図, 肖像 ; 18cm
Volume Information
international standard book number 9784065362266
parent bibliography link ブルーバックス||ブルー バックス <BB00011301> B-2277//a
variant titles 異なりアクセスタイトル:不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか
フカンゼンセイ テイリ トワ ナニ カ : カンゼンバン : ゲーデル ト チューリング : テンサイ ワ ナニ オ ショウメイ シタノカ
Abstract 証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。
note 表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
note 竹内流ゲーデル教程(読書案内): p261-270
NCID BD09545152
text language code Japanese
author link 竹内, 薫 (1960-)||タケウチ, カオル <AU10017451> 著者
classification Mathematics NDC9:410.9
classification Collected works. Collections NDC9:408
classification Mathematics NDC10:410.9
classification Science and technology NDLC:MA41
subject headings 不完全性定理||フカンゼンセイテイリ
subject headings Turing, Alan, 1912-1954
subject headings ゲーデルの定理||ゲーデルノテイリ
Go to the top of this page
Back to List
Go to the top of this page

  • Related Information

    Related Items

    Other Databases

    NII Bibliography Search

    Get it from another library

    • ILL Copy Request(get a copy from another library)
    • ILL Lending Request(borrow the actual book)

    QR code