5.5K views

Uploaded by Bruno Saramago Monteiro

- Lattice Theory (3ed, 1967) - Birkhoff.pdf
- Gottlob Frege - The Foundations of Arithmetic
- Handbook of Philosophical Logic Vol 1
- R.M. Smullyan, First Order Logic (1995)
- Philosophy of Mathematics Benacerraf Putnam)
- 162393421-Kneale-William-Kneale-Martha-The-Development-of-Logic-1971-With-Corrections.pdf
- Blackburn.2002.ModalLogic
- 2000. Leary - A Friendly Introduction to Mathematical Logic
- Geoffrey Hunter Metalogic an Introduction to the Metatheory of Standard First Order Logic 1996 (1)
- 8263846 the Philosophy of Mathematics Jaakko Hintikka 1
- Aspects of Mathematical Logic
- Mathematics Form and Function
- [Theodore Sider] Logic for Philosophy
- Joseph R. Shoenfield - 1967 - Mathematical Logic
- An Introduction to Formal Logic - Peter Smith
- Husserl Trans. Cairns - Formal and Transcendental Logic
- The Blackwell Guide to Philosophical Logic.pdf
- Paul Cohen - Set Theory and the Continuum Hypothesis
- Halmos - Naive Set Theory
- Godel's Incompleteness Theorems Smullyan 0814758169

You are on page 1of 280

BIBLIOTHECA MATHEMATICA
1A Series of Monographs on Pure and
Applied Mathematics
Volume 1
ited withthe enoperation of
HH oRNTROW
He ,MATHEM
‘THE, WISKUNDIG GENOOTSCIEAP
Pitre
8. 6, we Baers
, vas Davee
| INTRODUCTION TO
METAMATHEMATICS
COLE KLEENE
SH-HOLLAND PUBLISHING CO.
P, NOORDHO¥E NV. — GRONtatraduction to Metamathematies” by S, C, Kesens i aso
‘published by D. van Nostrand Company Ine. New York, as @ vlnme
Ta the University Series in Higher Mathematics
his boo any pts ret eb ep ay form ion rite,
‘Sci om eter a fe poser.
PREFACE
py soecenivo eras of investigations ofthe foundation of mathematics
n'y hineteenthcentsy. culminating in the theory of sts and the
inf Gato of analy Jed around 1500 to a new eis, and a new
arated by the programs of Rasall and Whitehead of Fiber ad
of Brauer.
prenmrcarance in 1981 of Glel's to incompleteness theorems,
in 1980 0 Tara's work onthe concapt of truth in formalized languages,
ie ofthe Herbrand- Gide notion of ‘general recursive function
ven 1086 of Church’ thes of eoneeming i, inaugurate a tll never
ana hich mathematical tol are being apie both to evalating the
‘Sir proerans and in unforeseen directions,
“The him af this book i to provide a connected introduction to the
aes of mathematical loge and rcsesive functions in particular, and
fb the newer foundational investigations in general,
se sleton was necessary. The main eco hasbeen to concentrate
atte Pre Ton the etamathematical investigation f elementary number
fhooy with the requisite mathernatial lg, leaving aside the higher
odieate exe, analysis, type theory and set theony. This ehoie was
Jae besos in umber theory one ds theft and simplest exemple
ration nf the newer methods and conecpt,altbough the extension to
fother branches of nathematies ie well under way and promises to be
Treseasingly important Sn he immediate future
“The book is writen tobe usable ata textbook by fist year graduate
stants in mathematics (and above) and others at tat level of mathe
te cy, eet of th none of any athe
‘atl sbject matter.
Tn wing the book a textbook, ii intended that Pst I (Chapters
LIih, which provides the neee=wary background, should be eovered
api (nto or three weeks by a elas meting the times a week. The
fntesve stady should tgin with Pact TE (Chapter TV), where i «=
‘sential that the student conesteate upon acting « firm grasp of
erathemieal snethod
The stared sctions can be omitted ona fst reading o examined ia‘scutsry manner. Sometimes i wil then benscesary latrto go backand
‘ody an ear starred section (og. § 57 ell have to be sued fr §72,
‘Gus two famous incorpletenes theorems ae reached in Chapter
‘VI Teasing ana to be proved i Chapter The author has found
It fests to complete these fen chapters (and sometimes ait more
;
=~) q
sec eh gt tthe | Bee Cre
"The cemainin five chapters canbe asd to extend such a course toa
year course, oras collateral reading to arcompaay a sina. eee cece or ouer
‘A semester court on cursive fanetions for students having some pion
scsuaintance with mathematieal lg, or under an tstrcter wth Sch | Cyapren 1, THE THEORY OF SETS e
Settnintanes, could start with Part IIL (Chapter IX). There are other)" ¢ |Enumerabe cts 5
eatin foracleting watral;eg. nacho Part IVcanaiow diely |} 3° Cantor's diagonal method 0
Part Il or even Chapter VII for students primary intersted io mathe: |S Coal number fe
‘mate lg |=} 4. The equivalence theorem, finite wa infinite sets i
“The auth i indebted to Saunders MacLane for encouraging him to | 4 §) Higher taste cardinals H
write this book and for valuable eri of an easly draft of several
cece he don read the etre fest pre’ sproot with ereatcae, | Gu smrpy 1, SOME FUNDAMENTAL CONCEPTS :
Sndependantly of the author. Among many aters who have bees of 35
ary Beth, Robert Breach, Arend Herting, Nesey Klee. Ye ie min! amc : 4
Teonerd Lisa, David Nelson, James Renn and Geoe Rose. Scentiie 1 7, Mathematea! incon 2
indebtedness is uckaowledged by eferencesto the Bibliography especially fg2 Specs of she m
‘tensive sat as been mate of Hilbert and Berayy” Grundlagen det Nee hry win zB
Sno in tw volumes 134s 2959
a 6.6 Kussse | CHMPrm II, ACRITIQUE OF MATHEMATICAL REASONING 36
S11. The pardons 3%
{12 Bis interes om ie pdeses °
} fio nmin “
[ie Tomton S
] He Formalin ora tery 5
Pagr Il. MATHEMATICAL LOGIC
| Gianen IV. A FORMAL SYSTEM. °
Ef 16. Formal symbols 8
187 Ronnation rues 2
{18 Free and bound vides %
$19. Transformation rales =

- Lattice Theory (3ed, 1967) - Birkhoff.pdfUploaded byJose Brox
- Gottlob Frege - The Foundations of ArithmeticUploaded bysladjan
- Handbook of Philosophical Logic Vol 1Uploaded byangel21znerolf
- R.M. Smullyan, First Order Logic (1995)Uploaded bySimone Roghi
- Philosophy of Mathematics Benacerraf Putnam)Uploaded bysladjan
- 162393421-Kneale-William-Kneale-Martha-The-Development-of-Logic-1971-With-Corrections.pdfUploaded byCecy Meras
- Blackburn.2002.ModalLogicUploaded byprooftheory
- 2000. Leary - A Friendly Introduction to Mathematical LogicUploaded byAdam Golding
- Geoffrey Hunter Metalogic an Introduction to the Metatheory of Standard First Order Logic 1996 (1)Uploaded byLenin Vázquez
- 8263846 the Philosophy of Mathematics Jaakko Hintikka 1Uploaded bymbcy
- Aspects of Mathematical LogicUploaded byYing Shun Yuen Clement
- Mathematics Form and FunctionUploaded byjacinto1234
- [Theodore Sider] Logic for PhilosophyUploaded byvini0191
- Joseph R. Shoenfield - 1967 - Mathematical LogicUploaded byQB0YDMqQRo
- An Introduction to Formal Logic - Peter SmithUploaded byalbundy00
- Husserl Trans. Cairns - Formal and Transcendental LogicUploaded byIMM
- The Blackwell Guide to Philosophical Logic.pdfUploaded byJeremy Neufeld
- Paul Cohen - Set Theory and the Continuum HypothesisUploaded byChan Hin Lung
- Halmos - Naive Set TheoryUploaded byKarl Andersson
- Godel's Incompleteness Theorems Smullyan 0814758169Uploaded byEdward P. Lemur
- Lemmon - Beginning LogicUploaded byaucyaucy123
- Ludwig Wittgenstein Philosophical InvestigationsUploaded byPeter Reinhold
- Serge Lang - Complex AnalysisUploaded byStu Ungar
- Alfred Tarski Logic Semantics Met a MathematicsUploaded byasfghjkksdfer
- Munkres - TopologyUploaded byopenlaszlo
- A Course on Set TheoryUploaded byHassan Yossry Ibrahim
- The Logic Book - 5th EditionUploaded bychc9999
- Kleene. .Mathematical.logicUploaded byChiranjivi Kottam
- Dummett Origins of Analytical Philosophy.pdfUploaded byilunado

- (Super-)Gravities of a Different SortUploaded byBruno Saramago Monteiro
- An Axiomatic Basis for Computer ProgrammingUploaded byBruno Saramago Monteiro
- Livro para Introdução à Probabilidade e Estatística l.pdfUploaded byBruno Saramago Monteiro
- Thematic Guide to World MythologyUploaded byBruno Saramago Monteiro
- Thematic Guide to World MythologyUploaded byBruno Saramago Monteiro
- Postmodernism and Psychoanalysis: A Heideggerian Critique of Postmodernist Malaise and the Question of AuthenticityUploaded byBruno Saramago Monteiro
- Studying the Atlas of All Possible Polinomial Equations With Quantifier-prefixesUploaded byBruno Saramago Monteiro
- Surreal Numbers - Donald E KnuthUploaded byaempinto028980
- Just What is Full-Blooded PlatonismUploaded byBruno Saramago Monteiro
- Marketing - Kotler & Keller, Cap.2Uploaded byBruno Saramago Monteiro
- imp26art04Uploaded byPablo Marcelo Soruco
- 21st-Century Directions in de Broglie-Bohm Theory and Beyond - An IntroductionUploaded byBruno Saramago Monteiro
- Are Logic and Mathematics IdenticalUploaded byBruno Saramago Monteiro
- Quantum Nonlocality Does Not ExistUploaded byBruno Saramago Monteiro
- Connected Consumer Report 2012Uploaded byBruno Saramago Monteiro
- Efeito da fonte de cálcio na digestibilidade aparente do feno de capim em carneirosUploaded byBruno Saramago Monteiro
- Basic Proof theoryUploaded byapi-19435627
- Cardinal arithmetic and Woodin cardinalsUploaded byBruno Saramago Monteiro
- Spin and Clifford Algebras, An IntroductionUploaded byBruno Saramago Monteiro
- Spin and Clifford Algebras, An IntroductionUploaded byBruno Saramago Monteiro
- [Theodore Sider] Logic for PhilosophyUploaded byvini0191
- Cardinal-Recognizing Infinite Time Turing MachinesUploaded byBruno Saramago Monteiro