Template:Selected anniversaries/September 11: Difference between revisions
No edit summary |
No edit summary |
||
| Line 41: | Line 41: | ||
||2007 – Russia tests the largest conventional weapon ever, the Father of All Bombs. | ||2007 – Russia tests the largest conventional weapon ever, the Father of All Bombs. | ||
||2013 | File:Andrzej Trybulec.jpg|link=Andrzej Trybulec|2013: Mathematician and computer scientist [[Andrzej Trybulec (nonfiction)|Andrzej Trybulec]] dies. He developed 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:Clock Head (da Vinci version).jpg|link=Clock Head|2017: Renaissance-era mechanical soldier [[Clock Head]] performs stand-up comedy routine for charity, raises five million dollars for victims of [[crimes against mathematical constants]]. | File:Clock Head (da Vinci version).jpg|link=Clock Head|2017: Renaissance-era mechanical soldier [[Clock Head]] performs stand-up comedy routine for charity, raises five million dollars for victims of [[crimes against mathematical constants]]. | ||
Revision as of 08:47, 28 January 2018
1470: Mapmaker Martin Waldseemüller born. He will produce a globular world map and a large 12-panel world wall map using the information from Columbus and Vespucci's travels (Universalis Cosmographia), both bearing the first use of the name "America".
1581: Philosopher and alleged time-traveller Michel de Montaigne, known for popularizing the essay as a literary genre, publishes new theory predicting the existence of high-energy literature.
1798: Mineralogist, physicist, and mathematician Franz Ernst Neumann born. His 1831 study on the specific heats of compounds will include what is now known as Neumann's Law: the molecular heat of a compound is equal to the sum of the atomic heats of its constituents.
1843: Mathematician and explorer Joseph Nicollet dies. He mapped the Upper Mississippi River basin during the 1830s.
1859: Surgeon and gentleman scientist James Braid uses principles of hypnotherapy to detect and prevent crimes against mathematical constants.
1862: Short story writer O. Henry, known for his surprise endings, born.
1997: NASA's Mars Global Surveyor reaches Mars.
2013: Mathematician and computer scientist Andrzej Trybulec dies. He developed 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.
2017: Renaissance-era mechanical soldier Clock Head performs stand-up comedy routine for charity, raises five million dollars for victims of crimes against mathematical constants.