粗鲁的人
发表于 2025-3-30 09:12:35
http://reply.papertrans.cn/32/3134/313350/313350_51.png
Dungeon
发表于 2025-3-30 15:30:43
http://reply.papertrans.cn/32/3134/313350/313350_52.png
Maximizer
发表于 2025-3-30 17:37:13
https://doi.org/10.1007/978-94-007-4435-6Constructive Type Theory; Dummett; Gentzen; Intuitionism; Martin-Löf; Martin-Löf‘s type theory; Mathematic
Gesture
发表于 2025-3-30 21:57:23
http://reply.papertrans.cn/32/3134/313350/313350_54.png
neutrophils
发表于 2025-3-31 02:06:59
,Herstellung von Feuchtpräparaten,We discuss both the historical roots of Skolem’s primitive recursive arithmetic, its essential role in the foundations of arithmetic, its relation to the finitism of Hilbert and Bernays, and its relation to Kant’s philosophy of mathematics.