scientific article; zbMATH DE number 2168558
From MaRDI portal
Publication:4674792
Recommendations
- scientific article; zbMATH DE number 1764654
- scientific article; zbMATH DE number 2107940
- Logic, philosophy of mathematics, and their history. Essays in honor of W. W. Tait
- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
- An historical introduction to the philosophy of mathematics: a reader
- The story of proof. Logic and the history of mathematics
- scientific article; zbMATH DE number 3232731
- Mathematics and its logics. Philosophical essays
- Mathematics and Its Logics
Cited in
(35)- Reflection principles and second-order choice principles with urelements
- Who's afraid of mathematical Platonism? -- An historical perspective
- Logic, philosophy of mathematics, and their history. Essays in honor of W. W. Tait
- Tait's conservative extension theorem revisited
- Objectivity and truth in mathematics: a sober non-Platonist perspective
- Some thoughts and a proposal in the philosophy of mathematics
- Absolute Infinity in Class Theory and in Theology
- Plural ancestral logic as the logic of arithmetic
- The Operational Perspective: Three Routes
- Degrees of objectivity? \textit{Mathemata} and social objects
- A consistency proof for some restrictions of Tait's reflection principles
- Feferman on set theory: infinity up on trial
- Reflective mereology
- On arbitrary sets and ZFC
- Proof theory in philosophy of mathematics
- Set-theoretic reflection is equivalent to induction over well-founded classes
- Cantor's Abstractionism and Hume's Principle
- scientific article; zbMATH DE number 5527835 (Why is no real title available?)
- Some comments on ``The mathematical universe
- scientific article; zbMATH DE number 1764654 (Why is no real title available?)
- On reflection principles
- Unfolding finitist arithmetic
- The meaning of pure mathematics
- Interpretation and truth in set theory
- Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
- Proving Theorems from Reflection
- Obtaining Woodin's cardinals
- scientific article; zbMATH DE number 1927123 (Why is no real title available?)
- A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
- Malament-Hogarth machines and Tait's axiomatic conception of mathematics
- Hintikka and the functions of logic
- A strong reflection principle
- Mathematical intuition and natural numbers: a critical discussion
- On the concept of finitism
- Introduction: W. W. Tait's career and contributions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4674792)
