DUBIT
发表于 2025-3-21 16:30:54
书目名称Axiomatic Method and Category Theory影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0167728<br><br> <br><br>书目名称Axiomatic Method and Category Theory影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0167728<br><br> <br><br>书目名称Axiomatic Method and Category Theory网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0167728<br><br> <br><br>书目名称Axiomatic Method and Category Theory网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0167728<br><br> <br><br>书目名称Axiomatic Method and Category Theory被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0167728<br><br> <br><br>书目名称Axiomatic Method and Category Theory被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0167728<br><br> <br><br>书目名称Axiomatic Method and Category Theory年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0167728<br><br> <br><br>书目名称Axiomatic Method and Category Theory年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0167728<br><br> <br><br>书目名称Axiomatic Method and Category Theory读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0167728<br><br> <br><br>书目名称Axiomatic Method and Category Theory读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0167728<br><br> <br><br>
愤怒历史
发表于 2025-3-21 20:15:51
http://reply.papertrans.cn/17/1678/167728/167728_2.png
slow-wave-sleep
发表于 2025-3-22 03:53:32
http://reply.papertrans.cn/17/1678/167728/167728_3.png
渗入
发表于 2025-3-22 05:51:08
http://reply.papertrans.cn/17/1678/167728/167728_4.png
煤渣
发表于 2025-3-22 09:20:41
Lawvere: Pursuit of Objectivity the current mathematical practice (“applications”). It is opposed in this sense to the “Bolzano-Frege-Peano-Russell tradition” (making part of today’s Analytic philosophy), which attempts to provide Formal Axiomatic Method with a philosophical underpinning disregarding its problematic status in the context of the current mathematical research.
兽群
发表于 2025-3-22 14:22:36
Identity in Classical and Constructive Mathematicstes the apple when green, and B when it is red then . = . (it is the same thing) but the properties of . and . are different: they have a different color. This is at odds with the Indiscernibility of Identicals thesis according to which identical things have identical properties.
走调
发表于 2025-3-22 17:45:03
http://reply.papertrans.cn/17/1678/167728/167728_7.png
亲密
发表于 2025-3-22 23:47:33
New Axiomatic Method (Instead of Conclusion)on and concentration” (Lawvere 2003, p. 213) and generalize upon some examples of axiomatic thinking due to Lawvere and Voevodsky. I begin with the unification, then turn to the concentration and, finally, discuss the place and the special character of logic in the New Axiomatic Method.
合法
发表于 2025-3-23 02:55:25
Humanistic Pedagogy Across the Disciplinesbe by far more common and easier to justify than today. It is sufficient to say that it made part of Kant’s view on mathematics, and that Kant’s view on mathematics remained extremely influential until the very end of the nineteenth century.
神圣将军
发表于 2025-3-23 07:40:47
Angela Rinaldi,Rebecca Pawloskiants to interpret it in modern terms; in order to see the difference between the modern mathematical thinking and older ways of mathematical thinking one wants to avoid anachronisms and understand the old text in its own terms (Unguru 1975).