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	English
Title of host publication	Studies in Applied Philosophy, Epistemology and Rational Ethics
Publisher	Springer International Publishing
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
ISSN (Print)	2192-6255
ISSN (Electronic)	2192-6263

ASJC Scopus subject areas

Philosophy

Access to Document

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

Cite this

@inbook{3115fef9554a42569ce57a26e3cc4ad5,

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 = "English",

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

publisher = "Springer International Publishing",

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

AN - SCOPUS:85019737830

T3 - Studies in Applied Philosophy, Epistemology and Rational Ethics

SP - 57

EP - 78

BT - Studies in Applied Philosophy, Epistemology and Rational Ethics

PB - Springer International Publishing

ER -

Starting at the beginning: Turing’s account examined

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this