Template:Selected anniversaries/September 5: Difference between revisions
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
||1533: Jacopo Zabarella born ... philosopher and logician. | ||1533: Jacopo Zabarella born ... philosopher and logician. | ||
File:Federico Commandino.jpg|link=Federico Commandino (nonfiction)|1575: Mathematician [[Federico Commandino (nonfiction)|Federico Commandino]] born. He will gain fame for his central role as translator of works of ancient mathematicians. | File:Federico Commandino.jpg|link=Federico Commandino (nonfiction)|1575: Mathematician [[Federico Commandino (nonfiction)|Federico Commandino]] born. He will gain fame for his central role as translator of works of ancient mathematicians. | ||
| Line 58: | Line 56: | ||
||1982: Edwin Ford Beckenbach dies ... mathematician. | ||1982: Edwin Ford Beckenbach dies ... mathematician. | ||
||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. | ||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. | ||1994: Shimshon Amitsur dies ... mathematician and scholar. | ||
Revision as of 11:54, 28 August 2018
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.
2017: Art thieves steal Six Seconds to Hell, demand million-dollar ransom.