W. W. Tait

Available identifiers

zbMath Open tait.william-wDBLP19/2190WikidataQ8019843 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
The substitution method revisited	2011-05-31	Paper
Gödel on intuition and on Hilbert's finitism	2011-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3079618	2011-03-02	Paper
Godel's interpretation of intuitionism	2007-02-13	Paper
Noēsis: Plato on exact science	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
Gödel's unpublished papers on foundations of mathematics	2002-07-18	Paper
Cantor's \textit{Grundlagen} and the paradoxes of set theory	2002-03-17	Paper
Extensional equality in the classical theory of types	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/Q5605873	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5585417	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
https://portal.mardi4nfdi.de/entity/Q5533180	1965-01-01	Paper
The substitution method	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5607987	1961-01-01	Paper
Nested recursion	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

This page was built for person: W. W. Tait