数学と哲学
■ このスレッドは過去ログ倉庫に格納されています
0660132人目の素数さん
2007/01/26(金) 08:58:14ttp://www.shayashi.jp/HistorySociology/HistoryOfFOM/papers/gendaishiso.html
Cantorの集合論は公理的な要素は皆無と言って良い。
公理的手法を数学の基礎に据えた学者が最高と言うのなら、
Euclid(彼は老子とかと同じで実在しないとする説も強いんだけど)は
幾何学を公理、公準だけに基づいて建設したと思っていたわけで、
彼或いは彼らを公理的手法の最初の開拓者と見做して良いのでは。
(実際はHilbertが示したように明示的に言葉で
表現されていない暗黙の仮定があったけれども)
■ このスレッドは過去ログ倉庫に格納されています