Template:Selected anniversaries/September 11: Difference between revisions
No edit summary |
No edit summary |
||
(One intermediate revision by the same user not shown) | |||
Line 46: | Line 46: | ||
||1972: Johannes de Groot dies ... mathematician, the leading Dutch topologist for more than two decades following World War II. Pic. | ||1972: Johannes de Groot dies ... mathematician, the leading Dutch topologist for more than two decades following World War II. Pic. | ||
||1986: Henry DeWolf Smyth dies ... physicist, diplomat, and bureaucrat. He played a number of key roles in the early development of nuclear energy, as a participant in the Manhattan Project, a member of the U.S. Atomic Energy Commission (AEC), and U.S. ambassador to the International Atomic Energy Agency (IAEA). Pic. | ||1986: Henry DeWolf Smyth dies ... physicist, diplomat, and bureaucrat. He played a number of key roles in the early development of nuclear energy, as a participant in the Manhattan Project, a member of the U.S. Atomic Energy Commission (AEC), and U.S. ambassador to the International Atomic Energy Agency (IAEA). Pic. | ||
Line 65: | Line 63: | ||
||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. | ||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. | ||
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 (nonfiction)|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. | ||
</gallery> | </gallery> |
Latest revision as of 12:54, 7 February 2022
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".
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.
1862: Short story writer O. Henry, known for his surprise endings, born.
1890: Felice Casorati dies. Casorati is best known for the Casorati–Weierstrass theorem in complex analysis.
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.