Sūgaku ni okeru shōmei to shinri: yōsō ronri to sūgaku kisoron = Proof and truth in mathematics: modal logic and the foundations of mathematics

Tōkyō-to Bunkyō-ku: Kyōritsu Shuppan (2016)
  Copy   BIBTEX

Abstract

正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説した。

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Kodomo no tetsugaku: umareru mono to shite no shintai.Tatsuya Higaki - 2012 - Tōkyō-to Bunkyō-ku: Kōdansha.
Han Bukkyōgaku: bukkyō tai rinri.Fumihiko Sueki - 2013 - Tōkyō-to Taitō-ku: Chikuma Shobō.
Seibutsugaku to seimeikan =.Takaharu Oda - 2013 - Tōkyō-to Chiyoda-ku: Baifūkan.
人間行動の論理構造.Michael Richard Starks - 2020 - Las Vegas, NV USA: Reality Press.

Analytics

Added to PP
2022-12-13

Downloads
5 (#1,750,484)

6 months
2 (#1,685,557)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Katsuhiko Sano
Hokkaido University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references