G
Georg Kreisel
Researcher at Stanford University
Publications - 44
Citations - 2145
Georg Kreisel is an academic researcher from Stanford University. The author has contributed to research in topics: Mathematical proof & First-order logic. The author has an hindex of 22, co-authored 44 publications receiving 2081 citations. Previous affiliations of Georg Kreisel include University of Reading & University of Paris.
Papers
More filters
Book ChapterDOI
Informal Rigour and Completeness Proofs
TL;DR: In this paper, the authors demonstrate the informal rigor and completeness proofs in mathematical philosophy and demonstrate the relation between intuitive logical consequence and so-called "semantic syntactic" consequence.
Journal ArticleDOI
On the Interpretation of Non-Finitist Proofs--Part I
TL;DR: The purpose of the present paper is to formulate the problem of non-finitist proofs, and to solve it for certain extensions of the predicate calculus, and for analysis with the exclusion of the theory of sets of points.
Journal Article
On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications
TL;DR: In this paper, the problem of non-finitist proofs is formulated and solved for certain extensions of the predicate calculus, and for analysis with the exclusion of the theory of sets of points.
Journal ArticleDOI
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems
Georg Kreisel,Azriel Lévy +1 more
Journal ArticleDOI
On weak completeness of intuitionistic predicate logic
TL;DR: Here D ranges over arbitrary species, and over arbitrary (possibly incompletely defined) subspecies of ;