数学基礎論 増補版 [単行本]

数学基礎論 増補版 [単行本] の 商品概要

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

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

• 目次

  はじめに
  数学基礎論の問題構制
  本書の構成
  
  I部　入門篇
  第1章　１階論理入門
  第2章　計算理論入門
  第3章　不完全性定理
  
  II部　基礎篇
  第4章 「基礎篇」の準備
  第5章　モデル理論
  第6章　計算理論
  第7章　集合論
  第8章　証明論
  
  付録A　補遺
  付録B　演習略解
  付録C　文献案内
  
  
  Mathematical Logic
  Expanded Revised Edition
  Toshiyasu ARAI

• 内容紹介

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  新井 敏康(アライ トシヤス)
  １９５８年生まれ。東京大学教養学部基礎科学科卒業。筑波大学数学系大学院博士課程修了。理学博士。現在、東京大学大学院数理科学研究科教授。専門は数学基礎論

• 著者について

  新井　敏康 (アライ　トシヤス)
  東京大学大学院数理科学研究科教授

数学基礎論 増補版 [単行本] の商品スペック