數學中的證據:哥德爾與胡塞爾

摘要：哥德爾的數學哲學從胡塞爾現象學中汲取了重要的洞見。胡塞爾的本質直觀方法直接激發了哥德爾對非物質對象的思考。哥德爾將非物質對象把握為經驗所與中的結構性因素,但與感性直觀類似,這些因素也是被直接給予的,并且是數學證據的來源。哥德爾與胡塞爾都堅持數學證據的可錯性,并提出數學中所應有的假設性維度。最后,反思均衡是哥德爾與胡塞爾數學證成觀的共同點。