「証明論」に関するサイレントキーワード「哲学」が含まれる科研費採択研究3件

【研究名】「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開
【研究代表者】岡田 光弘  慶應義塾大学   文学部(三田)   名誉教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
秋吉 亮太  早稲田大学  高等研究所  その他(招聘研究員)  	https://nrid.nii.ac.jp/ja/nrid/1000020587852/	
金子 洋之  専修大学  文学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060191988/	
峯島 宏次  慶應義塾大学  文学部(三田)  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000080725739/	

【研究名】数学の哲学の新たな展開
【研究代表者】菊池 誠  神戸大学   システム情報学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000060273801/	 
【研究分担者】
岡本 賢吾  東京都立大学  人文科学研究科  教授  	https://nrid.nii.ac.jp/ja/nrid/1000000224072/	
岡田 光弘  慶應義塾大学  文学部(三田)  名誉教授  	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	
三好 博之  京都産業大学  理学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060286135/	

【研究名】論理哲学の学際研究ー直観主義論理の推論・証明理論を中心として
【研究代表者】岡田 光弘  慶應義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/