ゲーデルの不完全性定理以降の形式主義の再検討

• Project/Area Number: 24720017
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Multi-year Fund
• Research Field: Philosophy/Ethics
• Research Institution: Keio University
• Principal Investigator: 秋吉 亮太 慶應義塾大学, 文学研究科, 助教 (20587852)
• Project Period (FY): 2012-04-01 – 2013-03-31
• Project Status: Declined (Fiscal Year 2012)
• Budget Amount: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000); Fiscal Year 2013: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2012: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)