Template:Selected anniversaries/January 29: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
 
(One intermediate revision by the same user not shown)
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: https://alchetron.com/Joseph-Kruskal
||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: https://www.google.com/search?q=O.+Timothy+O%27Meara
||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
|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: https://www.google.com/search?q=William+Francis+Gray+Swann
||1962: William Francis Gray Swann dies ... physicist. Pic search.


File:Samuel Eilenberg 1970.jpg|link=Samuel Eilenberg (nonfiction)|1970: Mathematician and crime-fighter [[Samuel Eilenberg (nonfiction)|Samuel Eilenberg]] applies the telescoping cancellation idea to projective [[Gnomon algorithm]] modules, revealing new techniques for detecting and preventing [[crimes against mathematical constants]].


||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: https://www.google.com/search?q=John+Macnaghten+Whittaker
||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, see: https://www.google.com/search?q=viktor+Aleksandrovich+Gorbunov Pic.
File:When Herring Met Salad.jpg|link=When Herring Met Salad|1989: Premiere of '''''[[When Herring Met Salad]]''''', an American romantic comedy film about a chef (Billy Crystal) and a restaurateur (Meg Ryan)  which follows the their lives from the time they meet in Chicago just before sharing a cross-country drive, through twelve years of opening new restaurants in New York City. The film addresses but fails to resolve questions along the lines of "Can men and women ever open a restaurant together?"
 
||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>

Latest revision as of 12:04, 27 January 2022