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

the “Shift of Perception” in 1934

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Sammanfattning

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.
Originalspråkengelska
Titel på gästpublikationUnveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
RedaktörerJarkko Kari, Florin Manea, Ion Petre
Antal sidor8
FörlagSpringer
Utgivningsdatum2017
Sidor42-49
ISBN (tryckt)978-3-319-58740-0
ISBN (elektroniskt)978-3-319-58741-7
DOI
StatusPublicerad - 2017
MoE-publikationstypA3 Del av bok eller annan forskningsbok
EvenemangConference on Computability in Europe - Turku, Finland
Varaktighet: 12 jun 201716 jun 2017
Konferensnummer: 13

Publikationsserier

NamnLecture Notes in Computer Science
Volym10307
ISSN (tryckt)0302-9743
ISSN (elektroniskt)1611-3349

Vetenskapsgrenar

  • 111 Matematik

Citera det här

Kennedy, J. (2017). Gödel’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934. I J. Kari, F. Manea, & I. Petre (Red.), Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings (s. 42-49). (Lecture Notes in Computer Science; Vol. 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. redaktör / Jarkko Kari ; Florin Manea ; Ion Petre. Springer , 2017. s. 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. i J Kari, F Manea & I Petre (red), Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10307, Springer , s. 42-49, Conference on Computability in Europe, Turku, Finland, 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. red. / Jarkko Kari; Florin Manea; Ion Petre. Springer , 2017. s. 42-49 (Lecture Notes in Computer Science; Vol. 10307).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

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. I Kari J, Manea F, Petre I, redaktörer, 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