Titlebook: Axiomatic Method and Category Theory; Andrei Rodin Book 2014 Springer International Publishing Switzerland 2014 Categorical logic.David Hi

易弯曲

睨视

哪有黄油

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

头脑冷静

Malfunction

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

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

瘙痒

Terminal