skip to content
Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel Preview this item
ClosePreview this item
Checking...

Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel

Author: G�odel, Kurt. ; ; Kurt GödelJack J BulloffThomas C HolyokeS W HahnAll authors
Publisher: Berlin ; Heidelberg ; New York : Springer, 1969.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Kongress
Additional Physical Format: Online version:
Foundations of mathematics.
Berlin, Heidelberg, New York, Springer, 1969
(OCoLC)643852461
Named Person: Kurt Gödel; Kurt Gödel
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: G�odel, Kurt. ; ; Kurt Gödel; Jack J Bulloff; Thomas C Holyoke; S W Hahn; Ohio Academy of Science. Section L (Mathematical Sciences)
OCLC Number: 1881
Notes: Sponsored by Section L (Mathematical Sciences) of the Ohio Academy of Science and presented at the 75th anniversary meeting of the Ohio Academy of Science.
Description: xii, 195 pages : portrait ; 24 cm
Contents: Greetings from Dr. J. Robert Openheimer --
Greetings from Dr. Godel --
Tribute to Dr. Godel / John von Neumann --
Bibliography of Kurt Godel --
Realism as a philosophy of mathematics / Stephen F. Barker --
The undecidability of [lambda] k conversion / Haskell B. Curry --
The definability of cardinal numbers / Azriel Levy --
The use of symbolic logic in proving mathematical theorems by means of a digital computer / Bernard Meltzer --
A new approach to the foundations of probability / Herman Rubin --
Measure-Theoretic uniformity / Gerald E. Sacks --
On the cardinality of [sigma] 1/2 sets of reals / Robert M. Solovay --
The universe of set theory / Gaisi Takeuti --
Definition eines (relativ vollstandigen) formalen systems konstruktiver arithmetik / Edward Wette.
Responsibility: edited by Jack J. Bulloff, Thomas C. Holyoke [and] S.W. Hahn.

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


Primary Entity

<http://www.worldcat.org/oclc/1881> # Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1881" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/5218210338#Person/godel_kurt> ; # Kurt G�odel
    schema:about <http://id.loc.gov/authorities/subjects/sh85082153> ; # Mathematics--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/5218210338#Topic/logica_matematica> ; # Logica Matematica
    schema:about <http://experiment.worldcat.org/entity/work/data/5218210338#Topic/grondslagen> ; # Grondslagen
    schema:about <http://dewey.info/class/510.01/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5218210338#Topic/godelscher_unvollstandigkeitssatz> ; # Gödelscher Unvollständigkeitssatz
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gödel
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5218210338#Person/godel_kurt> ; # Kurt G�odel
    schema:contributor <http://viaf.org/viaf/144364703> ; # Ohio Academy of Science. Section L (Mathematical Sciences)
    schema:datePublished "1969" ;
    schema:editor <http://viaf.org/viaf/32047135> ; # Jack J. Bulloff
    schema:editor <http://viaf.org/viaf/63125028> ; # Thomas C. Holyoke
    schema:editor <http://viaf.org/viaf/109467275> ; # Samuel Wilfred Hahn
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5218210338> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/643852461> ;
    schema:name "Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel"@en ;
    schema:productID "1881" ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1881> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5218210338#Person/godel_kurt> # Kurt G�odel
    a schema:Person ;
    schema:familyName "Gödel" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt G�odel"@en ;
    schema:name "Kurt Gödel"@en ;
    schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/5218210338#Topic/godelscher_unvollstandigkeitssatz> # Gödelscher Unvollständigkeitssatz
    a schema:Intangible ;
    schema:name "Gödelscher Unvollständigkeitssatz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5218210338#Topic/logica_matematica> # Logica Matematica
    a schema:Intangible ;
    schema:name "Logica Matematica"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85082153> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1012213> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@en ;
    .

<http://viaf.org/viaf/109467275> # Samuel Wilfred Hahn
    a schema:Person ;
    schema:birthDate "1921" ;
    schema:familyName "Hahn" ;
    schema:givenName "Samuel Wilfred" ;
    schema:givenName "S. W." ;
    schema:name "Samuel Wilfred Hahn" ;
    .

<http://viaf.org/viaf/144364703> # Ohio Academy of Science. Section L (Mathematical Sciences)
    a schema:Organization ;
    schema:name "Ohio Academy of Science. Section L (Mathematical Sciences)" ;
    .

<http://viaf.org/viaf/32047135> # Jack J. Bulloff
    a schema:Person ;
    schema:familyName "Bulloff" ;
    schema:givenName "Jack J." ;
    schema:name "Jack J. Bulloff" ;
    .

<http://viaf.org/viaf/63125028> # Thomas C. Holyoke
    a schema:Person ;
    schema:familyName "Holyoke" ;
    schema:givenName "Thomas C." ;
    schema:name "Thomas C. Holyoke" ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
    schema:familyName "Gödel" ;
    schema:givenName "Kurt" ;
    schema:name "Kurt Gödel" ;
    .

<http://www.worldcat.org/oclc/643852461>
    a schema:CreativeWork ;
    rdfs:label "Foundations of mathematics." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1881> ; # Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel
    .

<http://www.worldcat.org/title/-/oclc/1881>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1881> ; # Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel
    schema:dateModified "2018-08-15" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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