pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
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 believe that this item is permanently unavailable, and so we cannot source it.

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)
ALL THINGS ARE READY (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 A (9-1): CHRISTIANITY & SIKHISM REVISION GUIDE
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 BUYING
BAD ECONOMICS (PB)
BBC MATHS WORKSHOP MEASURES SHAPE AND SPACE MSS SOFTWARE USER MANUAL (PB)
BENNY (PB)
BEYOND DISCIPLINARITY
BEYOND DISCIPLINARITY (HB)
BLAST AND BALLISTIC LOADING OF STRUCTURES
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 SECOND EDITION
CAMBRIDGE INTERNATIONAL AS AND A LEVEL ECONOMICS TEACHER'S CD
CAN MARKET FORCES BE USED FOR GOOD (PB)
CAOS (PB)
CARDIFF TROLLEYBUSES (HB)
CARE GIVING 101 ON BEING A CAREGIVER
CASHING IN
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 (R) & O LEVEL
COMPLETE 20TH CENTURY HISTORY FOR CAMBRIDGE IGCSE (R) & O LEVEL
COMPLETE 20TH CENTURY HISTORY FOR CAMBRIDGE IGCSE PRINT & ONLINE STUDENT BOOK
COMPLETE LACTOSE INTOLERANCE DIET COOKBOOK
CONFESSIONS OF A DICE DEALER
CONFESSIONS OF A DICE DEALER (PB)
CONSTITUTIONAL LAW (HB)
CONSTITUTIONAL LAW (HB)
CONSTITUTIONAL LAW (HB)
CONSTITUTIONAL LAW, VOLUME 1
CONSTITUTIONAL LAW, VOLUME 2
COOPERATION IN THE MULTI-ETHNIC CLASSROOM (1994)
CREATE & MAINTAIN YOUR OWN SMALLHOLDING (PB)
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)
DUCHY OF CORNWALL. BEYOND THE LAW
DUMPLING ULTIMATE COOKBOOK
EASY GUIDE TO FILIPINO CLASSIC COOKBOOK
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT
ECO-REFURBISHMENT (HB)
ECO-REFURBISHMENT (PB)
ECONOMICS
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
ESSENTIALS OF ECONOMICS
EXPLAINING CHAOS
EXPLAINING CHAOS (HB)
EXPLAINING CHAOS (PB)
FIRST WORLD WAR POETRY USING NATIONAL LITERACY STRATEGY
FRANCOIS MANSART (HB)
G DEL WITHOUT TOO MANY TEARS (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)
HEALTHIEST VIETNAMESE FOOD
HIGH-FIBER DIET, ELIMINATION DIET, AND MORE
HITTING DEADLINE (PB)
HOW TO START RAISING BACKYARD CHICKENS IN FLEXIBLE STEPS
HYMNS AND SPIRITUAL SONGS. USEFUL FOR CH (HB)
HYMNS AND SPIRITUAL SONGS. USEFUL FOR CH (PB)
ICARUS 2.0, PARACHUTE INCLUDED
IN PLACE OF THE POLL TAX (PB)
INTO STATISTICS: SOLUTIONS MANUAL (PB)
INTRODUCTION TO FORMAL LOGIC (HB)
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)
LEARN BASIC SWIMMING TECHNIQUES TO FEEL SAFE IN THE WATER
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)
LYME DIET NUTRITIONAL STRATEGIES
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

TOP SELLERS IN THIS CATEGORY
Can You Solve My Problems? (Paperback)
Guardian Faber Publishing
Our Price : £8.02
more details
To Mock a Mockingbird: and Other Logic Puzzles (Paperback)
Oxford University Press
Our Price : £9.48
more details
Mathematical Proofs: Pearson New International Edition (Paperback)
Pearson Education Limited
Our Price : £65.67
more details
The Foundations of Mathematics (Paperback)
Oxford University Press
Our Price : £20.99
more details
Category Theory in Context (Paperback)
Dover Publications Inc.
Our Price : £21.53
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
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket