skip to content
The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 Preview this item
ClosePreview this item
Checking...

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940

Author: Paolo Mancosu
Publisher: Oxford ; New York : Oxford University Press, 2010.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the 20th century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition.
Rating:

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

Subjects
More like this

 

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
History
Additional Physical Format: Print version:
Mancosu, Paolo.
Adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940.
Oxford ; New York : Oxford University Press, 2010
(OCoLC)624411922
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Paolo Mancosu
ISBN: 9780191021992 0191021997
OCLC Number: 729550854
Description: 1 online resource (xii, 618 pages) : illustrations
Contents: The development of mathematical logic from Russell to Tarski, 1900-1935 (with Richard Zach and Calixto Badesa) --
Hilbert and Bernays on metamathematics ; addendum --
Between Russell and Hilbert : Behmann on the foundations of mathematics --
The Russellian influence on Hilbert and his school --
On the constructivity of proofs : a debate among Behmann, Bernays, Gödel, and Kaufmann --
Wittgenstein's constructivization of Euler's proof of the infinity of primes (with Mathieu Marion) --
Between Vienna and Berlin : the immediate reception of Godel's incompleteness theorems --
Review of Gödel's collected works, vols. IV and V --
Hermann Weyl : predicativity and an intuitionistic excursion --
Mathematics and phenomenology : the correspondence between O. Becker and H. Weyl (with T. Ryckman) --
Geometry, physics, and phenomenology : four letters of O. Becker to H. Weyl (with T. Ryckman) --
"Das Abenteuer der Vernunft" : O. Becker and D. Mahnke on the phenomenological foundations of the exact sciences --
Harvard 1940-1941 : Tarski, Carnap, and Quine on the finitistic language of mathematics for science --
Quine and Tarski on nominalism --
Tarski, Neurath, and Kokoszyńska on the semantic conception of truth --
Tarski on models and logical consequence ; addendum --
Tarski on categoricity and completeness : an unpublished lecture from 1940 --
Appendix : "On the completeness and categoricity of deductive systems" (1940).
Responsibility: Paolo Mancosu.

Abstract:

Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the twentieth century. He sheds new light on important topics such as the  Read more...

Reviews

Editorial reviews

Publisher Synopsis

This book contains an enormous amount of material that historians will wish to consult. Mancosu convincingly demonstrates that there is a great deal more that we can still learn about the origins of Read more...

 
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/729550854> # The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "729550854" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/796735956#Place/oxford> ; # Oxford
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/796735956#Topic/mathematics_philosophy_history_20th_century> ; # Mathematics--Philosophy--History--20th century
    schema:about <http://experiment.worldcat.org/entity/work/data/796735956#Topic/mathematics_essays> ; # MATHEMATICS--Essays
    schema:about <http://dewey.info/class/510.1/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/796735956#Topic/mathematics_reference> ; # MATHEMATICS--Reference
    schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
    schema:about <http://experiment.worldcat.org/entity/work/data/796735956#Event/1900_1999> ; # 1900-1999
    schema:about <http://experiment.worldcat.org/entity/work/data/796735956#Topic/mathematics_pre_calculus> ; # MATHEMATICS--Pre-Calculus
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/66620591> ; # Paolo Mancosu
    schema:datePublished "2010" ;
    schema:description "Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the 20th century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition."@en ;
    schema:description "The development of mathematical logic from Russell to Tarski, 1900-1935 (with Richard Zach and Calixto Badesa) -- Hilbert and Bernays on metamathematics ; addendum -- Between Russell and Hilbert : Behmann on the foundations of mathematics -- The Russellian influence on Hilbert and his school -- On the constructivity of proofs : a debate among Behmann, Bernays, Gödel, and Kaufmann -- Wittgenstein's constructivization of Euler's proof of the infinity of primes (with Mathieu Marion) -- Between Vienna and Berlin : the immediate reception of Godel's incompleteness theorems -- Review of Gödel's collected works, vols. IV and V -- Hermann Weyl : predicativity and an intuitionistic excursion -- Mathematics and phenomenology : the correspondence between O. Becker and H. Weyl (with T. Ryckman) -- Geometry, physics, and phenomenology : four letters of O. Becker to H. Weyl (with T. Ryckman) -- "Das Abenteuer der Vernunft" : O. Becker and D. Mahnke on the phenomenological foundations of the exact sciences -- Harvard 1940-1941 : Tarski, Carnap, and Quine on the finitistic language of mathematics for science -- Quine and Tarski on nominalism -- Tarski, Neurath, and Kokoszyńska on the semantic conception of truth -- Tarski on models and logical consequence ; addendum -- Tarski on categoricity and completeness : an unpublished lecture from 1940 -- Appendix : "On the completeness and categoricity of deductive systems" (1940)."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/796735956> ;
    schema:genre "Electronic books"@en ;
    schema:genre "History"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/624411922> ;
    schema:name "The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940"@en ;
    schema:productID "729550854" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/729550854#PublicationEvent/oxford_new_york_oxford_university_press_2010> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/796735956#Agent/oxford_university_press> ; # Oxford University Press
    schema:url <http://ebookcentral.proquest.com/lib/warw/detail.action?docID=3056054> ;
    schema:url <http://site.ebrary.com/id/10837083> ;
    schema:url <http://ebookcentral.proquest.com/lib/columbia/detail.action?docID=3056054> ;
    schema:url <http://dx.doi.org/10.1093/acprof:oso/9780199546534.001.0001> ;
    schema:url <http://www.myilibrary.com?id=573862> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=3056054> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3056054> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=698119> ;
    schema:workExample <http://worldcat.org/isbn/9780191021992> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/729550854> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/796735956#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
    schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/796735956#Topic/mathematics_essays> # MATHEMATICS--Essays
    a schema:Intangible ;
    schema:name "MATHEMATICS--Essays"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/796735956#Topic/mathematics_philosophy_history_20th_century> # Mathematics--Philosophy--History--20th century
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85082153> ;
    schema:name "Mathematics--Philosophy--History--20th century"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/796735956#Topic/mathematics_pre_calculus> # MATHEMATICS--Pre-Calculus
    a schema:Intangible ;
    schema:name "MATHEMATICS--Pre-Calculus"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/796735956#Topic/mathematics_reference> # MATHEMATICS--Reference
    a schema:Intangible ;
    schema:name "MATHEMATICS--Reference"@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/66620591> # Paolo Mancosu
    a schema:Person ;
    schema:familyName "Mancosu" ;
    schema:givenName "Paolo" ;
    schema:name "Paolo Mancosu" ;
    .

<http://worldcat.org/isbn/9780191021992>
    a schema:ProductModel ;
    schema:isbn "0191021997" ;
    schema:isbn "9780191021992" ;
    .

<http://www.worldcat.org/oclc/624411922>
    a schema:CreativeWork ;
    rdfs:label "Adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/729550854> ; # The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
    .

<http://www.worldcat.org/title/-/oclc/729550854>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/729550854> ; # The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940
    schema:dateModified "2018-01-05" ;
    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.