19/03/12 16:06:49.33 L9877gai.net
>>191
>そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
>アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので
例のかがみさん(>>171)も書いているね
「最近は数学的対象に関する洞察を深めるた めには、形式的な体系が直感的な裏付けをもつ、ということは非常に大切なこ とであると考えが変化したのであります」
と
”数理解析研究所
19/03/12 16:06:49.33 L9877gai.net
>>191
>そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
>アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので
例のかがみさん(>>171)も書いているね
「最近は数学的対象に関する洞察を深めるた めには、形式的な体系が直感的な裏付けをもつ、ということは非常に大切なこ とであると考えが変化したのであります」
と
”数理解析研究所