証明論入門

著者

• 竹内, 外史 タケウチ, ガイシ
• 八杉, 満利子 ヤスギ, マリコ

書誌事項

証明論入門

竹内外史, 八杉満利子共著

共立出版, 1988.2

タイトル別名

証明論入門 : 数学基礎論改題

タイトル読み

ショウメイロン ニュウモン

注記

「数学基礎論」増補版(1974年刊)の改題改訂

文献: p[186]-187

内容説明・目次

目次

• 第１章　証明の形式化（命題の形式化；ＬＫの基本定理）
• 第２章　自然数論の無矛盾性の証明（自然数論の公理系；無矛盾性の証明の準備）
• 第３章　自然数論の無矛盾性—Ｇ¨ｏｄｅｌの考察（自然数論の、直観主義的自然数論〔ＨＡ〕への翻訳；種々な理論の間の相互関係）
• 第４章　二階論理（二階論理の意味と問題；実数論の無矛盾性問題；二階の体系の証明論）
• 第５章　最近の話題

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN01958614
• ISBN:
  • 4320014065
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: 2, 2, 191p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.9
  • NDC7 : 410.1
  • NDLC : MA41
• 件名:
  • BSH : 数学基礎論