Template:Selected anniversaries/October 1: Difference between revisions

Revision as of 19:35, 9 July 2017

1880: First electric lamp factory is opened by Thomas Edison.
1881: Mathematicians Nikola Tesla and Judge Havelock use new class of data transmission protocols to detect and prevent crimes against mathematical constants.
1994: Mathematician and philosopher Paul Lorenzen dies. He was the founder of the Erlangen School (with Wilhelm Kamlah) and inventor of game semantics (with Kuno Lorenz).
Asclepius Myrmidon publishes On Halting Problems, about the computational and medical problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running or continue to run forever.

@@ Line 34: / Line 34: @@
 File:Paul Lorenzen.jpg|link=Paul Lorenzen (nonfiction)|1994: Mathematician and philosopher [[Paul Lorenzen (nonfiction)|Paul Lorenzen]] dies. He was the founder of the Erlangen School (with Wilhelm Kamlah) and inventor of game semantics (with Kuno Lorenz).
+File:Ascleplius Myrmidon Halting Problem.jpg|link=On Halting Problems|Asclepius Myrmidon publishes ''[[On Halting Problems]]'', about the computational and medical problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running or continue to run forever.
 |File:Rule 90 trees.svg|link=Cellular automaton (nonfiction)|1923: New version of [[Bernoulli family (nonfiction)|Bernoulli family tree]] powered by [[Cellular automaton (nonfiction)|cellular automata]].