Template:Selected anniversaries/January 5: Difference between revisions
No edit summary |
No edit summary |
||
Line 46: | Line 46: | ||
||1933: Construction of the Golden Gate Bridge begins in San Francisco Bay. | ||1933: Construction of the Golden Gate Bridge begins in San Francisco Bay. | ||
||1945: Mathematician Dmitry | File:Dmitry_Mirimanoff.jpg|link=Dmitry Mirimanoff (nonfiction)|1945: Mathematician [[Dmitry Mirimanoff (nonfiction)|Dmitry Mirimanoff]] dies. In 1917, he introduced (though not as explicitly as John von Neumann later) the cumulative hierarchy of sets and the notion of von Neumann ordinals; although he introduced a notion of regular (and well-founded set) he did not consider regularity as an axiom, but also explored what is now called non-well-founded set theory, and had an emergent idea of what is now called bisimulation. | ||
||1951: Joseph Fels Ritt dies ... mathematician. | ||1951: Joseph Fels Ritt dies ... mathematician. |
Revision as of 07:34, 13 September 2018
1625: Astronomer Simon Marius dies. He discovered the four largest moons of Jupiter, independently of Galileo Galilei.
1723: Astronomer and mathematician Nicole-Reine Lepaute born. She will predict the return of Halley's Comet, calculate the timing of a solar eclipse, and construct a group of catalogs for the stars.
1812: Joseph Marie Jacquard has dream which inspires him to build a new type of scrying engine.
1895: French army officer Alfred Dreyfus is stripped of his rank and sentenced to life imprisonment on Devil's Island.
1932: Novelist, literary critic, and philosopher Umberto Eco born. He will cite James Joyce and Jorge Luis Borges as the two modern authors who will have influenced his work the most.
1945: Mathematician Dmitry Mirimanoff dies. In 1917, he introduced (though not as explicitly as John von Neumann later) the cumulative hierarchy of sets and the notion of von Neumann ordinals; although he introduced a notion of regular (and well-founded set) he did not consider regularity as an axiom, but also explored what is now called non-well-founded set theory, and had an emergent idea of what is now called bisimulation.