Template:Selected anniversaries/January 29: Difference between revisions
No edit summary |
No edit summary |
||
| Line 58: | Line 58: | ||
File:Abdus Salam 1987.jpg|link=Abdus Salam (nonfiction)|1926: Theoretical physicist [[Abdus Salam (nonfiction)|Mohammad Abdus Salam]] born. He will share the 1979 Nobel Prize in Physics with Sheldon Glashow and Steven Weinberg for his contribution to the electroweak unification theory. | File:Abdus Salam 1987.jpg|link=Abdus Salam (nonfiction)|1926: Theoretical physicist [[Abdus Salam (nonfiction)|Mohammad Abdus Salam]] born. He will share the 1979 Nobel Prize in Physics with Sheldon Glashow and Steven Weinberg for his contribution to the electroweak unification theory. | ||
||1928: Joseph Kruskal born ... mathematician and computer scientist (d. 2010). Pic | ||1928: Joseph Kruskal born ... mathematician and computer scientist (d. 2010). Pic search. | ||
||1928: Onorato Timothy O'Meara born ... mathematician known for his work in number theory, linear groups and quadratic forms. Pic search: | ||1928: Onorato Timothy O'Meara born ... mathematician known for his work in number theory, linear groups and quadratic forms. Pic search: O’Meara Alt spelling | ||
File:Paul Sally 2008.jpg|link=Paul Sally (nonfiction)|1933: Mathematician and academic [[Paul Sally (nonfiction)|Paul Sally]] born. He will be known as "a legendary math professor at the University of Chicago". | File:Paul Sally 2008.jpg|link=Paul Sally (nonfiction)|1933: Mathematician and academic [[Paul Sally (nonfiction)|Paul Sally]] born. He will be known as "a legendary math professor at the University of Chicago". | ||
| Line 75: | Line 74: | ||
File:Andrzej Trybulec.jpg|link=Andrzej Trybulec (nonfiction)|1941: Mathematician and computer scientist [[Andrzej Trybulec (nonfiction)|Andrzej Trybulec]] born. He will develop the Mizar system: a formal language for writing mathematical definitions and proofs, a proof assistant which is able to mechanically check proofs written in this language, and a library of formalized mathematics which can be used in the proof of new theorems. | File:Andrzej Trybulec.jpg|link=Andrzej Trybulec (nonfiction)|1941: Mathematician and computer scientist [[Andrzej Trybulec (nonfiction)|Andrzej Trybulec]] born. He will develop the Mizar system: a formal language for writing mathematical definitions and proofs, a proof assistant which is able to mechanically check proofs written in this language, and a library of formalized mathematics which can be used in the proof of new theorems. | ||
||1962: William Francis Gray Swann dies ... physicist. Pic search | ||1962: William Francis Gray Swann dies ... physicist. Pic search. | ||
||1970 Yuri Matiyasevich presents proof of Hilbert's 10th Problem. Having been frustrated by the problem, he had given up hope of solving it. In December of the previous year after having been asked to review an article by Julia Robinson, he was inspired by the novelty of her approach and went back to work on H10. By Jan 3, 1970 he had a proof. He would present the proof on January 29, 1970 https://pballew.blogspot.com/2019/01/on-this-day-in-math-january-29.html | ||1970 Yuri Matiyasevich presents proof of Hilbert's 10th Problem. Having been frustrated by the problem, he had given up hope of solving it. In December of the previous year after having been asked to review an article by Julia Robinson, he was inspired by the novelty of her approach and went back to work on H10. By Jan 3, 1970 he had a proof. He would present the proof on January 29, 1970 https://pballew.blogspot.com/2019/01/on-this-day-in-math-january-29.html | ||
| Line 83: | Line 81: | ||
||1982: Microbiologist and academic Roger Stanier dies. Stanier was influential in the development of modern microbiology; he made important contributions to the taxonomy of bacteria, including the classification of blue-green algae as cyanobacteria. Pic. | ||1982: Microbiologist and academic Roger Stanier dies. Stanier was influential in the development of modern microbiology; he made important contributions to the taxonomy of bacteria, including the classification of blue-green algae as cyanobacteria. Pic. | ||
||1984: Mathematician and academic John Macnaghten Whittaker dies. He worked in complex analysis, and also contributed to the cardinal function theory of his father, E. T. Whittaker. Pic search | ||1984: Mathematician and academic John Macnaghten Whittaker dies. He worked in complex analysis, and also contributed to the cardinal function theory of his father, E. T. Whittaker. Pic search. | ||
||1999: Mathematician and academic Viktor Aleksandrovich Gorbunov dies. He will work in algebraic systems, publishing applications of quasivarieties to graphs, convex geometries, and formal languages. No wiki, | ||1999: Mathematician and academic Viktor Aleksandrovich Gorbunov dies. He will work in algebraic systems, publishing applications of quasivarieties to graphs, convex geometries, and formal languages. No wiki, Pic search. | ||
||2015: Colleen McCullough dies ... neuroscientist, author, and academic. Pic. | ||2015: Colleen McCullough dies ... neuroscientist, author, and academic. Pic. | ||
</gallery> | </gallery> | ||
Revision as of 18:36, 19 January 2022
1688: Astronomer, philosopher, theologian, and mystic Emanuel Swedenborg born. In later life he will receive scientific knowledge in a spontaneous manner from angels.
1810: Mathematician Ernst Kummer born. Kummer will contribute to abstract algebra; in ring theory, he will introduce the term ideal.
1888: Artist, musician, author, and poet Edward Lear dies. Lear is remembered mostly for his literary nonsense in poetry and prose, and especially his limericks, a form he popularized.
1926: Theoretical physicist Mohammad Abdus Salam born. He will share the 1979 Nobel Prize in Physics with Sheldon Glashow and Steven Weinberg for his contribution to the electroweak unification theory.
1933: Mathematician and academic Paul Sally born. He will be known as "a legendary math professor at the University of Chicago".
1934: Chemist Fritz Haber dies. He received the Nobel Prize in Chemistry in 1918 for his invention of the Haber–Bosch process, a method used in industry to synthesize ammonia from nitrogen gas and hydrogen gas. Haber also did pioneering work in chemical warfare, weaponizing chlorine and other poisonous gases during World War I.
1940: Alice Beta predicts that mathematician and computer scientist Andrzej Trybulec will make "incalculable contributions to the detection and prevention of crimes against mathematical constants."
1941: Mathematician and computer scientist Andrzej Trybulec born. He will develop the Mizar system: a formal language for writing mathematical definitions and proofs, a proof assistant which is able to mechanically check proofs written in this language, and a library of formalized mathematics which can be used in the proof of new theorems.