Template:Selected anniversaries/October 1: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 72: Line 72:
||1990: John Stewart Bell dies ... physicist ... originator of Bell's theorem, an important theorem in quantum physics regarding hidden variable theories. Pic.
||1990: John Stewart Bell dies ... physicist ... originator of Bell's theorem, an important theorem in quantum physics regarding hidden variable theories. Pic.


File:Ascleplius Myrmidon Halting Problem.jpg|link=On Halting Problems|1993: Physician, mathematician, and alleged time-traveller 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:Paul Halmos.jpg|link=Paul Halmos (nonfiction)|1992: Mathematician and [[APTO]] field engineer [[Paul Halmos (nonfiction)|Paul Halmos]] defeats the notorious criminal mathematical function [[Killer Poke]] using a novel synthesis of mathematical logic, probability theory, statistics, operator theory, ergodic theory, and functional analysis (notably Hilbert spaces).
 
|File:Ascleplius Myrmidon Halting Problem.jpg|link=On Halting Problems|1993: Physician, mathematician, and alleged time-traveller 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: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: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).

Revision as of 07:03, 2 October 2020