pickabook books with huge discounts for everyone pickabook books with huge discounts for everyone
School BooksKey StagesCollectionsBestSellers
HomeSecondaryBook AwardsFurther EducationNew Titles View BasketCheckoutMy accountHelp
     
Need assistance?


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

List price: £0.00


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

ISBN 10: 0511346298
ISBN 13: 9780511346293
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: Non-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 BAHA'I FAITH (PB)
A SELECTION OF POEMS BY PETER SMITH, THE FISHERMAN POET OF CELLARDYKE (PB)
ADVANCED PIPING DESIGN (HB)
AGRICULTURAL PROJECT MANAGEMENT (HB)
AN INTRODUCTION TO FORMAL LOGIC (HB)
AN INTRODUCTION TO FORMAL LOGIC (PB)
AN INTRODUCTION TO GEODEL'S THEOREMS (HB)
AN INTRODUCTION TO GODEL'S THEOREMS (HB)
AN INTRODUCTION TO GODEL'S THEOREMS (PB)
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)
AQA LAW A2 (PB)
AQA LAW AS (PB)
ARCHITECTURE IN A CLIMATE OF CHANGE
ARCHITECTURE IN A CLIMATE OF CHANGE
ARCHITECTURE IN A CLIMATE OF CHANGE
ARCHITECTURE IN A CLIMATE OF CHANGE
ARCHITECTURE IN A CLIMATE OF CHANGE
ARCHITECTURE IN A CLIMATE OF CHANGE (EBook)
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)
BLACKWELL HANDBOOK OF CHILDHOOD SOCIAL DEVELOPMENT (HB)
BLACKWELL HANDBOOK OF CHILDHOOD SOCIAL DEVELOPMENT (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)
CAVALCADE OF LESSER HORRORS (PB)
CHILDREN AND PLAY (PB)
COACHING IS CHAOS (PB)
COMMEMORATIVE PLAQUES OF CHELTENHAM (PB)
CONFESSIONS OF A DICE DEALER
CONFESSIONS OF A DICE DEALER
CONFESSIONS OF A DICE DEALER (PB)
CUBAN NATIONAL RAILWAYS (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 (HB)
DICTIONARY OF ARCHITECTURAL AND BUILDING TECHNOLOGY (PB)
DISCOURSES ON SOME OF THE MOST IMPORTANT (PB)
DISCOURSES ON SOME OF THE MOST IMPORTANT DOCTRINES AND DUTIES OF CHRISTIANITY (PB)
DISCUSSION PAPER 69
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT (EBook)
ECO-REFURBISHMENT (PB)
ECONOMICS
ECONOMICS (PB)
ECONOMICS STUDENT WORKBOOK (PB)
ECONOMICS STUDENT WORKBOOK (PB)
ECONOMICS WORKBOOK (PB)
ECONOMICS, STUDENT WORKBOOK
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
ESSENTIALS OF ECONOMICS
EXPLAINING CHAOS (HB)
EXPLAINING CHAOS (PB)
FIRST WORLD WAR POETRY USING NATIONAL LITERACY STRATEGY
FORMULA FUNDING OF PUBLIC SERVICES
FRANCOIS MANSART (HB)
GCSE RELIGIOUS STUDIES FOR AQA B: KEY BELIEFS, ULTIMATE QUESTIONS AND LIFE ISSUES (PB)
GLOBAL WARMING (PB)
GMDSS FOR NAVIGATORS (HB)
GUIDE TO THE GUIDELINES (PB)
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 (PB)
HYMNS AND SPIRITUAL SONGS. USEFUL FOR CH (PB)
IN PLACE OF THE POLL TAX (PB)
JP SMUT (PB)
LANGUAGE EXERCISES
LANGUAGE EXERCISES FOR FIRST, SECOND AND (PB)
LANGUAGE EXERCISES FOR FIRST, SECOND AND (PB)
LARGER SCALE MODEL RAILWAY ETCHED KIT BUILDING (HB)
LEEDS RLC (PB)
LEEDS RLFC (PB)
LETTERS OF THE REV. JOHN SMITH (HB)
LETTERS OF THE REV. JOHN SMITH (PB)
LIGHT IN DARK PLACES (PB)
LIMBO
LITTLE BOBBIN BOOK (PB)
MATIENZO: 50 YEARS OF SPELEOLOGY (PB)
MATTHEW ARNOLD AND THE EDUCATION OF THE NEW ORDER (PB)
MEASURING OUTCOME IN THE PUBLIC SECTOR (HB)
MEASURING OUTCOME IN THE PUBLIC SECTOR (PB)
MEMORIALS OF PETER SMITH
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, (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)
NAFTA IN THE NEW MILLENNIUM (PB)
NELSON HANDWRITING (PB)
NELSON HANDWRITING (PB)
NELSON HANDWRITING - COPYMASTERS FOR BOOK A (PB)
NELSON HANDWRITING - EXTENSION COPYMASTERS FOR WORKBOOKS ONE-SIX (PB)
NELSON HANDWRITING - WORKBOOK 2 (PB)
NELSON HANDWRITING - WORKBOOK 3 (X8) (PB)
NELSON HANDWRITING - WORKBOOK 4 (PB)
NELSON HANDWRITING - WORKBOOK 5 (PB)
NELSON HANDWRITING - WORKBOOK 6 (PB)
NELSON HANDWRITING - WORKBOOK FIVE
NELSON HANDWRITING COPYMASTERS FOR BOOKS 1 AND 2 (PB)
NELSON HANDWRITING DEVELOPING SKILLS BOOK 4 (PB)
NELSON HANDWRITING WORKBOOK 1 (PB)
NONLINEAR ORDINARY DIFFERENTIAL EQUATIONS
NONLINEAR ORDINARY DIFFERENTIAL EQUATIONS
NONLINEAR ORDINARY DIFFERENTIAL EQUATIONS (HB)
NONLINEAR ORDINARY DIFFERENTIAL EQUATIONS (PB)
NONLINEAR ORDINARY DIFFERENTIAL EQUATIONS: PROBLEMS AND SOLUTIONS (PB)
OCR A2 ECONOMICS
OCR A2 ECONOMICS (PB)
OCR A2 ECONOMICS (PB)
OCR ADVANCED 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
OFF THE PREMISES HANDBOOK
ONE STEP AT A TIME (PB)
ORGANIZATIONAL BEHAVIOUR (PB)
PAEDIATRICS AND CHILD HEALTH (PB)
PIPING MATERIALS GUIDE
PIPING MATERIALS GUIDE (HB)
PIRATES (PB)
PORCH SOFA ALMANAC (PB)
PROFESSIONAL WEBSITE PERFORMANCE
PROFESSIONAL WEBSITE PERFORMANCE
PROFESSIONAL WEBSITE PERFORMANCE
PROFESSIONAL WEBSITE PERFORMANCE (PB)
PUBLIC AND PRIVATE VALUE (HB)
PUBLIC AND PRIVATE VALUE (PB)
RETHINKING SCHOOL BULLYING (HB)
RETURN OF THE REVENGE
REVISE FOR GCSE RELIGIOUS STUDIES AQA B (PB)
REVISE FOR GCSE RELIGIOUS STUDIES AQA B (PB)
REVISE FOR RE AQA B: KEY BELIEFS, ULTIMATE QUESTIONS AND LIFE ISSUES (PB)
ROBINHO (HB)
RUSSIAN FAIRY TALES, AN ACCENTED RUSSIAN (PB)
RUSSIAN FAIRY TALES, AN ACCENTED RUSSIAN READER WITH NOTES AND VOCABULARY - PRIMARY SOURCE EDITION
S.T.E.A.M. MUSEUM OF THE GREAT WESTERN RAILWAY (PB)
SCHOOL BULLYING
SCHOOL BULLYING
SCHOOL BULLYING
SCHOOL BULLYING
SCHOOL BULLYING
SHIFTING TARGETS (PB)

TOP SELLERS IN THIS CATEGORY
Godels Proof (Paperback)
By: Ernest Nagel, James R. Newman
Taylor & Francis Ltd
Our Price : £10.79
more details
The Oxford Handbook of Philosophy of Mathematics and Logic (Paperback)
By: Stewart Shapiro (Editor)
Oxford University Press Inc
Our Price : £28.44
more details
The Description Logic Handbook (Paperback)
By: Franz Baader (Editor), Diego Calvanese (Editor), Deborah L. McGuinness (Editor)
Cambridge University Press
Our Price : £39.38
more details
The Nuts and Bolts of Proofs (Paperback)
By: Antonella Cupillari
Elsevier Science Publishing Co Inc
Our Price : £27.89
more details
Mathematical Logic for Computer Science (Paperback)
By: Mordechai Ben-Ari
Springer London Ltd
Our Price : £32.79
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
 

Winner Oxfordshire Book Award
Noble Conflict
By: MALORIE BLACKMAN
Years after a violent war destroyed much of the world, Kaspar has grown up in a society based on peace and harmony. But beyond the city walls, a vicious band of rebels are plotting to tear this peace apart. It is up to the Guardians - an elite peacekeeping force - to protect the city, without ever resorting to the brutal methods of their enemy.
add to basket

Newly Published
Diary of a Wimpy Kid: The Third Wheel (Book 7)
By: JEFF KINNEY
A Valentine's Day dance at Greg's school has turned his world upside down. As Greg scrambles to find a date, he's worried he'll be left out in the cold on the big night. His bestfriend, Rowley, doesn't have any prospects either but that's small consolation.
add to basket