skip to content
Internal Logic : Foundations of Mathematics from Kronecker to Hilbert Preview this item
ClosePreview this item
Checking...

Internal Logic : Foundations of Mathematics from Kronecker to Hilbert

Author: Yvon Gauthier
Publisher: Dordrecht : Springer Netherlands, 2002.
Series: Synthese library, 310.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted  Read more...
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
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Yvon Gauthier
ISBN: 9789401700832 9401700834
OCLC Number: 851370723
Description: 1 online resource (x, 251 pages).
Contents: 1. Introduction. Foundations of Mathematics --
2. From Hilbert to Kronecker --
3. The Consistency of Arithmetic Revisited --
4. The Internal Consistency of Arithmetic with Infinite Descent --
5. From Kronecker to Brouwer --
6. Hilbert and the Foundations of Physics --
7. Conclusion. Internal logic: From Kronecker to Hilbert and Beyond --
References --
Name Index.
Series Title: Synthese library, 310.
Responsibility: by Yvon Gauthier.
More information:

Abstract:

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.

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/851370723> # Internal Logic : Foundations of Mathematics from Kronecker to Hilbert
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "851370723" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/840344585#Place/dordrecht> ; # Dordrecht
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://id.loc.gov/authorities/subjects/sh85118582> ; # Science--Philosophy
    schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
    schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
    schema:about <http://id.worldcat.org/fast/1108336> ; # Science--Philosophy
    schema:about <http://dewey.info/class/511.3/e23/> ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/840344585#Person/gauthier_yvon> ; # Yvon Gauthier
    schema:datePublished "2002" ;
    schema:description "Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene."@en ;
    schema:description "1. Introduction. Foundations of Mathematics -- 2. From Hilbert to Kronecker -- 3. The Consistency of Arithmetic Revisited -- 4. The Internal Consistency of Arithmetic with Infinite Descent -- 5. From Kronecker to Brouwer -- 6. Hilbert and the Foundations of Physics -- 7. Conclusion. Internal logic: From Kronecker to Hilbert and Beyond -- References -- Name Index."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/840344585> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/840344585#Series/synthese_library> ; # Synthese library ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/840344585#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> ; # Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/840344585#CreativeWork/> ;
    schema:name "Internal Logic : Foundations of Mathematics from Kronecker to Hilbert"@en ;
    schema:productID "851370723" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851370723#PublicationEvent/dordrecht_springer_netherlands_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/840344585#Agent/springer_netherlands> ; # Springer Netherlands
    schema:url <http://dx.doi.org/10.1007/978-94-017-0083-2> ;
    schema:workExample <http://dx.doi.org/10.1007/978-94-017-0083-2> ;
    schema:workExample <http://worldcat.org/isbn/9789401700832> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851370723> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/840344585#Agent/springer_netherlands> # Springer Netherlands
    a bgn:Agent ;
    schema:name "Springer Netherlands" ;
    .

<http://experiment.worldcat.org/entity/work/data/840344585#Person/gauthier_yvon> # Yvon Gauthier
    a schema:Person ;
    schema:familyName "Gauthier" ;
    schema:givenName "Yvon" ;
    schema:name "Yvon Gauthier" ;
    .

<http://experiment.worldcat.org/entity/work/data/840344585#Series/synthese_library> # Synthese library ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851370723> ; # Internal Logic : Foundations of Mathematics from Kronecker to Hilbert
    schema:name "Synthese library ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/840344585#Series/synthese_library_studies_in_epistemology_logic_methodology_and_philosophy_of_science> # Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851370723> ; # Internal Logic : Foundations of Mathematics from Kronecker to Hilbert
    schema:name "Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;" ;
    .

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

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
    schema:name "Logic"@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/1012163> # Mathematics
    a schema:Intangible ;
    schema:name "Mathematics"@en ;
    .

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

<http://worldcat.org/entity/work/data/840344585#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/851370723> ; # Internal Logic : Foundations of Mathematics from Kronecker to Hilbert
    .

<http://worldcat.org/isbn/9789401700832>
    a schema:ProductModel ;
    schema:isbn "9401700834" ;
    schema:isbn "9789401700832" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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