The following pages link to Mathematics: Form and function (Q4692751):
Displaying 36 items.
- An introduction to mechanized reasoning (Q504394) (← links)
- Physical-based models of internal migration (Q757294) (← links)
- Mathematical pluralism: The case of smooth infinitesimal analysis (Q853816) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- An introduction to the perplex number system (Q1026185) (← links)
- On three arguments against categorical structuralism (Q1036073) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- Incompatible empirically equivalent theories: a structural explication. (Q1578764) (← links)
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics (Q1654210) (← links)
- The never-ending recursion (Q1688713) (← links)
- Comparing material and structural set theories (Q1715477) (← links)
- The axiomatization of linear algebra: 1875-1940 (Q1899010) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Why mathematics needs engineering (Q2374304) (← links)
- `Third' quantization of vacuum Einstein gravity and free Yang-Mills theories (Q2643693) (← links)
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship (Q2757981) (← links)
- Adventures in formalism (Q2904378) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Figures, Formulae, and Functors (Q2948610) (← links)
- Why Categories? (Q3296105) (← links)
- Asymmetry of Cantorian Mathematics from a Categorial Standpoint: Is It Related to the Direction of Time? (Q3296110) (← links)
- Mathematics, form and function (Q3818261) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- Differential Calculus and Nilpotent Real Numbers (Q4650299) (← links)
- (Q4668867) (← links)
- The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more) (Q4836049) (← links)
- The protean character of mathematics (Q4883221) (← links)
- Mathematics of our day (Q4890901) (← links)
- FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE (Q4918375) (← links)
- FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS (Q4918379) (← links)
- Set-theoretic foundations (Q5351860) (← links)
- The strength of Mac Lane set theory (Q5946048) (← links)
- Modelling as a process (Q6159821) (← links)
- Sets with structure, mappings and fixed point property: fixed point structures (Q6180625) (← links)
- Helmholtz's vortex motion: an embodied view of mathematics in the heuristics of fluid mechanics (Q6651708) (← links)
