W. W. Tait

2.2k total citations
30 papers, 620 citations indexed

About

W. W. Tait is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Experimental and Cognitive Psychology. According to data from OpenAlex, W. W. Tait has authored 30 papers receiving a total of 620 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Computational Theory and Mathematics, 11 papers in Artificial Intelligence and 8 papers in Experimental and Cognitive Psychology. Recurrent topics in W. W. Tait's work include Computability, Logic, AI Algorithms (9 papers), Philosophy and Theoretical Science (8 papers) and Logic, programming, and type systems (8 papers). W. W. Tait is often cited by papers focused on Computability, Logic, AI Algorithms (9 papers), Philosophy and Theoretical Science (8 papers) and Logic, programming, and type systems (8 papers). W. W. Tait collaborates with scholars based in United States and France. W. W. Tait's co-authors include Leonard Linsky, G. Kreisel, Øystein Linnebo, Gaisi Takeuti, Donald A. Martin, Carl G. Jockusch, John T. Baldwin and Robert I. Soare and has published in prestigious journals such as The Philosophical Review, The Journal of Philosophy and Bulletin of the American Mathematical Society.

In The Last Decade

W. W. Tait

26 papers receiving 533 citations

Peers

W. W. Tait

AI

CTM

ECP

TCS

HPS

Dirk van Dalen Netherlands

Harold T. Hodes United States

Paul Bernays Switzerland

Dag Prawitz Sweden

Hans Hermes Germany

Wilfried Sieg United States

Harvey Friedman United States

Robert L. Vaught United States

Richard Dedekind Switzerland

Peter Aczel United Kingdom

Dirk van Dalen Netherlands

W. W. Tait

292 ×0.8

AI

252 ×0.7

CTM

89 ×0.6

ECP

65 ×0.6

TCS

99 ×1.0

HPS

Citations per year, relative to W. W. Tait W. W. Tait (= 1×) peers Dirk van Dalen

Countries citing papers authored by W. W. Tait

Since Specialization

Citations

This map shows the geographic impact of W. W. Tait's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by W. W. Tait with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites W. W. Tait more than expected).

Fields of papers citing papers by W. W. Tait

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by W. W. Tait. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by W. W. Tait. The network helps show where W. W. Tait may publish in the future.

Co-authorship network of co-authors of W. W. Tait

This figure shows the co-authorship network connecting the top 25 collaborators of W. W. Tait. A scholar is included among the top collaborators of W. W. Tait based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with W. W. Tait. W. W. Tait is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Tait, W. W.. (2016). Kant and Finitism. The Journal of Philosophy. 113(5). 261–273. 1 indexed citations

2.

Tait, W. W.. (2006). Proof-theoretic Semantics for Classical Mathematics. Synthese. 148(3). 603–622. 1 indexed citations

3.

Tait, W. W.. (2006). Godel's Correspondence on Proof Theory and Constructive Mathematics: KURT GODEL. Collected Works. Volume IV: Selected Correspondence A-G; Volume V: Selected Correspondence H-Z. Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and Wilfried Sieg, eds. Oxford: Oxford University Press, 2002. Pp. xi + 662; xxiii + 664. ISBN 0-19-850073-4; 0-19-850075-0.. Philosophia Mathematica. 14(1). 76–111. 7 indexed citations

4.

Tait, W. W.. (2005). The Provenance of Pure Reason. 23 indexed citations

5.

Tait, W. W.. (2005). Gödel's Reformulation of Gentzen's First Consistency Proof For Arithmetic: The No-Counterexample Interpretation. Bulletin of Symbolic Logic. 11(2). 225–238. 6 indexed citations

6.

Tait, W. W.. (2005). The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History. 21 indexed citations

7.

Tait, W. W.. (2003). The completeness of Heyting first-order logic. Journal of Symbolic Logic. 68(3). 751–763. 4 indexed citations

8.

Tait, W. W.. (2001). Beyond the Axioms: The Question of Objectivity in Mathematics†. Philosophia Mathematica. 9(1). 21–36. 8 indexed citations

9.

Linnebo, Øystein & W. W. Tait. (2000). Early Analytic Philosophy: Frege, Russell, Wittgenstein. The Philosophical Review. 109(1). 98–98. 4 indexed citations

10.

Tait, W. W.. (1990). The Iterative Hierarchy of Sets. 39. 65–79. 3 indexed citations

11.

Tait, W. W.. (1986). Charles Parsons' Mathematics in Philosophy. Philosophy of Science. 53(4). 588–606. 6 indexed citations

12.

Tait, W. W.. (1986). Truth and proof: The Platonism of mathematics. Synthese. 69(3). 341–370. 46 indexed citations

13.

Tait, W. W.. (1981). Finitism. The Journal of Philosophy. 78(9). 524–524. 85 indexed citations

14.

Baldwin, John T., Donald A. Martin, Robert I. Soare, & W. W. Tait. (1976). Meeting of the Association for Symbolic Logic, Chicago 1975. Journal of Symbolic Logic. 41(2). 551–560. 1 indexed citations

15.

Tait, W. W.. (1971). Chicago 1967 meeting of the Association for Symbolic Logic. Journal of Symbolic Logic. 36(2). 359–368.

16.

Tait, W. W.. (1967). Intensional interpretations of functionals of finite type I. Journal of Symbolic Logic. 32(2). 198–212. 256 indexed citations

17.

Tait, W. W.. (1965). Functionals defined by transfinite recursion. Journal of Symbolic Logic. 30(2). 155–174. 19 indexed citations

18.

Tait, W. W.. (1961). Nested recursion. Mathematische Annalen. 143(3). 236–250. 20 indexed citations

19.

Kreisel, G. & W. W. Tait. (1961). Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi. Mathematical logic quarterly. 7(1-5). 28–38. 7 indexed citations

20.

Tait, W. W.. (1959). A counterexample to a conjecture of Scott and Suppes. Journal of Symbolic Logic. 24(1). 15–16. 17 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact