skip to content
Kurt Godel and Foundations of Maths Preview this item
ClosePreview this item
Checking...

Kurt Godel and Foundations of Maths

Author: Matthias Baaz; Christos H Papadimitriou; Dana S Scott
Publisher: New York : Cambridge University Press.
Edition/Format:   eBook : Document : English
Database:WorldCat
Summary:
Annotation
Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Matthias Baaz; Christos H Papadimitriou; Dana S Scott
ISBN: 9781139062916 1139062913
OCLC Number: 866625912
Description: 1 online resource.

Abstract:

Annotation

This volume commemorates the life, work and foundational views of Kurt Gödel (19061978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency with the other widely accepted axioms of set theory of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/866625912>
library:oclcnum"866625912"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: dct
schema:bookFormatschema:EBook
schema:description"Annotation"@en
schema:editor
schema:editor
schema:editor
schema:exampleOfWork<http://worldcat.org/entity/work/id/1745831321>
schema:genre"Electronic books"@en
schema:inLanguage"en"
schema:name"Kurt Godel and Foundations of Maths"@en
schema:publication
schema:publisher
schema:url<https://login.libproxy.uregina.ca:8443/login?url=http://proquest.safaribooksonline.com/9781139062916>
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.