数学における証明と真理: 様相論理と数学基礎論

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Proof and truth in mathematics: modal logic and foundations of mathematics

Author(s): 佐野勝彦,倉橋太志,薄葉季路,黒川英徳,菊池誠
Edition: 1
Publisher: 共立出版
Year: 2016

Language: Japanese
Pages: 304

目次

第1部 様相論理入門(正規様相論理の構文論・意味論・ヒルベルト式公理系
正規様相論理の有限フレーム性・決定可能性
様相論理の発展と歴史的背景)
第2部 証明可能性論理(不完全性定理と証明可能性論理
ソロヴェイの算術的完全性定理
証明可能性論理の発展)
第3部 強制法と様相論理(公理的集合論の概要
強制法と多元宇宙論
強制様相論理)
第4部 真理と様相(真理に関するタルスキの定理と型付きの真理述語
クリプキの真理論―型をもたない真理論(1)
真理から様相へ―型をもたない真理論(2))