kth.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Mathematical and Technological Computability
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History, Philosophy.ORCID iD: 0000-0003-0071-3919
2018 (English)In: Technology and Mathematics, Springer Nature , 2018, p. 185-234Chapter in book (Refereed)
Abstract [en]

The study of algorithms, computations, and computability offers a major contact point between mathematics, technology, and philosophy. This chapter begins with a brief history of computations and the technical means used to support them. Summary accounts are given of two scholarly developments that provided much of the intellectual background for modern computation: attempts to express all reasoning as mathematics and attempts to reduce all of mathematics to simple, rule-bound symbol manipulation. This is followed by a discussion of the Turing machine, including a detailed explanation of why it can be said to cover all systems of rule-bound symbol manipulation. The universal Turing machine and its philosophical implications are also discussed. A two-dimensional classificatory scheme is offered for proposed constructions of computing devices with stronger computing powers than a Turing machine. This categorization serves to highlight the weaknesses of current proposals for such devices. In conclusion, it is emphasized that computation has to be understood as an intentional input-output process with high demands on reliability and lucidity. The study of computations and algorithms has much to learn from other studies of intentional human action, not least in the philosophy of technology.

Place, publisher, year, edition, pages
Springer Nature , 2018. p. 185-234
Series
Philosophy of Engineering and Technology
Keywords [en]
Discrete State Machine, Symbolic Space, Turing 1937a, Turing Computability, Turing Machine
National Category
Philosophy
Identifiers
URN: urn:nbn:se:kth:diva-302086DOI: 10.1007/978-3-319-93779-3_9Scopus ID: 2-s2.0-85065117928OAI: oai:DiVA.org:kth-302086DiVA, id: diva2:1597583
Note

QC 20210927

Available from: 2021-09-27 Created: 2021-09-27 Last updated: 2022-06-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Hansson, Sven Ove

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
Philosophy
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 109 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf