Even long before that, in 1914, the Spaniard Leonardo Torres y Quevedo had become
the 20th century's first pioneer of practical AI
when he built
the first working chess end game player
(back then chess was considered as an activity restricted to the realms of intelligent creatures).
The machine was still considered impressive decades later when
the AI pioneer Norbert Wiener played against
it at the 1951 Paris conference.[AI51][BRU1-4][BRO21]
Konrad Zuse, however, had more general chess routines already in
1945.[KNU] (He also applied his pioneering Plankalkül programming language
to theorem proving
in 1948,[ZU48] long before Newell & Simon's work of 1956.[NS56])
As mentioned above,
the pioneer of modern AI Theory was Gödel himself (1931-34), who identified
the limits of AI & math & computing, and laid formal foundations
of AI based on automatic theorem proving and deduction through expert systems (some erroneously
thought he also showed that humans are superior to AIs[BIB3]).
In sum, the foundational achievements in AI greatly predate Turing's.
The Gödel Prize for theoretical computer science is named after Gödel.
The currently more lucrative ACM A. M. Turing Award was created in 1966 for
contributions "of lasting and major technical importance to the computer field."
It is funny—and at the same time embarrassing—that Gödel (1906-1978) never got one, although he not only laid the foundations of the "modern" version of the field, but also identified its most famous open problem "P=NP?" in his famous letter to John von Neumann (1956).[GOD56][URQ10]
Neither did Church (1903-1995). There would have been plenty of time though—these pioneers died years after the award was introduced.
Likewise, Konrad Zuse (1910-1995)
never got a Turing award despite having
created the world's first working programmable general computer 1935-41.
His above-mentioned patent application of 1936[ZU36-38][Z36][RO98][ZUS21,a,b]
described the digital circuits required by programmable physical hardware,
predating Claude Shannon's 1937 thesis on digital circuit design.[SHA37]
Zuse also created the first high-level programming language in the early 1940s.[BAU][KNU]
Zuse's Z3 computer of 1941 was a working practical device, not just a
theoretical and impractical pen & paper construct like
those of Gödel (1931-34), Church (1935), Turing (1936), and Post (1936), which did not even feature elementary practical building blocks such as addressable memory.
Ignoring the inevitable storage limitations of any physical computer,
the physical hardware of Z3 was indeed
universal in the modern sense of the
theory papers above—simple arithmetic tricks
can compensate for its lack of an explicit
conditional jump instruction of the type "IF ... THEN GOTO ADDRESS ..."[RO98]
(BTW, it is much more awkward to program Turing or Post machines which also do not allow for "modern" conditional jumps—they do not even have
numbered memory addresses to which an instruction pointer could jump).
Where does Z3 fit in the history of computing hardware?
The first known gear-based computational device was the
Antikythera mechanism (a kind of astronomical clock) in Ancient Greece over 2000 years ago.
1.5 millennia later, Peter Henlein still made conceptually similar machines—albeit smaller—namely, the first miniaturized pocket watches (1505).
But these devices always calculated the same thing, e.g., divide minutes by 60 to get hours.
The 1600s brought more flexible machines that computed answers in response to input data.
The first data-processing gear-based special purpose calculator for simple arithmetics was built in 1623 by
Wilhelm Schickard,
one of the candidates for the title of
"father of automatic computing," followed by the
superior Pascaline of Blaise Pascal (1642).
In 1673, the aforementioned inevitable
Leibniz
designed the first machine (the step reckoner) that could perform all four arithmetic operations,
and the first with a memory.[BL16]
He also described principles of binary computers (1679)[L79][LA14][HO66][L03][LEI21,a,b]
employed by virtually all modern computers including Zuse's Z3.
Z3 used
electromagnetic relays with visibly moving switches.
The first electronic special purpose calculator
(whose moving parts were electrons too small to see)
was the
binary ABC (US, 1942) by
John Atanasoff (the "father of tube-based computing"[NASC6a]).
Unlike the gear-based machines of the 1600s,
ABC used tubes—today's machines use the
transistor principle
patented by
Julius E. Lilienfeld
in 1925.[LIL1-2]
But unlike Z3, ABC was not freely programmable.
Neither was the electronic
Colossus machine by Tommy Flowers (UK, 1943-45)
used to break the Nazi code[NASC6] (see below).
On the other hand,
the concept of programs was well-known by then.
Perhaps the world's first programmable machine was an automatic theatre made in the 1st
century[SHA7a][RAU1] by Heron of Alexandria
(who apparently also had the first known working steam engine—the Aeolipile).
The energy source of his programmable
automaton was a falling weight pulling a string wrapped around pins of a revolving cylinder.
Complex instruction sequences controlling doors and puppets
for several minutes were encoded by complex wrappings.
The 9th century
music automaton by the Banu Musa brothers in Baghdad[BAN][KOE1] used pins on
a revolving cylinder to store programs controlling a steam-driven
flute—compare Al-Jazari's programmable drum machine of 1206.[SHA7b]
The first commercial program-controlled
machines (punch card-based looms) were built in France around
1800 by Joseph-Marie Jacquard and others—perhaps the first "modern"
programmers who wrote the world's first industrial software.
In this context it seems worth pointing out the difference between
programs and the more limited user-given input data of the 1600s mentioned above.
Programs are instruction sequences stored on some medium, e.g., on punch cards,
and can be run again and again, without human intervention.
Over time the physical objects required to store programs have become lighter.
Ancient machines stored
them on rotating cylinders;
Jacquard stored them on cardboard;
Zuse stored them on 35mm film,
today we often store them using electrons and magnetizable material.
Jacquard's programs (around
1800) were not yet of the general purpose kind.
They inspired Ada Lovelace and her mentor
Charles Babbage (UK, circa 1840). He planned but was unable to build a
programmable, general purpose computer (only his non-universal special purpose calculator
led to a working 20th century replica).
Unlike Babbage, Zuse (1936-41) used Leibniz'
principles of binary computation (1679)[L79][LA14][HO66][L03][LEI21,a,b]
instead of traditional
decimal computation.
This greatly simplified the hardware.
The first general working programmable machine built by
someone other than Zuse was Howard Aiken's still decimal MARK I (US, 1944).
The much faster decimal ENIAC by Eckert and Mauchly
(1945/46) could be programmed by rewiring it.
Today, however, most computers are binary like Z3.
Both data and programs were stored in electronic memory
by the "Manchester baby" (Williams, Kilburn & Tootill, UK, 1948)[COP15]
and the 1948 upgrade of ENIAC, which was reprogrammed by entering numerical instruction codes into read-only memory.[HAI14b]
Already in 1936-38, however, Zuse may have been the first to suggest to put both program instructions and data into memory.[ZU36-38]
It was pointed out that
none of the computers built during the 1940s
were influenced in any way by Turing's 1936 theoretical paper,
except perhaps his own ACE design.[HAI14]
We note once more
that Gödel's formal model of 1931-34[GOD][GOD34]
also encoded/stored data (e.g., axioms) and
programs (sequences of operations on the data) and results (e.g., theorems) in the same
integer-based storage (now known as Gödel numbering), just like Turing and Post later stored them in bit strings.
Of course, the behavior
of any Turing machine or Post machine or any other digital computer
can be formalized in Gödel's original universal model
(this inspired my self-referential Gödel Machine[GM6]).
It should be noted, however, that we are using modern terminology here: Neither Gödel
(1931) nor Church (1935) nor Turing (1936)
mentioned the term "program" in their papers
(albeit
Zuse's 1936 patent application frequently referred to a
"Rechenplan"[ZU36] which means "program").
Similarly, the term "stored program" first appeared
later in the context of electronic storage.[HAI14b]
Turing published pioneering work in bioinformatics.[TUR2]
However, his
greatest impact came probably through his contribution to cracking the Enigma code,[NASC7] used by the German military during the Second World War. He worked with Gordon Welchman at Bletchley Park in the UK. The famous code-breaking Colossus machine,[NASC6] however, was designed by Tommy Flowers (not by Turing). The
British cryptographers built
on earlier foundational work by Polish mathematicians Marian Rejewski, Jerzy Rozycki and Henryk Zygalski who were the first to break the Enigma code (none of them were even mentioned in the movie[IMI]). Some say this was decisive for defeating the Third Reich.[NASC7]
To summarise, many have contributed to the theory and practice of computing.
Nevertheless, Turing's contributions were significant,
although he was standing on the shoulders of giants.[GOD][GOD34-21a][CHU][HAI14][VAR13][BRU1-4][NASC4-7][LEI21,a,b][ZUS21,a,b]
His famous 1936 paper diligently cites the pioneering work of Gödel (1931) and Church (1935).
It seems unlikely that the great scientist he was would ever approve of the overblown claims about him so easily dismissing the work of his colleagues.
Acknowledgments
Thanks to Jack Copeland for inviting me in May 2020 to write a piece about Alan Turing. Thanks to Moshe Vardi, Herbert Bruderer, Jack Copeland, Wolfgang Bibel, Teun Koetsier, Scott Aaronson, Dylan Ashley, Sebastian Oberhoff, Kai Hormann, Cris Calude, and several other expert reviewers for useful comments on the contents of the four companion articles.[LEI21,a,b][GOD21,a,b][ZUS21,a,b][TUR21] Since science is about self-correction, let me know under juergen@idsia.ch if you can spot any remaining error. The contents of this article may be used for educational and non-commercial purposes, including articles for Wikipedia and similar sites.
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
References
[ALL2]
J. Schmidhuber (2000).
Algorithmic theories of everything.
ArXiv:
quant-ph/ 0011122.
More.
See also:
Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit.
International Journal of Foundations of Computer Science 13(4):587-612, 2002.
PDF.
More.
See also:
The Speed Prior: A New Simplicity Measure Yielding Near-Optimal Computable Predictions.
Proc. COLT 2002.
PDF. More.
[AI51]
Les Machines a Calculer et la Pensee Humaine: Paris, 8.-13. Januar 1951, Colloques internationaux du Centre National de la Recherche Scientifique; no. 37, Paris 1953.
[H. Bruderer rightly calls that the first conference on AI.]
[AMH1]
S. I. Amari (1972).
Learning patterns and pattern sequences by self-organizing nets of threshold elements. IEEE Transactions, C 21, 1197-1206, 1972.
PDF.
First publication of what was later sometimes called the Hopfield network[AMH2] or Amari-Hopfield Network,[AMH3] based on the Lenz-Ising recurrent architecture.[L20][I25][T22]
[AMH2]
J. J. Hopfield (1982). Neural networks and physical systems with emergent
collective computational abilities. Proc. of the National Academy of Sciences,
vol. 79, pages 2554-2558, 1982.
The Hopfield network or Amari-Hopfield Network was first published in 1972 by Amari.[AMH1] [AMH2] did not cite [AMH1].
[AMH3]
Ana P. Millan, Joaquin J. Torres, Joaquin Marro.
How Memory Conforms to Brain Development.
Front. Comput. Neuroscience, 2019
[BAN]
Banu Musa brothers (9th century). The book of ingenious devices (Kitab al-hiyal). Translated by D. R. Hill (1979), Springer, p. 44, ISBN 90-277-0833-9.
[Perhaps the Banu Musa music automaton was the world's first machine with a stored program.]
[BAU]
F. L. Bauer, H. Woessner (1972). The "Plankalkül" of Konrad Zuse: A Forerunner of Today's Programming Languages.
[BEA]
A. Beavers (2013). Alan Turing: Mathematical Mechanist. In S. B. Cooper, J. van Leeuwen (eds.). Alan Turing: His Work and Impact. Waltham: Elsevier. pp. 481-485.
[BIB3]
W. Bibel (2003).
Mosaiksteine einer Wissenschaft vom Geiste. Invited talk at
the conference on AI and Gödel, Arnoldsheim, 4-6 April 2003.
Manuscript, 2003.
[BL16]
L. Bloch (2016). Informatics in the light of some Leibniz's works.
Communication to XB2 Berlin Xenobiology Conference.
[BOO]
George Boole (1847). The Mathematical Analysis of Logic, Being an Essay towards a Calculus of Deductive Reasoning.
London, England: Macmillan, Barclay, & Macmillan, 1847.
[BRO21]
D. C. Brock (2021).
Cybernetics, Computer Design, and a Meeting of the Minds.
An influential 1951 conference in Paris considered the computer as a model of—and for—the human mind.
IEEE Spectrum, 2021.
Link.
[BRU1]
H. Bruderer. Computing history beyond the UK and US: selected landmarks from continental Europe. Communications of the ACM 60.2 (2017): 76-84.
[BRU2]
H. Bruderer. Meilensteine der Rechentechnik. 2 volumes, 3rd edition. Walter de Gruyter GmbH & Co KG, 2020.
[BRU3]
H. Bruderer. Milestones in Analog and Digital Computing. 2 volumes, 3rd edition. Springer Nature Switzerland AG, 2020.
[BRU4]
H. Bruderer. The Birthplace of Artificial Intelligence? Communications of the ACM, BLOG@CACM, Nov 2017.
Link.
[CAN]
G. Cantor (1891). Ueber eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der Deutschen Mathematiker-Vereinigung, 1:75-78. [English translation: W. B. Ewald (ed.). From Immanuel Kant to David Hilbert: A Source Book in the Foundations of Mathematics, Volume 2, pp. 920-922. Oxford University Press, 1996.]
[CHU]
A. Church (1935). An unsolvable problem of elementary number theory. Bulletin of the American Mathematical Society, 41: 332-333. Abstract of a talk given on 19 April 1935, to the American Mathematical Society.
Also in American Journal of Mathematics, 58(2), 345-363 (1 Apr 1936).
[First explicit proof that the Entscheidungsproblem (decision problem) does not have a general solution.]
[COP11]
B. J. Copeland, D. Proudfoot. "Alan Turing: father of the modern computer." Rutherford Journal 4, 2011-2012.
[COP15]
B. J. Copeland, G. Sommaruga.
The Stored-Program Universal Computer: Did
Zuse Anticipate Turing and von Neumann?
In G. Sommaruga, T. Strahm (eds.), Turing's Revolution, Springer, 2015.
[DEC] J. Schmidhuber (AI Blog, 2020). The 2010s: Our Decade of Deep Learning / Outlook on the 2020s.
[DL1] J. Schmidhuber, 2015.
Deep Learning in neural networks: An overview. Neural Networks, 61, 85-117.
More.
[DL2] J. Schmidhuber, 2015.
Deep Learning.
Scholarpedia, 10(11):32832.
[FRE] G. Frege (1879).
Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag Louis Nebert.
[The first formal language / formal proofs—basis of modern logic and programming languages.]
[GM6]
J. Schmidhuber (2006).
Gödel machines:
Fully Self-Referential Optimal Universal Self-Improvers.
In B. Goertzel and C. Pennachin, eds.: Artificial
General Intelligence, p. 199-226, 2006.
PDF.
Preprint
arXiv:cs/0309048 (2003).
See also:
Ultimate Cognition à la Gödel.
Cognitive Computation 1(2):177-193, 2009. PDF.
More.
[GOD]
K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38:173-198, 1931.
[GOD34]
K. Gödel (1934).
On undecidable propositions of formal mathematical
systems. Notes by S. C. Kleene and J. B. Rosser on lectures
at the Institute for Advanced Study, Princeton, New Jersey, 1934, 30
pp. (Reprinted in M. Davis, (ed.), The Undecidable. Basic Papers on Undecidable
Propositions, Unsolvable Problems, and Computable Functions,
Raven Press, Hewlett, New York, 1965.)
[GOD56]
R. J. Lipton and K. W. Regan.
Gödel's lost letter and P=NP.
Link.
[GOD86]
K. Gödel.
Collected works Volume I: Publications 1929-36,
S. Feferman et. al., editors, Oxford Univ. Press, Oxford, 1986.
[GOD21] J. Schmidhuber (AI Blog, 2021). 90th anniversary celebrations: 1931: Kurt Gödel, founder of theoretical computer science, shows limits of math, logic, computing, and artificial intelligence. This was number 1 on Hacker News.
[GOD21a]
J. Schmidhuber (2021). Als Kurt Gödel die Grenzen des Berechenbaren entdeckte.
(When Kurt Gödel discovered the limits of computability.)
Frankfurter Allgemeine Zeitung, 16/6/2021.
[GOD21b]
J. Schmidhuber (AI Blog, 2021). 80. Jahrestag: 1931: Kurt Gödel, Vater der theoretischen Informatik, entdeckt die Grenzen des Berechenbaren und der künstlichen Intelligenz.
[HAI14]
T. Haigh (2014). Historical reflections.
Actually, Turing did not invent the computer.
Communications of the ACM, Vol. 57(1): 36-41, Jan 2014.
PDF.
[HAI14b]
T. Haigh, M. Priestley, C. Rope (2014).
Reconsidering the Stored-Program Concept.
IEEE Annals of the History of Computing. IEEE, 2014.
PDF.
[HIN] J. Schmidhuber (AI Blog, 2020). Critique of 2019 Honda Prize.
[HLT52]
S. C. Kleene (1952). Introduction to metamathematics.
[HLT58]
M. Davis (1958). Computability and Unsolvability. McGraw-Hill, 1958.
[HLT21]
S. Lucas (2021). The origins of the halting problem. Journal of Logical and Algebraic Methods in Programming, vol. 121, 2021.
[HO66]
E. Hochstetter et al. (1966): Herrn von Leibniz' Rechnung mit Null und Eins. Berlin: Siemens AG.
[I25]
E. Ising (1925). Beitrag zur Theorie des Ferromagnetismus. Z. Phys., 31 (1): 253-258, 1925. Based on [I24].
The first non-learning recurrent NN architecture (the Ising model or Lenz-Ising model) was introduced and analyzed by physicists Ernst Ising and Wilhelm Lenz in the 1920s.[L20][I25][K41][W45][T22] It settles into an equilibrium state in response to input conditions, and is the foundation of the first published learning RNNs.[AMH1-2]
[IN08]
R. Ineichen (2008). Leibniz, Caramuel, Harriot und das Dualsystem. Mitteilungen der deutschen Mathematiker-Vereinigung. 16(1):12-15.
[IMI]
The Imitation Game. Movie, U.K., 2014.
[K41]
H. A. Kramers and G. H. Wannier (1941). Statistics of the Two-Dimensional Ferromagnet. Phys. Rev. 60, 252 and 263, 1941.
[KNU]
D. E. Knuth, L. T. Pardo (1976). The Early Development of Programming Languages. Stanford University, Computer Science Department.
PDF.
[KOE1]
[21] T. Koetsier (2001). On the prehistory of programmable machines: musical automata, looms, calculators. Mechanism and Machine Theory, Elsevier, 36 (5): 589-603, 2001.
[L20]
W. Lenz (1920). Beitrag zum Verständnis der magnetischen
Erscheinungen in festen Körpern. Physikalische Zeitschrift, 21:613-615. See also [I25].
[L03]
G. Leibniz (1703). In: Explication de l'Arithmetique Binaire / Die Mathematischen Schriften, ed. C. Gerhardt, Berlin 1879, vol.7, p.223. English link.
[Leibniz documented the binary arithmetics which allow for greatly simplifiying computing hardware and are employed by virtually all modern computers. Binary number encodings per se, however, seem to date back over 4000 years.]
[L79]
G. Leibniz.
De Progressione dyadica Pars I. 15 March 1679.
[Principles of binary computers governed by punch cards.]
[L84]
G. Leibniz (1684).
Nova Methodus pro Maximis et Minimis.
[First publication on infinitesimal calculus.]
[L86]
G. Leibniz (1686). Generales Inquisitiones de analysi notionum et veritatum.
Also in
Leibniz: Die philosophischen Schriften VII, 1890, pp. 236-247; translated as "A Study in the Calculus of Real Addition" (1690) by G. H. R. Parkinson, Leibniz: Logical Papers—A Selection, Oxford 1966, pp. 131-144.
[LA14]
D. R. Lande (2014).
Development of the Binary Number System and the Foundations of Computer Science. The Mathematics Enthusiast, vol. 11(3):6 12, 2014.
Link.
[LE18]
W. Lenzen.
Leibniz and the Calculus Ratiocinator. Technology and Mathematics, pp 47-78, Springer, 2018.
[LEI21] J. Schmidhuber (AI Blog, 2021). 375th birthday of Leibniz, founder of computer science.
[LEI21a]
J. Schmidhuber (2021). Der erste Informatiker. Wie Gottfried Wilhelm Leibniz den Computer erdachte.
(The first computer scientist. How Gottfried Wilhelm Leibniz conceived the computer.)
Frankfurter Allgemeine Zeitung (FAZ), 17/5/2021. FAZ online:
19/5/2021.
[LEI21b] J. Schmidhuber (AI Blog, 2021). 375. Geburtstag des Herrn Leibniz, dem Vater der Informatik.
[LIL1]
US Patent 1745175 by Austrian physicist Julius Edgar Lilienfeld for work done in Leipzig: "Method and apparatus for controlling electric current." First filed in Canada on 22.10.1925. [The patent describes a field-effect transistor. Today, almost all transistors are field-effect transistors.]
[LIL2]
US Patent 1900018 by Austrian physicist Julius Edgar Lilienfeld: "Device for controlling electric current." Filed on 28.03.1928. [The patent describes a thin film field-effect transistor.]
[LL7]
A. Bonner (2007). The art and logic of Ramon Llull. Brill Academic Pub, p. 290, 2007.
[MC43]
W. S. McCulloch, W. Pitts. A Logical Calculus of Ideas Immanent in Nervous Activity.
Bulletin of Mathematical Biophysics, Vol. 5, p. 115-133, 1943.
[MIR] J. Schmidhuber (AI Blog, 2019). Deep Learning: Our Miraculous Year 1990-1991. Preprint
arXiv:2005.05744, 2020.
[NASC1] J. Schmidhuber. First Pow(d)ered flight / plane truth. Correspondence, Nature, 421 p 689, Feb 2003.
[NASC2]
J. Schmidhuber. Zooming in on aviation history.
Correspondence, Nature, vol 566, p 39, 7 Feb 2019.
[NASC3] J. Schmidhuber. The last inventor of the telephone. Letter, Science, 319, no. 5871, p. 1759, March 2008.
[NASC4] J. Schmidhuber. Turing: Keep his work in perspective.
Correspondence, Nature, vol 483, p 541, March 2012, doi:10.1038/483541b.
[NASC5] J. Schmidhuber. Turing in Context.
Letter, Science, vol 336, p 1639, June 2012.
(On Gödel, Zuse, Turing.)
See also comment on response by A. Hodges (DOI:10.1126/science.336.6089.1639-a)
[NASC6] J. Schmidhuber. Colossus was the first electronic digital computer. Correspondence, Nature, 441 p 25, May 2006.
[NASC6a] J. Schmidhuber. Comment on "Biography: The ABC of computing" by J. Gilbey, Nature 468 p 760-761 (2010). Link.
[NASC7] J. Schmidhuber. Turing's war work counts for more than computers. Link. Correspondence, Nature, 429 p 501, June 2004
[NASC8] J. Schmidhuber. Prototype resilient, self-modeling robots. Correspondence, Science, 316, no. 5825 p 688, May 2007.
[NASC9] J. Schmidhuber. Comparing the legacies of Gauss, Pasteur, Darwin. Correspondence, Nature, vol 452, p 530, April 2008.
[NEU45] J. von Neumann (1945). First Draft of a Report on the EDVAC.
[NS56]
A. Newell and H. Simon.
The logic theory machine—A complex information processing system.
IRE Transactions on Information Theory 2.3 (1956):61-79.
[POS]
E. L. Post (1936). Finite Combinatory Processes - Formulation 1. Journal of Symbolic Logic. 1: 103-105.
Link.
[RAU1]
M. Rausch. Heron von Alexandria. Die Automatentheater und die Erfindung der ersten antiken Programmierung. Diplomica Verlag GmbH, Hamburg 2012.
[Perhaps the world's first programmable machine was an automatic theatre made in the 1st century by Heron of Alexandria, who apparently also had the first known working steam engine.]
[RO98]
R. Rojas (1998). How to make Zuse's Z3 a universal computer. IEEE Annals of Computing, vol. 19:3, 1998.
[RU58]
B. Russell (1958). The Philosophy of Leibniz. London: George Allen and Unwin, 1958.
[SH51]
J. W. Shirley (1951). Binary Numeration before Leibniz. American Journal of Physics 19 (452-454).
[SHA37]
C. E. Shannon (1938). A Symbolic Analysis of Relay and Switching Circuits. Trans. AIEE. 57 (12): 713-723. Based on his thesis, MIT, 1937.
[SHA7a]
N. Sharkey (2007). A programmable robot from AD 60. New Scientist, Sept 2017.
[SHA7b]
N. Sharkey (2007). A 13th Century Programmable Robot. Univ. of Sheffield, 2007.
[On a programmable drum machine of 1206 by Al-Jazari.]
[SKO23] T. Skolem (1923). Begründung der elementaren Arithmetik
durch die rekurrierende Denkweise ohne Anwendung scheinbarer
Veränderlichen mit unendlichem Ausdehnungsbereich. Skrifter utgit av
Videnskapsselskapet i Kristiania, I. Mathematisk-Naturvidenskabelig
Klasse 6 (1923), 38 pp.
[SMO13]
L. Smolin (2013). My hero: Gottfried Wilhelm von Leibniz. The Guardian, 2013.
Link.
[Quote: "And this is just the one part of Leibniz's enormous legacy: the philosopher Stanley Rosen called him "the smartest person who ever lived"."]
[SV20] S. Vazire (2020). A toast to the error detectors. Let 2020 be the year in which we value those who ensure that science is self-correcting. Nature, vol 577, p 9, 2/2/2020.
[T19]
ACM's justification of the 2018 A.M. Turing Award (announced in 2019). WWW link.
Local copy 1 (HTML only).
Local copy 2 (HTML only).
[T22] debunks this justification.
[T22] J. Schmidhuber (AI Blog, 2022).
Scientific Integrity and the History of Deep Learning: The 2021 Turing Lecture, and the 2018 Turing Award. Technical Report IDSIA-77-21, IDSIA, Lugano, Switzerland, 2022.
Debunking [T19].
[TUR]
A. M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Series 2, 41:230-267. Received 28 May 1936. Errata appeared in Series 2, 43, pp 544-546 (1937). [2nd explicit proof that the Entscheidungsproblem (decision problem) does not have a general solution.]
[TUR1]
A. M. Turing. Intelligent Machinery. Unpublished Technical Report, 1948.
Link.
In: Ince DC, editor. Collected works of AM Turing - Mechanical Intelligence. Elsevier Science Publishers, 1992.
[TUR2]
A. M. Turing (1952). The Chemical Basis of Morphogenesis. Philosophical Transactions of the Royal Society of London 237 (641): 37-72.
[TUR3]
G. Oppy, D. Dowe (2021).
The Turing Test.
Stanford Encyclopedia of Philosophy.
Quote: "it is sometimes suggested that the Turing Test is prefigured in Descartes' Discourse on the Method. (Copeland (2000:527) finds an anticipation of the test in the 1668 writings of the Cartesian de Cordemoy. Abramson (2011a) presents archival evidence that Turing was aware of Descartes' language test at the time that he wrote his 1950 paper. Gunderson (1964) provides an early instance of those who find that Turing's work is foreshadowed in the work of Descartes.)"
[TUR3a]
D. Abramson. Descartes' Influence on Turing. Studies in History and Philosophy of Science, 42:544-551, 2011.
[TUR3b]
Are computers conscious?—Panpsychism with Noam Chomsky | Theories of Everything. Mentioning the ancient "Turing Test" by Descartes.
YouTube video, 2022.
[TUR21] J. Schmidhuber (AI Blog, Sep 2021). Turing Oversold. It's not Turing's fault, though.
This was number 1 on Hacker News.
[URQ10]
A. Urquhart. Von Neumann, Gödel and complexity theory. Bulletin of Symbolic Logic 16.4 (2010): 516-530.
Link.
[VAR13]
M. Y. Vardi (2013). Who begat computing? Communications of the ACM, Vol. 56(1):5, Jan 2013.
Link.
[W45]
G. H. Wannier (1945).
The Statistical Problem in Cooperative Phenomena.
Rev. Mod. Phys. 17, 50.
[WA74]
H. Wang (1974). From Mathematics to Philosophy, New York: Humanities Press.
[WA96]
H. Wang (1996). A Logical Journey: From Gödel to Philosophy, Cambridge, MA: MIT Press.
[WI48]
N. Wiener (1948).
Time, communication, and the nervous system. Teleological mechanisms. Annals of the N.Y. Acad. Sci. 50 (4): 197-219.
[Quote: "The history of the modern computing machine goes back to Leibniz and Pascal. Indeed, the general idea of a computing machine is nothing but a mechanization of Leibniz's calculus ratiocinator."]
[Z36]
S. Faber (2000). Konrad Zuses Bemühungen um die Patentanmeldung der Z3.
[ZU36]
K. Zuse (1936).
Verfahren zur selbsttätigen Durchführung von Rechnungen mit Hilfe von Rechenmaschinen. Patent application Z 23 139 / GMD Nr. 005/021, 1936.
[First patent application describing a general, practical, program-controlled computer.]
[ZU37]
K. Zuse (1937). Einführung in die allgemeine Dyadik. [Mentions the storage of program instructions in the computer's memory.]
[ZU38]
K. Zuse (1938). Diary entry of 4 June 1938.
[Description of computer architectures that put both program instructions and data into storage—compare the later "von Neumann" architecture.[NEU45]]
[ZU48]
K. Zuse (1948). Über den Plankalkül als Mittel zur Formulierung schematisch kombinativer Aufgaben.
Archiv der Mathematik 1(6), 441-449 (1948).
PDF.
[Apparently the first practical design of an automatic theorem prover (based on Zuse's high-level programming language Plankalkül).]
[ZUS21]
J. Schmidhuber (AI Blog, 2021). 80th anniversary celebrations: 1941: Konrad Zuse completes the first working general computer, based on his 1936 patent application.
[ZUS21a]
J. Schmidhuber (AI Blog, 2021). 80. Jahrestag: 1941: Konrad Zuse baut ersten funktionalen Allzweckrechner, basierend auf der Patentanmeldung von 1936.
[ZUS21b]
J. Schmidhuber (2021).
Der Mann, der den Computer
erfunden hat. (The man who invented the computer.)
Weltwoche, Nr. 33.21, 19 August 2021.
PDF.
.