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

the “Shift of Perception” in 1934

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationUnveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
EditorsJarkko Kari, Florin Manea, Ion Petre
Number of pages8
PublisherSpringer
Publication date2017
Pages42-49
ISBN (Print)978-3-319-58740-0
ISBN (Electronic)978-3-319-58741-7
DOIs
Publication statusPublished - 2017
MoE publication typeA3 Book chapter
EventConference on Computability in Europe - Turku, Finland
Duration: 12 Jun 201716 Jun 2017
Conference number: 13

Publication series

NameLecture Notes in Computer Science
Volume10307
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fields of Science

  • 111 Mathematics
  • Computability
  • Turing
  • Gödel
  • Kripke

Cite this

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

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-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. In Kari J, Manea F, Petre I, editors, Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Springer . 2017. p. 42-49. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-58741-7_5