Politics & Social Sciences | Political Philosophy

Recursive Functions and Metamathematics

2020-05-29 23:02:43

Compare Price
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theo... Read more
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science. Less

Book Details

ISBN9789401728669
autor-image
Anonymous
Author
-...

Compare Prices

Store Availability Book Format Condition Price
eBooks.com In Stock Buy GBP 244.0
eBooks.comIn Stock
Format
Condition
Buy GBP 244.0
Available Discount
No Discount available

Related Books

View All
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Alcibiades II
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Woman and the Right to Vote
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The New Freedom a Call for the Emancipation of the Generous Energies of a People
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Emile: Or, Concerning Education Extracts
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Writings of Thomas Paine - Volume 2: The Rights of Man
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Mind in the Making: The Relation of Intelligence to Social Reform
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Dialogues Concerning Natural Religion
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Papers and Writings of Abraham Lincoln — Volume 3: The Lincoln-Douglas Debates
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Papers and Writings of Abraham Lincoln - Volume 6
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Anarchism And Other Essays
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Creative Evolution
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Papers and Writings of Abraham Lincoln - Volume 1: 1832-1843
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Literary and Philosophical Essays: French, German and Italian
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Bolshevism: The Enemy of Political and Industrial Democracy
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
An Essay Concerning Human Understanding Volume 2
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Critique of Practical Reason
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
According to Plato
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Thoughts on the Necessity of Improving the Condition of the Slaves in the British Colonies: With a View to Their Ultimate Emancipation and on the ... Of the Latter Measure (Classic Reprint)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Papers and Writings of Abraham Lincoln, Vol-IV
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Essays in Rebellion
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Under the Prophet in Utah: The National Menace of a Political Priestcraft
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
Native Life in South Africa: Before and Since the European War and the Boer Rebellion
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Papers and Writings of Abraham Lincoln (Volume 5)
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Writings of Abraham Lincoln - Volume 2: 1843-1858
☆ ☆ ☆ ☆ ☆
${ornaments[Math.floor(Math.random()*ornaments.length)]}
FREE
The Papers and Writings of Abraham Lincoln (Volume 7)
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS