Template:Selected anniversaries/April 19: Difference between revisions
No edit summary |
No edit summary |
||
| Line 47: | Line 47: | ||
||1921: Leon Albert Henkin born ... logician at the University of California, Berkeley. He was principally known for "Henkin construction", his version of the proof of the semantic completeness of standard systems of first-order logic. Pic. | ||1921: Leon Albert Henkin born ... logician at the University of California, Berkeley. He was principally known for "Henkin construction", his version of the proof of the semantic completeness of standard systems of first-order logic. Pic. | ||
||1933: Ernest William Hobson dies ... mathematician, now remembered mostly for his books, some of which broke new ground in their coverage in English of topics from mathematical analysis. G. H. Hardy wrote, "Although he lived to be 76, he was active almost up to his death; his last book (and perhaps in some ways his best) was published when he was 74. He was a singular exception to the general rule that good mathematicians do their best work when they are young." Pic. | ||1933: Ernest William Hobson dies ... mathematician, now remembered mostly for his books, some of which broke new ground in their coverage in English of topics from mathematical analysis. G. H. Hardy wrote, "Although he lived to be 76, he was active almost up to his death; his last book (and perhaps in some ways his best) was published when he was 74. He was a singular exception to the general rule that good mathematicians do their best work when they are young." Pic. | ||
Revision as of 14:55, 17 June 2019
1860: On his phonautograph machine, Édouard-Léon Scott de Martinville makes the oldest known recording of an audible human voice.
1881: Mathematician Karl Mikhailovich Peterson dies. He discovered equations which were subsequently named the Gauss–Codazzi equations, fundamental to the theory of embedded hypersurfaces in a Euclidean space.
1882: Large herd of Flying bison (Bison pterobonasus) migrates from Periphery to New Minneapolis, Canada.
1912: Chemist Glenn T. Seaborg born. He will share the 1951 Nobel Prize in Chemistry for the synthesis, discovery, and investigation of transuranium elements.
1914: Mathematician and philosopher Charles Sanders Peirce dies. He is remembered as "the father of pragmatism".
1932: Mathematician Giuseppe Peano publishes new class of Gnomon algorithm functions which use set theory to detect and prevent crimes against mathematical constants.
2016: Chromatographic analysis of Violet Spiral reveals "at least two, probably three" previously unknown shades of violet.
2016: Theoretical physicist, theoretical chemist, and Nobel laureate Walter Kohn dies. He developed density functional theory, which makes it possible to calculate quantum mechanical electronic structure by equations involving the electronic density.
2019: The Great Nerd Giveaway begins. By the end of Minicon 54, hundreds of nerd items will have found new homes, with lots of fun generated in the process.