Template:Selected anniversaries/September 11: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 37: Line 37:
||1910: Fritz Karl Preikschat born ... electrical and telecommunications engineer and inventor. Pic.
||1910: Fritz Karl Preikschat born ... electrical and telecommunications engineer and inventor. Pic.


||1917: Kenkichi Iwasawa born ... mathematician who is known for his influence on algebraic number theory.  Pic search yes: https://www.google.com/search?q=kenkichi+iwasawa
||1917: Kenkichi Iwasawa born ... mathematician who is known for his influence on algebraic number theory.  Pic search.


||1926: Heini Halberstam born ... mathematician, working in the field of analytic number theory. He is one of the two mathematicians after whom the Elliott–Halberstam conjecture is named. Pic search: https://www.google.com/search?q=heini+halberstam
||1926: Heini Halberstam born ... mathematician, working in the field of analytic number theory. He is one of the two mathematicians after whom the Elliott–Halberstam conjecture is named. Pic search.


||1936: Herman Haga dies ... physicist. Pic.
||1936: Herman Haga dies ... physicist. Pic.
Line 67: Line 67:
||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
||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|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 05:46, 11 September 2020