Berechenbarkeit: Post, Gödel, Church, Turing (und viele andere)

William D. Brewer
Additional contact information
William D. Brewer: Freie Universität Berlin

Chapter 12 in Kurt Gödel, 2024, pp 281-304 from Springer

Abstract: Zusammenfassung Kurt Gödels Arbeit hatte weitreichende Auswirkungen, über die eher spezialisierten Bereiche der mathematischen Logik und Grundlagen der Mathematik hinaus. Es war schon lange ein Traum von Wissenschaftlern, Mathematikern und Philosophen, ‚Rechenmaschinen‘ zu bauen, die im einfachsten Fall mathematische Berechnungen automatisieren würden: zunächst die einfachen Operationen von Addition und Multiplikation. Nach der Entwicklung von Präzisionsuhrwerken im späten 17. Jahrhundert schien dieser Traum in greifbarer Nähe zu sein. Gödels zeitweiliger Held Gottfried Wilhelm Leibniz baute tatsächlich eine solche Rechenmaschine (um 1670–1700) mit Zahnrädern und Sperrklinken, sowie eine Verschlüsselungsmaschine. Seine Rechenmaschine (Multiplikationsmaschine) erweiterte Ideen, die von Blaise Pascal vorgeschlagen wurden, und wurde als ‚Stepped Reckoner‘ bezeichnet (siehe Abb. 12.1). Leibniz selbst wird mit der eher elitären Aussage zitiert: „... es ist unter der Würde ausgezeichneter Männer, ihre Zeit mit Berechnungen zu verschwenden, wenn jeder Bauer die Arbeit mit Hilfe einer Maschine genauso präzise erledigen könnte“.

Date: 2024
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-43151-7_12

Ordering information: This item can be ordered from
http://www.springer.com/9783031431517

DOI: 10.1007/978-3-031-43151-7_12

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().