William W. Tait

发表

Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation

William W. Tait, W. Tait, 2005, Bulletin of Symbolic Logic.

Against intuitionism: Constructive mathematics is part of classical mathematics

William W. Tait, W. Tait, 1983, J. Philos. Log..

Intensional interpretations of functionals of finite type I

William W. Tait, W. Tait, 1967, Journal of Symbolic Logic.

Meeting of the Association for Symbolic Logic: Biloxi, 1979

John T. Baldwin, Daniel Halpern, William W. Tait, 1981, J. Symb. Log..

The completeness of Heyting first-order logic

William W. Tait, 2003, J. Symb. Log..

Proof-theoretic Semantics for Classical Mathematics

William W. Tait, 2004, Synthese.

Meeting of the Association for Symbolic Logic, Chicago, 1977

Robert I. Soare, Carl G. Jockusch, Gaisi Takeuti, 1978, Journal of Symbolic Logic.

Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections in Honor of per Martin-löf on the Occasion of His Retirement

William W. Tait, W. W. Tait, 2022 .

A counterexample to a conjecture of Scott and Suppes

William W. Tait, W. Tait, 1959, Journal of Symbolic Logic.

Functionals Defined by Transfinite Recursion

William W. Tait, 1965, J. Symb. Log..

The substitution method

William W. Tait, W. Tait, 1965, Journal of Symbolic Logic.

2. Frege versus Cantor and Dedekind: On the Concept of Number

William W. Tait, W. Tait, 1996 .

Gödel's interpretation of intuitionism

William W. Tait, W. Tait, 2006 .

Normal derivability in classical logic

William W. Tait, W. Tait, 1968 .

History of constructivism in the 20 th century

William W. Tait, H. B. Curry, R. Goodstein, 2005 .

Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi

Georg Kreisel, William W. Tait, W. Tait, 1961 .