The following pages link to (Q4237309):
Displaying 38 items.
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- Classical predicative logic-enriched type theories (Q636367) (← links)
- Light Dialectica revisited (Q636373) (← links)
- The logic of optics and the optics of logic (Q707373) (← links)
- Continuum, name and paradox (Q707899) (← links)
- Feferman on foundations. Logic, mathematics, philosophy (Q2012669) (← links)
- Is mathematics problem solving or theorem proving? (Q2013412) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Hilbert's objectivity (Q2447812) (← links)
- The mathematical universe (Q2481233) (← links)
- The logic of Pit (Q2500833) (← links)
- From realizability to induction via dependent intersection (Q2636522) (← links)
- Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program (Q2856488) (← links)
- Three lightings of logic (Invited Talk) (Q2958507) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- (Q4508192) (← links)
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) (Q4602436) (← links)
- Math-Selfie (Q4970685) (← links)
- Why Predicative Sets? (Q5049037) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- Feferman’s Skepticism About Set Theory (Q5214798) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- The challenge of computer mathematics (Q5301849) (← links)
- (Q5365514) (← links)
- (Q5869235) (← links)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES (Q6072337) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)
- John von Neumann’s Discovery of the 2<sup>nd</sup>Incompleteness Theorem (Q6650610) (← links)
- Reconnecting logic with discovery (Q6651705) (← links)
- Towards a new philosophical perspective on Hermann Weyl's turn to intuitionism (Q6653591) (← links)
