pickabook books with huge discounts for everyone pickabook books with huge discounts for everyone
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: AN INTRODUCTION TO GODEL'S THEOREMS
By: Peter Smith
Format: Paperback

List price: £18.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 0521674530
ISBN 13: 9780521674539
Publisher: CAMBRIDGE UNIVERSITY PRESS
Pub. date: 26 July, 2007
Series: Cambridge Introductions to Philosophy
Pages: 376
Description: Peter Smith examines Godel's Theorems, how they were established and why they matter.
Synopsis: In 1931, the young Kurt Godel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Godel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic.
Publication: UK
Imprint: Cambridge University Press
Returns: Returnable
Some other items by this author:
20TH CENTURY HISTORY FOR CAMBRIDGE IGCSE
A CONCISE ENCYCLOPEDIA OF THE BAHA'I FAITH
A CONCISE ENCYCLOPEDIA OF THE BAHAAAI FAITH (PB)
A SELECTION OF POEMS BY PETER SMITH, THE FISHERMAN POET OF CELLARDYKE (PB)
ADVANCED PIPING DESIGN (HB)
AGRICULTURAL PROJECT MANAGEMENT (HB)
AGRICULTURAL PROJECT MANAGEMENT (PB)
AN INTRODUCTION TO FORMAL LOGIC (PB)
AN INTRODUCTION TO GODEL'S THEOREMS
AN INTRODUCTION TO GODEL'S THEOREMS
AN INTRODUCTION TO GODEL'S THEOREMS (HB)
AN INTRODUCTION TO GODEL'S THEOREMS (PB)
AN INTRODUCTION TO LISP (PB)
AN INTRODUCTION TO THE BAHA'I FAITH (HB)
AN INTRODUCTION TO THE BAHA'I FAITH (PB)
APPLICATIONS OF ARTIFICIAL INTELLIGENCE
APPLICATIONS OF FLUIDIZATION TO FOOD PROCESSING
APPLICATIONS OF FLUIDIZATION TO FOOD PROCESSING
APPLICATIONS OF FLUIDIZATION TO FOOD PROCESSING (HB)
APPLIED DATA STRUCTURES WITH C++ (PB)
AQA GCSE RELIGIOUS STUDIES B - RELIGION AND CITIZENSHIP (PB)
AQA GCSE RELIGIOUS STUDIES B - RELIGION AND LIFE ISSUES (PB)
AQA GCSE RELIGIOUS STUDIES B - RELIGION AND MORALITY (PB)
AQA GCSE RELIGIOUS STUDIES B - RELIGIOUS EXPRESSION IN SOCIETY (PB)
AQA GCSE RELIGIOUS STUDIES B - RELIGIOUS PHILOSOPHY AND ULTIMATE QUESTIONS (PB)
AQA GCSE RELIGIOUS STUDIES B - WORSHIP AND KEY BELIEFS (PB)
AQA LAW A2 (PB)
ARCHITECTURE IN A CLIMATE OF CHANGE
ARCHITECTURE IN A CLIMATE OF CHANGE
ARCHITECTURE IN A CLIMATE OF CHANGE (PB)
ARNOLD BENNETT AND THE IDEA OF THE FEMININE
AUSTRALIA IN THE RAW (PB)
BABI AND BAHA''I RELIGIONS (HB)
BAD ECONOMICS (PB)
BBC MATHS WORKSHOP MEASURES SHAPE AND SPACE MSS SOFTWARE USER MANUAL (PB)
BENNY (PB)
BLAST AND BALLISTIC LOADING OF STRUCTURES
BLAST AND BALLISTIC LOADING OF STRUCTURES (HB)
BOHEMIAN SHEPHERD ACTIVITIES BOHEMIAN SHEPHERD TRICKS, GAMES & AGILITY INCLUDES
BOOK OF THE WINEBRINGER (PB)
CAMBRIDGE INTERNATIONAL AS AND A LEVEL ECONOMICS (PB)
CAMBRIDGE INTERNATIONAL AS AND A LEVEL ECONOMICS TEACHER'S CD
CAN MARKET FORCES BE USED FOR GOOD (PB)
CAOS (PB)
CARDIFF TROLLEYBUSES (HB)
CAVALCADE OF LESSER HORRORS (PB)
CHILDREN AND PLAY (PB)
CLICKBANK MAGIC: LITTLE SNEAKY SECRETS THAT YOU'LL WILL LOVE
COACHING IS CHAOS (PB)
COLLABORATION BETWEEN INDEPENDENT AND LOCAL AUTHORITY SCHOOLS (PB)
COMMEMORATIVE PLAQUES OF CHELTENHAM (PB)
COMPLETE 20TH CENTURY HISTORY FOR CAMBRIDGE IGCSE
COMPLETE 20TH CENTURY HISTORY FOR CAMBRIDGE IGCSE
COMPLETE 20TH CENTURY HISTORY FOR CAMBRIDGE IGCSE PRINT & ONLINE STUDENT BOOK
CONFESSIONS OF A DICE DEALER
CONFESSIONS OF A DICE DEALER (PB)
CONSTITUTIONAL LAW (HB)
CONSTITUTIONAL LAW (HB)
CUBAN NATIONAL RAILWAYS (PB)
DEMOCRACY IN LATIN AMERICA (PB)
DEMOCRACY IN LATIN AMERICA (PB)
DEUS CARITAS EST (PB)
DIARIES OF THEODOR HERZEL
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY (HB)
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY (PB)
DISCOURSES ON SOME OF THE MOST IMPORTANT DOCTRINES AND DUTIES OF CHRISTIANITY
DISCOURSES ON SOME OF THE MOST IMPORTANT DOCTRINES AND DUTIES OF CHRISTIANITY
DISCUSSION PAPER 69
DOING ECONOMICS
DOING ECONOMICS
DOING ECONOMICS
DOING ECONOMICS (HB)
DOING ECONOMICS (PB)
DRY CARGO CHARTERING (PB)
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT (HB)
ECO-REFURBISHMENT (PB)
ECONOMICS (PB)
ECONOMICS STUDENT WORKBOOK (PB)
ECONOMICS STUDENT WORKBOOK (PB)
ECONOMICS WORKBOOK (PB)
EDEXCEL A LEVEL ECONOMICS A BOOK 1 (PB)
EDEXCEL A LEVEL ECONOMICS A BOOK 2 (PB)
EDEXCEL A2 ECONOMICS
EDEXCEL A2 ECONOMICS (PB)
EDEXCEL A2 ECONOMICS (PB)
EDEXCEL ADVANCED ECONOMICS (PB)
EDEXCEL ADVANCED ECONOMICS TEACHER ANSWER GUIDE (HB)
EDEXCEL AS ECONOMICS
EDEXCEL AS ECONOMICS (PB)
EDEXCEL AS ECONOMICS (PB)
ESSENTIALS OF ECONOMICS
EXPLAINING CHAOS
EXPLAINING CHAOS (HB)
EXPLAINING CHAOS (PB)
FIRST WORLD WAR POETRY USING NATIONAL LITERACY STRATEGY
FRANCOIS MANSART (HB)
GATEWAY A2 TEACHERS BOOK PREMIUM PACK
GCSE RELIGIOUS STUDIES FOR AQA A: CHRISTIANITY (PB)
GCSE RELIGIOUS STUDIES FOR AQA A: ISLAM (PB)
GCSE RELIGIOUS STUDIES FOR AQA A: JUDAISM (PB)
GCSE RELIGIOUS STUDIES FOR AQA A: SIKHISM (PB)
GCSE RELIGIOUS STUDIES FOR AQA B: KEY BELIEFS, ULTIMATE QUESTIONS AND LIFE ISSUES (PB)
GLOBAL WARMING (PB)
GMDSS FOR NAVIGATORS
GMDSS FOR NAVIGATORS
GMDSS FOR NAVIGATORS (HB)
GUIDE TO THE GUIDELINES (PB)
GUIDE TO THE PRIMARY CARE GUIDELINES (PB)
HARM'S LENGTH (PB)
HARNESSING AMERICA'S WASTED TALENT
HARNESSING AMERICA'S WASTED TALENT
HARNESSING AMERICA'S WASTED TALENT
HARNESSING AMERICA'S WASTED TALENT
HARNESSING AMERICA'S WASTED TALENT (HB)
HEALTH POLICY AND ECONOMICS
HEALTH SYSTEM PERFORMANCE COMPARISON: AN AGENDA FOR POLICY, INFORMATION AND RESEARCH (PB)
HYMNS AND SPIRITUAL SONGS. USEFUL FOR CH (PB)
IN PLACE OF THE POLL TAX (PB)
INTO STATISTICS: SOLUTIONS MANUAL (PB)
INTRODUCTION TO FORMAL LOGIC (HB)
INTRODUCTION TO GODEL''S THEOREMS (HB)
JEW OF MALTA (PB)
LANGUAGE EXERCISES
LANGUAGE EXERCISES FOR FIRST, SECOND AND (PB)
LANGUAGE EXERCISES FOR FIRST, SECOND AND THIRD BOOK PUPILS
LANGUAGE EXERCISES FOR FIRST, SECOND AND THIRD BOOK PUPILS (CLASSIC REPRINT) (PB)
LANGUAGE EXERCISES FOR FIRST, SECOND AND THIRD BOOK PUPILS (HB)
LARGER SCALE MODEL RAILWAY ETCHED KIT BUILDING (HB)
LEEDS RLFC (PB)
LEEDS RUGBY LEAGUE (PB)
LETTERS OF THE REV. JOHN SMITH (HB)
LETTERS OF THE REV. JOHN SMITH (PB)
LITTLE BOBBIN BOOK (PB)
MATHEMATICAL TECHNIQUES (PB)
MATIENZO: 50 YEARS OF SPELEOLOGY (PB)
MATTHEW ARNOLD AND THE EDUCATION OF THE NEW ORDER (HB)
MATTHEW ARNOLD AND THE EDUCATION OF THE NEW ORDER (PB)
MEASURING OUTCOME IN THE PUBLIC SECTOR
MEASURING OUTCOME IN THE PUBLIC SECTOR
MEASURING OUTCOME IN THE PUBLIC SECTOR
MEASURING OUTCOME IN THE PUBLIC SECTOR (HB)
MEASURING OUTCOME IN THE PUBLIC SECTOR (PB)
MEMORIALS OF PETER SMITH
MEMORIALS OF PETER SMITH
MEMORIALS OF PETER SMITH (HB)
MEMORIALS OF PETER SMITH (HB)
MEMORIALS OF PETER SMITH. BORN, BRECHIN, (PB)
MEMORIALS OF PETER SMITH. BORN, BRECHIN, SCOTLAND, SEPT. 21, 1802. DIED, ANDOVER, MASS., JULY 6, 188
MEMORIALS OF PETER SMITH. BORN, BRECHIN, SCOTLAND, SEPT. 21, 1802. DIED, ANDOVER, MASS., JULY 6, 188
MEMORIALS OF PETER SMITH. BORN, BRECHIN, SCOTLAND, SEPT. 21, 1802. DIED, ANDOVER, MASS., JULY 6, 188 (HB)
MEMORIALS OF PETER SMITH. BORN, BRECHIN, SCOTLAND, SEPT. 21, 1802. DIED, ANDOVER, MASS., JULY 6, 188 (HB)
MEMORIALS OF PETER SMITH. BORN, BRECHIN, SCOTLAND, SEPT. 21, 1802. DIED, ANDOVER, MASS., JULY 6, 1880
MEMORIALS OF PETER SMITH. BORN, BRECHIN, SCOTLAND, SEPT. 21, 1802. DIED, ANDOVER, MASS., JULY 6, 1880
MEMORIALS OF PETER SMITH. BORN, BRECHIN, SCOTLAND, SEPT. 21, 1802. DIED, ANDOVER, MASS., JULY 6, 1880 (HB)
MEMORIALS OF PETER SMITH: BORN, BRECHIN, (PB)
MEMORIALS OF PETER SMITH; BORN, BRECHIN, SCOTLAND, SEPT. 21, 1802. DIED, ANDOVER, MASS., JULY 6, 1880
MONSIEUR ALBERT RIDES TO GLORY (HB)
MONSIEUR ALBERT RIDES TO GLORY (PB)
NELSON HANDWRITING (PB)
NELSON HANDWRITING - WORKBOOK 2 (X8) (PB)
NELSON HANDWRITING - WORKBOOK 3 (PB)
NELSON HANDWRITING - WORKBOOK 4 (PB)
NELSON HANDWRITING - WORKBOOK 5 (PB)
NELSON HANDWRITING - WORKBOOK 6 (X8) (PB)
NELSON HANDWRITING - WORKBOOK FIVE
NONLINEAR ORDINARY DIFFERENTIAL EQUATIONS (HB)
NONLINEAR ORDINARY DIFFERENTIAL EQUATIONS (PB)
NONLINEAR ORDINARY DIFFERENTIAL EQUATIONS: PROBLEMS AND SOLUTIONS (PB)
NURSLING OF MORTALITY
OCR A LEVEL ECONOMICS BOOK 1 (PB)
OCR A LEVEL ECONOMICS BOOK 1 STUDENT ETEXTBOOK
OCR A LEVEL ECONOMICS BOOK 2 (PB)
OCR A LEVEL ECONOMICS BOOK 2 STUDENT TEXTBOOK
OCR A2 ECONOMICS
OCR A2 ECONOMICS
OCR A2 ECONOMICS (PB)
OCR A2 ECONOMICS (PB)
OCR ADVANCED ECONOMICS (PB)
OCR AS ECONOMICS
OCR AS ECONOMICS
OCR AS ECONOMICS (PB)
OCR AS ECONOMICS (PB)
OCR MEDICINE AND HEALTH THROUGH TIME (PB)
OCR MEDICINE AND HEALTH THROUGH TIME TEACHER'S RESOURCE BOOK + CD

TOP SELLERS IN THIS CATEGORY
Can You Solve My Problems? (Paperback)
By: Alex Bellos
Guardian Faber Publishing
Our Price : £6.56
more details
How to Prove It (Paperback)
By: Daniel J. Velleman
Cambridge University Press
Our Price : £22.74
more details
Beyond Infinity (Paperback)
By: Eugenia Cheng
Profile Books Ltd
Our Price : £9.48
more details
Conceptual Mathematics (Paperback)
By: F. William Lawvere, Stephen H. Schanuel
Cambridge University Press
Our Price : £34.99
more details
Without Words: Mathematical Puzzles to Confound and Delight (Paperback)
By: James Tanton
Tarquin Publications
Our Price : £5.07
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 MATHEMATICS AND SCIENCE
 mathematics
 mathematical foundations
 mathematical logic


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 


Modern Classic
Over Sea Under Stone
By: SUSAN COOPER
On holiday in Cornwall, Simon, Jane and Barney Drew discover an ancient map in the attic of the Grey House, where they are staying with their mysterious Great-Uncle Merry. They know immediately that it is special. But it is much more than just a map.
add to basket