数学基礎論 (増補版)

個数:

数学基礎論 (増補版)

  • ウェブストアに4冊在庫がございます。(2024年04月19日 02時13分現在)
    通常、ご注文翌日~2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 610p/高さ 22cm
  • 商品コード 9784130629270
  • NDC分類 410.9
  • Cコード C3041

出版社内容情報

予備知識を仮定せず,数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書,待望の増補版.不完全性定理の意義,算術的完全性定理,ロビンソンによるモデル完全性の初歩事項や演習問題なども追加し,より充実した内容に.

内容説明

予備知識を仮定せず、数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書、待望の増補版。入門篇を中心に記述をわかりやすくするとともに、不完全性定理の意義、算術的完全性定理、ロビンソンによるモデル完全性の初歩事項や演習問題なども追加。「数学についての数学」の全体像を描き出す。

目次

第1部 入門篇(1階論理入門;計算理論入門;不完全性定理)
第2部 基礎篇(「基礎篇」の準備;モデル理論;計算理論;集合論;証明論)
付録

著者等紹介

新井敏康[アライトシヤス]
1958年生まれ。東京大学教養学部基礎科学科卒業。筑波大学数学系大学院博士課程修了。理学博士。現在、東京大学大学院数理科学研究科教授。専門は数学基礎論(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

ちろたん

0
数学基礎論の大盛り。数理論理学の基礎からチューリングのテーゼ・連続体仮説・ススリン木の独立性・強制法に至る数学基礎論の主要な内容が詰まっている。非決定性オートマトンや束論など細かい内容は載っていないので他書を参照のこと2023/07/17

外部のウェブサイトに移動します

よろしければ下記URLをクリックしてください。

https://bookmeter.com/books/17693809
  • ご注意事項

    ご注意
    リンク先のウェブサイトは、株式会社ブックウォーカーの提供する「読書メーター」のページで、紀伊國屋書店のウェブサイトではなく、紀伊國屋書店の管理下にはないものです。
    この告知で掲載しているウェブサイトのアドレスについては、当ページ作成時点のものです。ウェブサイトのアドレスについては廃止や変更されることがあります。
    最新のアドレスについては、お客様ご自身でご確認ください。
    リンク先のウェブサイトについては、「株式会社ブックウォーカー」にご確認ください。