なぜ、ZFC公理まで遡らなくても数学が出来るの? (117レス)
1-

73
(5): 11/17(日)20:03 ID:cugt1V1g(7/12) AAS
>>72 補足
>なぜ、ZFC公理まで遡らなくても数学が出来るの?
>人の脳には、言語化されない 生物としての能力が沢山あるのです(下記など)
>『”厳密性を数学と取りちがえるという勘違い”(渕野語録)』を、百回音読しよう! w ;p)

・21世紀にはっきりしたことは
 ZFCは、多くの基礎論以外の数学者がやっている数学研究には役立たない
・その大きな原因の一つが、ZFCの一階述語論理限定だろうと(私的独善と偏見あり)
(なお、下記 youtu.be 数学基礎論ご参照。なお、謎の数学者は、いま日本に帰国されています)
・一方、圏論は一階述語論理に限られないので、流行っています w ;p)
>>47より 圏論による論理学 高階論理とトポス 清水義夫 2007/12/14 ご参照)
省11
1-
あと 44 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.004s