William W. Tait

Available identifiers

zbMath Open tait.william-wWikidataQ8019843 ScholiaQ8019843MaRDI QIDQ2500812

List of research outcomes

Publication	Date of Publication	Type
Kant on ‘Number’	2022-02-25	Paper
What Hilbert and Bernays Meant by “Finitism”	2020-08-21	Paper
On the Computability of the Fan Functional	2020-02-05	Paper
First-Order Logic Without Bound Variables: Compositional Semantics	2020-02-04	Paper
Gentzen’s Original Consistency Proof and the Bar Theorem	2017-09-27	Paper
Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections	2015-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q3001106	2011-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q3079618	2011-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3079619	2011-03-02	Paper
Godel's interpretation of intuitionism	2007-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q3410817	2006-11-16	Paper
Proof-theoretic semantics for classical mathematics	2006-08-18	Paper
Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4674792	2005-05-18	Paper
The completeness of Heyting first-order logic	2005-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4793041	2003-02-18	Paper
Beyond the Axioms: The Question of Objectivity in Mathematics†	2002-09-05	Paper
Godel's Unpublished Papers on Foundations of Mathematics†	2002-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q2755493	2002-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q2702592	2001-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4247035	2000-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4247311	2000-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q4258426	1999-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4227563	1999-07-06	Paper
Against intuitionism: Constructive mathematics is part of classical mathematics	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4093416	1975-01-01	Paper
A gauge theory of the Weyl group	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4767297	1971-01-01	Paper
Coupling of de Sitter Space-Time and Internal Symmetry	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638276	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5585417	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5605873	1968-01-01	Paper
Intensional interpretations of functionals of finite type I	1967-01-01	Paper
A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic	1966-01-01	Paper
Functionals defined by transfinite recursion	1965-01-01	Paper
The substitution method	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5533180	1965-01-01	Paper
Nested recursion	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5607987	1961-01-01	Paper
Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi	1961-01-01	Paper
A counterexample to a conjecture of Scott and Suppes	1959-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: William W. Tait