zum Inhalt wechseln
Mathematical logic : Collected Works of A.M. Turing Titelvorschau
SchließenTitelvorschau
Prüfung…

Mathematical logic : Collected Works of A.M. Turing

Verfasser/in: Alan Mathison TuringC E M YatesR O GandyJack GoodAndew HodgesAlle Autoren
Verlag: Amsterdam : North-Holland, 2001.
Ausgabe/Format   Print book : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Zusammenfassung:

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  Weiterlesen…

Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Physisches Format Mathematical logic : Collected Works of A.M. Turing / R.O. Gandy, C.E.M. Yates, Solomon Feferman, ... [et al.].
Amsterdam : Elsevier, cop. 2001
978-0-444-50423-4
(ABES)18393928X
Dokumenttyp: Buch
Alle Autoren: Alan Mathison Turing; C E M Yates; R O Gandy; Jack Good; Andew Hodges; Solomon Feferman; Martin préf Campbell-Kelly
ISBN: 0444504230 9780444504234
OCLC-Nummer: 493436134
Beschreibung: 1 vol. (xi-291 p.) : rel. cart
Inhalt: Preface. Alan Mathison Turing-Chronolgy. Preface to this volume. Part I Computability and Ordinal Logics. Historical Introduction (Solomon Feferman). 1937 On Computable Numbers, with an Application to the Entscheidungsproblem (P.Lond.Math.Soc.(2)42,230-265). 1937 A Correction(ibid:43,544-546). 1937 Computability and l-definability (J.Symb.Log.2 153-163). 1937 The p-function in l-K Conversion (J.Symb.Log.2,164). Preface. Turing texts. 1938 Systems of Logic based on Ordinals (P.Lond.Math.Soc (2) 45,161-228). Preface(Solomon Feferman). Turing text. Part II Type Theory. General Introduction to Turing's work on Type Theory. Published Papers. 1942 A Formal Theorem in Church's Theory of Types (with M.H.A.Newman). (J.Symb.Log.7). Preface. Turing-Newman text. 1942 The Use of dots as Brackets in Church's System. (J.Symb.Log.7, 28-33). Preface. Turing text. 1948 Practical Forms of Type Theory (J.Symb.Log.13, 80-94). Preface. Turing text. Unpublished papers. 1941 Some Theorems about Church's System. 1943-4 Practical Forms of Type Theory II. 1944-5 The Reform of Mathematical Notation. Part III - Enigmas, Mysteries and Loose Ends. Turing's Treatise on the enigma. Preface (Andew Hodges). Excerpts from the "Enigma Paper". Turing's Papers on Programming. Preface (Martin Campbell-Kelly). Excerpts from original paper. Minimum Cost Sequential Analysis. Excerpt from unpublished manuscript. Commentary (Jack Good). The Nature of Turing and the Physical World(Andrew Hodges). Letter from Robin Gandy to Max Newman. Royal Society Memoir (Max Newman). Bibliography. Lists of contents of other volumes. Appendix:matters arising from other volumes.
Verfasserangabe: Jack Good, Andew Hodges, Solomon Feferman (Préf.) ; C.E.M. Yates, R.O. Gandy (Ed.) ; A.M. Turing ; Martin préf. Campbell-Kelly (Préf.).

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


Primary Entity

<http://www.worldcat.org/oclc/493436134> # Mathematical logic Collected Works of A.M. Turing
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "493436134" ;
    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/oeuvres> ; # Oeuvres
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/calculabilite> ; # Calculabilité
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/logique> ; # Logique
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/logique_mathematique> ; # Logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/informatique_theorique> ; # Informatique théorique
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/histoire> ; # Histoire
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/machine_de_turing> ; # Machine de Turing
    schema:about <http://experiment.worldcat.org/entity/work/data/1016937#Topic/calcul> ; # Calcul
    schema:author <http://experiment.worldcat.org/entity/work/data/1016937#Person/turing_alan_mathison_1912_1954> ; # Alan Mathison Turing
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1016937#Person/feferman_solomon> ; # Solomon Feferman
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1016937#Person/hodges_andew> ; # Andew Hodges
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1016937#Person/campbell_kelly_martin_pref> ; # Martin préf Campbell-Kelly
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1016937#Person/good_jack> ; # Jack Good
    schema:datePublished "2001" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/1016937#Person/yates_c_e_m> ; # C. E. M. Yates
    schema:editor <http://experiment.worldcat.org/entity/work/data/1016937#Person/gandy_r_o> ; # R. O. Gandy
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1016937> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1016937#CreativeWork/mathematical_logic_collected_works_of_a_m_turing_r_o_gandy_c_e_m_yates_solomon_feferman_et_al> ;
    schema:name "Mathematical logic Collected Works of A.M. Turing" ;
    schema:productID "493436134" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/493436134#PublicationEvent/amsterdam_north_holland_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1016937#Agent/north_holland> ; # North-Holland
    schema:workExample <http://worldcat.org/isbn/9780444504234> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/493436134> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1016937#Agent/north_holland> # North-Holland
    a bgn:Agent ;
    schema:name "North-Holland" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/campbell_kelly_martin_pref> # Martin préf Campbell-Kelly
    a schema:Person ;
    schema:familyName "Campbell-Kelly" ;
    schema:givenName "Martin préf" ;
    schema:name "Martin préf Campbell-Kelly" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/feferman_solomon> # Solomon Feferman
    a schema:Person ;
    schema:familyName "Feferman" ;
    schema:givenName "Solomon" ;
    schema:name "Solomon Feferman" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/gandy_r_o> # R. O. Gandy
    a schema:Person ;
    schema:familyName "Gandy" ;
    schema:givenName "R. O." ;
    schema:name "R. O. Gandy" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/good_jack> # Jack Good
    a schema:Person ;
    schema:familyName "Good" ;
    schema:givenName "Jack" ;
    schema:name "Jack Good" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Person/hodges_andew> # Andew Hodges
    a schema:Person ;
    schema:familyName "Hodges" ;
    schema:givenName "Andew" ;
    schema:name "Andew Hodges" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1016937#Person/yates_c_e_m> # C. E. M. Yates
    a schema:Person ;
    schema:familyName "Yates" ;
    schema:givenName "C. E. M." ;
    schema:name "C. E. M. Yates" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/informatique_theorique> # Informatique théorique
    a schema:Intangible ;
    schema:name "Informatique théorique" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/logique_mathematique> # Logique mathématique
    a schema:Intangible ;
    schema:name "Logique mathématique" ;
    .

<http://experiment.worldcat.org/entity/work/data/1016937#Topic/machine_de_turing> # Machine de Turing
    a schema:Intangible ;
    schema:name "Machine de Turing" ;
    .

<http://worldcat.org/entity/work/data/1016937#CreativeWork/mathematical_logic_collected_works_of_a_m_turing_r_o_gandy_c_e_m_yates_solomon_feferman_et_al>
    a schema:CreativeWork ;
    rdfs:label "Mathematical logic : Collected Works of A.M. Turing / R.O. Gandy, C.E.M. Yates, Solomon Feferman, ... [et al.]." ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/493436134> ; # Mathematical logic Collected Works of A.M. Turing
    .

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


Content-negotiable representations

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.