Template:Selected anniversaries/May 9: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 24: Line 24:
||1898: Arend Heyting born ... mathematician and logician. He will give the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics. Pic.
||1898: Arend Heyting born ... mathematician and logician. He will give the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics. Pic.


||1904: George Johnston Allman dies ... professor, mathematician, classical scholar, and historian of ancient Greek mathematics.
||1904: George Johnston Allman dies ... professor, mathematician, classical scholar, and historian of ancient Greek mathematics. Pic.


||1904: The steam locomotive City of Truro becomes the first steam engine in Europe to exceed 100 mph (160 km/h).
||1904: The steam locomotive City of Truro becomes the first steam engine in Europe to exceed 100 mph (160 km/h).

Revision as of 05:20, 1 February 2019