The following pages link to William W. Tait (Q2500812):
Displayed 42 items.
- (Q1062969) (redirect page) (← links)
- Against intuitionism: Constructive mathematics is part of classical mathematics (Q1062970) (← links)
- Nested recursion (Q1131248) (← links)
- Proof-theoretic semantics for classical mathematics (Q2500813) (← links)
- (Q2702592) (← links)
- (Q2755493) (← links)
- Beyond the Axioms: The Question of Objectivity in Mathematics† (Q2765285) (← links)
- Godel's Unpublished Papers on Foundations of Mathematics† (Q2765288) (← links)
- (Q3001106) (← links)
- (Q3079618) (← links)
- (Q3079619) (← links)
- The completeness of Heyting first-order logic (Q3160566) (← links)
- A counterexample to a conjecture of Scott and Suppes (Q3268307) (← links)
- Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation (Q3370623) (← links)
- (Q3410817) (← links)
- Godel's interpretation of intuitionism (Q3422401) (← links)
- (Q4093416) (← links)
- (Q4227563) (← links)
- (Q4247035) (← links)
- (Q4247311) (← links)
- (Q4258426) (← links)
- (Q4674792) (← links)
- (Q4767297) (← links)
- A gauge theory of the Weyl group (Q4776098) (← links)
- (Q4793041) (← links)
- Kant on ‘Number’ (Q5034382) (← links)
- What Hilbert and Bernays Meant by “Finitism” (Q5115865) (← links)
- First-Order Logic Without Bound Variables: Compositional Semantics (Q5213619) (← links)
- On the Computability of the Fan Functional (Q5214781) (← links)
- Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections (Q5253927) (← links)
- Functionals defined by transfinite recursion (Q5343335) (← links)
- The substitution method (Q5343336) (← links)
- Gentzen’s Original Consistency Proof and the Bar Theorem (Q5361249) (← links)
- (Q5533180) (← links)
- Intensional interpretations of functionals of finite type I (Q5561939) (← links)
- (Q5585417) (← links)
- A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic (Q5596744) (← links)
- (Q5605873) (← links)
- (Q5607987) (← links)
- Coupling of de Sitter Space-Time and Internal Symmetry (Q5632743) (← links)
- (Q5638276) (← links)
- Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi (Q5724776) (← links)