10 found
Order:
See also:
Profile: William W. Tait (University of Chicago)
Profile: William Tait (University of Chicago)
  1.  48
    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 (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  32
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  79
    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)  
     
    Export citation  
     
    My bibliography  
  4. Leonard Linsky & William W. Tait (1997). Early Analytic Philosophy Frege, Russell, Wittgenstein : Essays in Honor of Leonard Linsky.
     
    Export citation  
     
    My bibliography   2 citations  
  5.  61
    William W. Tait (1986). Wittgenstein and the 'Skeptical Paradoxes'. Journal of Philosophy 83 (September):475-488.
  6.  22
    William W. Tait (1993). Some Recent Essays in the History of the Philosophy of Mathematics: A Critical Review. [REVIEW] Synthese 96 (2):293 - 331.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  7.  5
    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)  
     
    Export citation  
     
    My bibliography  
  8. 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.
  9.  1
    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)  
     
    Export citation  
     
    My bibliography  
  10. William W. Tait (2006). Proof-Theoretic Semantics for Classical Mathematics. Synthese 148 (3):603-622.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography