2 0 0 0 OA <特別寄稿>スコーレムの有限主義
- 著者
- 出口 康夫
- 出版者
- 京都大学哲学論叢刊行会
- 雑誌
- 哲学論叢 (ISSN:0914143X)
- 巻号頁・発行日
- vol.29, pp.81-104, 2002-09-01
言及状況
はてなブックマーク (1 users, 1 posts)
[数学][数学基礎論][構成主義][構成的数学]
スコーレムの有限主義とPRA。構成主義のなかの有限主義。直観主義論理との違い
Twitter (1 users, 1 posts, 1 favorites)
今日は でぐち先生の論文読んだ．これからの研究の材料になるかも．今度お会いしたときに色々聞いてみようっと．http://t.co/KBmuGs7T