Template:Selected anniversaries/September 11: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 65: Line 65:
||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.


File:Do_Not_Tease_Monster_by_Karl_Jones_800x600.jpg|link=Do Not Tease Monster (nonfiction)|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.
File:Do_Not_Tease_Monster_by_Karl_Jones_800x600.jpg|link=Do Not Tease Monster (nonfiction)|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.


</gallery>
</gallery>

Revision as of 04:19, 11 September 2021