8 found
Sort by:
See also:
Profile: William W. Tait (University of Chicago)
  1. William W. Tait (2006). Gödel's Correspondence on Proof Theory and Constructive Mathematics Kurt Gödel. 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. [REVIEW] Philosophia Mathematica 14 (1):76-111.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. William W. Tait (2006). Proof-Theoretic Semantics for Classical Mathematics. Synthese 148 (3):603 - 622.
    We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type is definable (...)
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. William W. Tait (2002). The Myth of the Mind. Topoi 21 (1-2):65-74.
    Of course, I do not mean by the title of this paper to deny the existence of something called.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. William W. Tait (1993). Some Recent Essays in the History of the Philosophy of Mathematics: A Critical Review. [REVIEW] Synthese 96 (2):293 - 331.
  5. William W. Tait (1986). Wittgenstein and the 'Skeptical Paradoxes'. Journal of Philosophy 83 (September):475-488.
  6. Georg Kreisel & William W. Tait (1961). Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):28-38.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. William W. Tait (1960). Review: S. C. Kleene, Extension of an Effectively Generated Class of Functions by Enumeration. [REVIEW] Journal of Symbolic Logic 25 (3):279-280.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. William W. Tait (1959). Review: Leon Henkin, A Generalization of the Concept of $Omega$-Completeness. [REVIEW] Journal of Symbolic Logic 24 (2):172-173.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation