Template:Selected anniversaries/September 5: Difference between revisions
No edit summary |
No edit summary |
||
| Line 64: | Line 64: | ||
||1989: John Barkley Rosser Sr. (December 6, 1907 – September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus. In 1936, he proved Rosser's trick, a stronger version of Gödel's first incompleteness theorem, showing that the requirement for ω-consistency may be weakened to consistency. Pic: ||1907: John Barkley Rosser Sr. born ... logician. Pic: http://sites.jmu.edu/jmuresearch/tag/j-barkley-rosser/ | ||1989: John Barkley Rosser Sr. (December 6, 1907 – September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus. In 1936, he proved Rosser's trick, a stronger version of Gödel's first incompleteness theorem, showing that the requirement for ω-consistency may be weakened to consistency. Pic: ||1907: John Barkley Rosser Sr. born ... logician. Pic: http://sites.jmu.edu/jmuresearch/tag/j-barkley-rosser/ | ||
||1994: Shimshon Amitsur dies ... mathematician and scholar. | ||1909: Louis Bouveault dies ... chemist ... known for the Bouveault aldehyde synthesis and the Bouveault–Blanc reduction. Pic search scanty: https://www.google.com/search?q=Louis+Bouveault | ||
||1994: Shimshon Amitsur dies ... mathematician and scholar. Pic. | |||
||2002: David Todd Wilkinson dies ... cosmologist and astronomer ... specializing in the study of the cosmic microwave background radiation (CMB) left over from the Big Bang. | ||2002: David Todd Wilkinson dies ... cosmologist and astronomer ... specializing in the study of the cosmic microwave background radiation (CMB) left over from the Big Bang. | ||
Revision as of 05:56, 14 February 2019
1575: Mathematician Federico Commandino born. He will gain fame for his central role as translator of works of ancient mathematicians.
1588: Astronomer, physicist, engineer, philosopher, mathematician, and crime-fighter Galileo Galilei uses Gnomon algorithm techniques to locate alleged supervillain Anarchimedes.
1677: Theologian, natural philosopher, and diplomat Henry Oldenburg dies. He was one of the foremost intelligencers of Europe of the seventeenth century, and the creator of scientific peer review.
1725: Mathematician and theorist Jean-Étienne Montucla born. His deep interest in history of mathematics will become apparent with his publication of Histoire des Mathématiques, the first part appearing in 1758.
1947: Advances in dynastic cellular automata theory reveal new members of Bernoulli family.
1948: Physicist and chemist Richard C. Tolman dies. He made important contributions to theoretical cosmology in the years soon after Einstein's discovery of general relativity.
1948: Mathematician and crime-fighter Alice Beta publishes new class of Gnomon algorithm functions which detect and prevent crimes against mathematical constants.
1977: Voyager 1 spacecraft launches. It will visit Jupiter, Saturn, and Saturn's large moon Titan.
2018: Volume one of Confessions of a Quantum Artist-Engineer published.