Template:Selected anniversaries/September 11: Difference between revisions
No edit summary |
No edit summary |
||
| Line 23: | Line 23: | ||
File:Joseph Nicollet.jpg|link=Joseph Nicollet (nonfiction)|1843: Mathematician and explorer [[Joseph Nicollet (nonfiction)|Joseph Nicollet]] dies. He mapped the Upper Mississippi River basin during the 1830s. | File:Joseph Nicollet.jpg|link=Joseph Nicollet (nonfiction)|1843: Mathematician and explorer [[Joseph Nicollet (nonfiction)|Joseph Nicollet]] dies. He mapped the Upper Mississippi River basin during the 1830s. | ||
||1847: Mary Watson Whitney born ... astronomer and academic. | ||1847: Mary Watson Whitney born ... astronomer and academic. Pic. | ||
File:James Braid.jpg|link=James Braid (nonfiction)|1859: Surgeon and gentleman scientist [[James Braid (nonfiction)|James Braid]] uses principles of hypnotherapy to detect and prevent [[crimes against mathematical constants]]. | File:James Braid.jpg|link=James Braid (nonfiction)|1859: Surgeon and gentleman scientist [[James Braid (nonfiction)|James Braid]] uses principles of hypnotherapy to detect and prevent [[crimes against mathematical constants]]. | ||
| Line 64: | Line 64: | ||
||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. | ||
||2012: Irving S. Reed dies ... mathematician and engineer. He is best known for co-inventing a class of algebraic error-correcting and error-detecting codes known as Reed–Solomon codes in collaboration with Gustave Solomon. He also co-invented the Reed–Muller code. Pic search yes: https://www.google.com/search?q=Irving+S.+Reed | |||
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: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. | ||
Revision as of 08:01, 31 March 2019
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.
1831: Mathematician Carl Jacobi appointed professor. After a four hour disputation in Latin, Jacobi was appointed professor at the University of Konigsberg. While there he inaugurated what was then a complete novelty in mathematics: research seminars for the more advanced students and interested colleagues.
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.
1973: Talk show host Peter Giblets exchanges record number of witticisms-per-minute with talk show host Dick Cavett on the highest-ever rated episode of the Peter Giblets Hour.
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.
2018: Signed first edition of Do Not Tease Monster stolen from the private collection of celebrity Peter Giblets by agents of the Forbidden Ratio gang, held for ransom.