aller au contenu
Mathematical logic Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

Mathematical logic

Auteur : Alan Turing; R O Gandy; C E M Yates
Éditeur: Amsterdam ; New York : Elsevier Science, 2001.
Édition/format:   Livre électronique : Document : AnglaisVoir toutes les éditions et tous les formats
Résumé:
Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is also of the  Lire la suite...
Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Genre/forme: Electronic books
Format – détails additionnels: Print version:
Turing, Alan Mathison, 1912-1954.
Mathematical logic.
Amsterdam ; New York : Elsevier Science, 2001
(DLC) 2001023846
(OCoLC)46472153
Type d’ouvrage: Document, Ressource Internet
Type de document: Ressource Internet, Fichier d'ordinateur
Tous les auteurs / collaborateurs: Alan Turing; R O Gandy; C E M Yates
ISBN: 9780444504234 0444504230 9780080535920 0080535925
Numéro OCLC: 162578313
Description: 1 online resource (xii, 293 pages) : illustrations.
Contenu: Cover --
Contents --
Preface --
Alan Mathison Turing --
Chronology --
Preface to this volume --
Part I: Computability and Ordinal Logics --
Chapter 1. Historical Introduction (Solomon Feferman) --
Chapter 2. 1937 On Computable Numbers, with an Application to the Entscheidungsproblem --
Chapter 3. 1937 Computability and?-definability. 1937 The p-function in? --
K Conversion --
Chapter 4. 1938 Systems of Logic based on Ordinals --
Part II: Type Theory --
Chapter 5. General Introduction to Turing's work on Type Theory --
Published papers --
Chapter 6. 1942 (with M.H.A. Newman) A Formal Theorem in Church's Theory of Types --
Chapter 7. 1942 The Use of Dots as Brackets in Church's System --
Chapter 8. 1948 Practical Forms of Type Theory --
Unpublished papers --
Chapter 9. 1941 Some Theorems about Church's System --
Chapter 10. 1943-4 Practical Forms of Type Theory II --
Chapter 11. 1944-5 The Reform of Mathematical Notation --
Part III: Enigmas, Mysteries and Loose Ends --
Chapter 12. Turing's Treatise on the Enigma --
Chapter 13. Turing's Papers on Programming --
Chapter 14. Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II --
Chapter 15. Minimum Cost Sequential Analysis Excerpt from unpublished manuscript --
Chapter 16. The Nature of Turing and the Physical World (Andrew Hodges) --
Chapter 17. Letter from Robin Gandy to Max Newman --
Chapter 18. Royal Society Memoir --
Bibliography --
Lists of contents of other volumes --
Appendix: matters arising from other volumes --
Last Page.
Responsabilité: edited by R.O. Gandy and C.E.M. Yates ; including prefaces by Solomon Feferman [and others].

Résumé:

Alan Mathison Turing (1912-1954) made major contributions to several areas of science. He was a pioneer researcher in computer architecture and software engineering - his work in pure mathematics and  Lire la suite...

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


Primary Entity

<http://www.worldcat.org/oclc/162578313> # Mathematical logic
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "162578313" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1016937#Place/amsterdam> ; # Amsterdam
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/geheimschrift> ; # Geheimschrift
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/berekenbaarheid> ; # Berekenbaarheid
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/programmeren_computers> ; # Programmeren (computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/mathematics_infinity> ; # MATHEMATICS--Infinity
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/typentheorie> ; # Typentheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/lambda_calculus> ; # Lambda-calculus
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/mathematics_logic> ; # MATHEMATICS--Logic
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/27990233> ; # C. E. M. Yates
    schema:contributor <http://viaf.org/viaf/234217153> ; # Robin O. Gandy
    schema:creator <http://viaf.org/viaf/41887917> ; # Alan Turing
    schema:datePublished "2001" ;
    schema:description "Cover -- Contents -- Preface -- Alan Mathison Turing -- Chronology -- Preface to this volume -- Part I: Computability and Ordinal Logics -- Chapter 1. Historical Introduction (Solomon Feferman) -- Chapter 2. 1937 On Computable Numbers, with an Application to the Entscheidungsproblem -- Chapter 3. 1937 Computability and?-definability. 1937 The p-function in? -- K Conversion -- Chapter 4. 1938 Systems of Logic based on Ordinals -- Part II: Type Theory -- Chapter 5. General Introduction to Turing's work on Type Theory -- Published papers -- Chapter 6. 1942 (with M.H.A. Newman) A Formal Theorem in Church's Theory of Types -- Chapter 7. 1942 The Use of Dots as Brackets in Church's System -- Chapter 8. 1948 Practical Forms of Type Theory -- Unpublished papers -- Chapter 9. 1941 Some Theorems about Church's System -- Chapter 10. 1943-4 Practical Forms of Type Theory II -- Chapter 11. 1944-5 The Reform of Mathematical Notation -- Part III: Enigmas, Mysteries and Loose Ends -- Chapter 12. Turing's Treatise on the Enigma -- Chapter 13. Turing's Papers on Programming -- Chapter 14. Excerpt from: Programmer's Handbook for the Manchester Electronic Computer Mark II -- Chapter 15. Minimum Cost Sequential Analysis Excerpt from unpublished manuscript -- Chapter 16. The Nature of Turing and the Physical World (Andrew Hodges) -- Chapter 17. Letter from Robin Gandy to Max Newman -- Chapter 18. Royal Society Memoir -- Bibliography -- Lists of contents of other volumes -- Appendix: matters arising from other volumes -- Last Page."@en ;
    schema:description "Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is also of the greatest originality and of permanent importance. This book is divided into three parts. The first part focuses on computability and ordinal logics and covers Turing's work between 193."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1016937> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1016937#Series/collected_works_of_a_m_turing> ; # Collected works of A.M. Turing
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1016937#Series/works> ; # Works.
    schema:isSimilarTo <http://www.worldcat.org/oclc/46472153> ;
    schema:name "Mathematical logic"@en ;
    schema:productID "162578313" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/162578313#PublicationEvent/amsterdam_new_york_elsevier_science_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1016937#Agent/elsevier_science> ; # Elsevier Science
    schema:url <http://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/book/9780444504234> ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=http://www.sciencedirect.com/science/book/9780444504234> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=317110> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=317110> ;
    schema:url <http://www.myilibrary.com?id=104836&ref=toc> ;
    schema:url <http://www.myilibrary.com?id=104836> ;
    schema:url <http://site.ebrary.com/id/10206554> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210181> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=4053241> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444504234> ;
    schema:workExample <http://worldcat.org/isbn/9780080535920> ;
    schema:workExample <http://worldcat.org/isbn/9780444504234> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/162578313> ;
    .


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/1016937#Agent/elsevier_science> # Elsevier Science
    a bgn:Agent ;
    schema:name "Elsevier Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/turing_alan_1912_1954> # Alan Turing
    a schema:Person ;
    schema:birthDate "1912" ;
    schema:deathDate "1954" ;
    schema:familyName "Turing" ;
    schema:givenName "Alan" ;
    schema:name "Alan Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Series/collected_works_of_a_m_turing> # Collected works of A.M. Turing
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/162578313> ; # Mathematical logic
    schema:name "Collected works of A.M. Turing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/automatentheorie> # Automatentheorie
    a schema:Intangible ;
    schema:name "Automatentheorie"@en ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/programmeren_computers> # Programmeren (computers)
    a schema:Intangible ;
    schema:name "Programmeren (computers)"@en ;
    .

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

<http://viaf.org/viaf/234217153> # Robin O. Gandy
    a schema:Person ;
    schema:familyName "Gandy" ;
    schema:givenName "Robin O." ;
    schema:givenName "R. O." ;
    schema:name "Robin O. Gandy" ;
    .

<http://viaf.org/viaf/27990233> # C. E. M. Yates
    a schema:Person ;
    schema:familyName "Yates" ;
    schema:givenName "C. E. M." ;
    schema:name "C. E. M. Yates" ;
    .

<http://viaf.org/viaf/41887917> # Alan Turing
    a schema:Person ;
    schema:birthDate "1912" ;
    schema:deathDate "1954" ;
    schema:familyName "Turing" ;
    schema:givenName "Alan" ;
    schema:name "Alan Turing" ;
    .

<http://worldcat.org/isbn/9780080535920>
    a schema:ProductModel ;
    schema:isbn "0080535925" ;
    schema:isbn "9780080535920" ;
    .

<http://worldcat.org/isbn/9780444504234>
    a schema:ProductModel ;
    schema:isbn "0444504230" ;
    schema:isbn "9780444504234" ;
    .

<http://www.worldcat.org/oclc/46472153>
    a schema:CreativeWork ;
    rdfs:label "Mathematical logic." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/162578313> ; # Mathematical logic
    .


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.