Gödel’s Reception of Turing’s Model of Computability

the “Shift of Perception” in 1934

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

Kuvaus

We consider the impact of the Turing model of computation on various aspects of Gödel's thought, such as the question of the generality of the Incompleteness Theorems. We also consider Kripke's notion of computability as a form of deduction, and the issue of whether this leads to an immediate proof of the Entscheidungsproblem from the Completeness and Incompleteness theorems.
Alkuperäiskielienglanti
OtsikkoUnveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
ToimittajatJarkko Kari, Florin Manea, Ion Petre
Sivumäärä8
KustantajaSpringer
Julkaisupäivä2017
Sivut42-49
ISBN (painettu)978-3-319-58740-0
ISBN (elektroninen)978-3-319-58741-7
DOI - pysyväislinkit
TilaJulkaistu - 2017
OKM-julkaisutyyppiA3 Kirjan tai muun kokoomateoksen osa
TapahtumaConference on Computability in Europe - Turku, Suomi
Kesto: 12 kesäkuuta 201716 kesäkuuta 2017
Konferenssinumero: 13

Julkaisusarja

NimiLecture Notes in Computer Science
Vuosikerta10307
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Tieteenalat

  • 111 Matematiikka

Lainaa tätä

Kennedy, J. (2017). Gödel’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934. teoksessa J. Kari, F. Manea, & I. Petre (Toimittajat), Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings (Sivut 42-49). (Lecture Notes in Computer Science; Vuosikerta 10307). Springer . https://doi.org/10.1007/978-3-319-58741-7_5
Kennedy, Juliette. / Gödel’s Reception of Turing’s Model of Computability : the “Shift of Perception” in 1934. Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Toimittaja / Jarkko Kari ; Florin Manea ; Ion Petre. Springer , 2017. Sivut 42-49 (Lecture Notes in Computer Science).
@inbook{703bb0c77dee4f0caed4d5ff5e97a0fd,
title = "G{\"o}del’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934",
abstract = "We consider the impact of the Turing model of computation on various aspects of G{\"o}del's thought, such as the question of the generality of the Incompleteness Theorems. We also consider Kripke's notion of computability as a form of deduction, and the issue of whether this leads to an immediate proof of the Entscheidungsproblem from the Completeness and Incompleteness theorems.",
keywords = "111 Mathematics, Computability, Turing, G{\"o}del, Kripke",
author = "Juliette Kennedy",
year = "2017",
doi = "10.1007/978-3-319-58741-7_5",
language = "English",
isbn = "978-3-319-58740-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "42--49",
editor = "Jarkko Kari and Manea, {Florin } and Petre, {Ion }",
booktitle = "Unveiling Dynamics and Complexity",
address = "International",

}

Kennedy, J 2017, Gödel’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934. julkaisussa J Kari, F Manea & I Petre (toim), Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Lecture Notes in Computer Science, Vuosikerta 10307, Springer , Sivut 42-49, Conference on Computability in Europe, Turku, Suomi, 12/06/2017. https://doi.org/10.1007/978-3-319-58741-7_5

Gödel’s Reception of Turing’s Model of Computability : the “Shift of Perception” in 1934. / Kennedy, Juliette.

Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. toim. / Jarkko Kari; Florin Manea; Ion Petre. Springer , 2017. s. 42-49 (Lecture Notes in Computer Science; Vuosikerta 10307).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKirjan luku tai artikkeliTieteellinenvertaisarvioitu

TY - CHAP

T1 - Gödel’s Reception of Turing’s Model of Computability

T2 - the “Shift of Perception” in 1934

AU - Kennedy, Juliette

PY - 2017

Y1 - 2017

N2 - We consider the impact of the Turing model of computation on various aspects of Gödel's thought, such as the question of the generality of the Incompleteness Theorems. We also consider Kripke's notion of computability as a form of deduction, and the issue of whether this leads to an immediate proof of the Entscheidungsproblem from the Completeness and Incompleteness theorems.

AB - We consider the impact of the Turing model of computation on various aspects of Gödel's thought, such as the question of the generality of the Incompleteness Theorems. We also consider Kripke's notion of computability as a form of deduction, and the issue of whether this leads to an immediate proof of the Entscheidungsproblem from the Completeness and Incompleteness theorems.

KW - 111 Mathematics

KW - Computability

KW - Turing

KW - Gödel

KW - Kripke

U2 - 10.1007/978-3-319-58741-7_5

DO - 10.1007/978-3-319-58741-7_5

M3 - Chapter

SN - 978-3-319-58740-0

T3 - Lecture Notes in Computer Science

SP - 42

EP - 49

BT - Unveiling Dynamics and Complexity

A2 - Kari, Jarkko

A2 - Manea, Florin

A2 - Petre, Ion

PB - Springer

ER -

Kennedy J. Gödel’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934. julkaisussa Kari J, Manea F, Petre I, toimittajat, Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Springer . 2017. s. 42-49. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-58741-7_5