Starting at the beginning: Turing’s account examined

Nir Fresco

doi:10.1007/978-3-642-41375-9_3

Starting at the beginning: Turing’s account examined

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

Computability as an abstract notion, underlying any physical digital computation, was the focus of intense interest during the 1930s by mathematicians such as Gödel (1931), Turing (1936), Church (1936) and Post (1936). According to Turing’s analysis, digital computation is the process of effectively calculating the values of a function by some purely mechanical procedure executed by a TM. He argued that computation is reducible to carrying out a calculation by following instructions.

Original language	American English
Title of host publication	Studies in Applied Philosophy, Epistemology and Rational Ethics
Pages	57-78
Number of pages	22
DOIs	https://doi.org/10.1007/978-3-642-41375-9_3
State	Published - 1 Jan 2014
Externally published	Yes

Publication series

Name	Studies in Applied Philosophy, Epistemology and Rational Ethics
Volume	12

All Science Journal Classification (ASJC) codes

Philosophy

Access to Document

10.1007/978-3-642-41375-9_3

Cite this

@inbook{0c2d835b7cbf4d3390531b75fb15958d,

title = "Starting at the beginning: Turing{\textquoteright}s account examined",

abstract = "Computability as an abstract notion, underlying any physical digital computation, was the focus of intense interest during the 1930s by mathematicians such as G{\"o}del (1931), Turing (1936), Church (1936) and Post (1936). According to Turing{\textquoteright}s analysis, digital computation is the process of effectively calculating the values of a function by some purely mechanical procedure executed by a TM. He argued that computation is reducible to carrying out a calculation by following instructions.",

author = "Nir Fresco",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2014.",

year = "2014",

month = jan,

day = "1",

doi = "10.1007/978-3-642-41375-9_3",

language = "American English",

series = "Studies in Applied Philosophy, Epistemology and Rational Ethics",

pages = "57--78",

booktitle = "Studies in Applied Philosophy, Epistemology and Rational Ethics",

}

TY - CHAP

T1 - Starting at the beginning

T2 - Turing’s account examined

AU - Fresco, Nir

PY - 2014/1/1

Y1 - 2014/1/1

N2 - Computability as an abstract notion, underlying any physical digital computation, was the focus of intense interest during the 1930s by mathematicians such as Gödel (1931), Turing (1936), Church (1936) and Post (1936). According to Turing’s analysis, digital computation is the process of effectively calculating the values of a function by some purely mechanical procedure executed by a TM. He argued that computation is reducible to carrying out a calculation by following instructions.

AB - Computability as an abstract notion, underlying any physical digital computation, was the focus of intense interest during the 1930s by mathematicians such as Gödel (1931), Turing (1936), Church (1936) and Post (1936). According to Turing’s analysis, digital computation is the process of effectively calculating the values of a function by some purely mechanical procedure executed by a TM. He argued that computation is reducible to carrying out a calculation by following instructions.

UR - http://www.scopus.com/inward/record.url?scp=85019737830&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-41375-9_3

DO - 10.1007/978-3-642-41375-9_3

M3 - Chapter

T3 - Studies in Applied Philosophy, Epistemology and Rational Ethics

SP - 57

EP - 78

BT - Studies in Applied Philosophy, Epistemology and Rational Ethics

ER -

Starting at the beginning: Turing’s account examined

Abstract

Publication series

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this