lethargy
发表于 2025-3-23 10:42:55
http://reply.papertrans.cn/17/1678/167728/167728_11.png
Osteoarthritis
发表于 2025-3-23 16:28:47
Harnessing Hospitality for Human Flourishing 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
调整校对
发表于 2025-3-23 18:32:51
Omowumi Ogunyemi,Andrew Onwudinjotes 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-23 23:59:24
http://reply.papertrans.cn/17/1678/167728/167728_14.png
群居男女
发表于 2025-3-24 03:52:18
http://reply.papertrans.cn/17/1678/167728/167728_15.png
形上升才刺激
发表于 2025-3-24 09:09:45
Nathaniel C. Lupton,Michael Pirsonon 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.
CUMB
发表于 2025-3-24 12:37:26
Oludolapo Afolami,Ruqayyah BaderinwaIn the standard textbooks Hilbert’s philosophy of mathematics is commonly labelled . and under this title distinguished from Brouwer’s ., on the one hand, and Russell’s ., on the other hand. However, as Hintikka (1997a) rightly remarks, this popular name is very misleading.
angiography
发表于 2025-3-24 15:51:10
Moyinoluwa Okunloye,Amaka OkpallaThe replacement of the equivalence . by the identity . = . discussed by Frege (Sect. .) allows for an interpretation, which differs from Frege’s. Namely, equivalence . can be understood as an invertible . (rather than relation), which turns . into . and vice versa; then the identity = becomes the identity . this transformation.
Coeval
发表于 2025-3-24 19:03:02
Hilbert: Making It FormalIn the standard textbooks Hilbert’s philosophy of mathematics is commonly labelled . and under this title distinguished from Brouwer’s ., on the one hand, and Russell’s ., on the other hand. However, as Hintikka (1997a) rightly remarks, this popular name is very misleading.
synovial-joint
发表于 2025-3-25 02:38:31
Identity Through Change, Category Theory and Homotopy TheoryThe replacement of the equivalence . by the identity . = . discussed by Frege (Sect. .) allows for an interpretation, which differs from Frege’s. Namely, equivalence . can be understood as an invertible . (rather than relation), which turns . into . and vice versa; then the identity = becomes the identity . this transformation.