25/12/03 16:15:08.03 0.net
形式派
ブルバキ、ヒルベルトなど、定義や証明をきちんとしないものは数学と見做さない、19世紀の数学
直観派
グロタンディークなど、先天的なビジョンがあることが数学にとって重要、現代数学
今一番強い数学者テレンス･タオはブログで「ここは厳密には証明してないけど、直観的にはこう」など平気で書く
形式派は人間の外部の強さ、数学を道具とすることを重要視する
直観派は人間本来持つ強さのようなものを重要視する
25/12/03 16:15:08.03 0.net
形式派
ブルバキ、ヒルベルトなど、定義や証明をきちんとしないものは数学と見做さない、19世紀の数学
直観派
グロタンディークなど、先天的なビジョンがあることが数学にとって重要、現代数学
今一番強い数学者テレンス･タオはブログで「ここは厳密には証明してないけど、直観的にはこう」など平気で書く
形式派は人間の外部の強さ、数学を道具とすることを重要視する
直観派は人間本来持つ強さのようなものを重要視する