易弯曲 发表于 2025-3-26 20:56:57

http://reply.papertrans.cn/17/1678/167728/167728_31.png

睨视 发表于 2025-3-27 02:28:01

http://reply.papertrans.cn/17/1678/167728/167728_32.png

哪有黄油 发表于 2025-3-27 06:26:30

Euclid: Doing and Showingants 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).

epinephrine 发表于 2025-3-27 11:51:35

http://reply.papertrans.cn/17/1678/167728/167728_34.png

头脑冷静 发表于 2025-3-27 15:51:17

http://reply.papertrans.cn/17/1678/167728/167728_35.png

Malfunction 发表于 2025-3-27 20:53:32

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.

Venules 发表于 2025-3-28 01:14:38

How Mathematical Concepts Get Their Bodies claim applies to Euclid’s geometry, that is, how exactly concepts and intuitions work here closely together. In this Chapter I consider a question that Kant himself never systematically studied, namely the question of how mathematics develops. It is obvious that mathematical concepts change through

Diatribe 发表于 2025-3-28 02:09:09

http://reply.papertrans.cn/17/1678/167728/167728_38.png

瘙痒 发表于 2025-3-28 09:53:44

http://reply.papertrans.cn/17/1678/167728/167728_39.png

Terminal 发表于 2025-3-28 11:56:32

http://reply.papertrans.cn/17/1678/167728/167728_40.png
页: 1 2 3 [4] 5
查看完整版本: Titlebook: Axiomatic Method and Category Theory; Andrei Rodin Book 2014 Springer International Publishing Switzerland 2014 Categorical logic.David Hi