Timeline: Modern (nonfiction): Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 325: Line 325:


File:Andrzej Trybulec.jpg|link=Andrzej Trybulec (nonfiction)|1941 Jan. 29: Mathematician and computer scientist [[Andrzej Trybulec (nonfiction)|Andrzej Trybulec]] born. He will develop 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)|1941 Jan. 29: Mathematician and computer scientist [[Andrzej Trybulec (nonfiction)|Andrzej Trybulec]] born. He will develop 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:Lazăr Edeleanu.png|link=Lazăr Edeleanu (nonfiction)|1941 Apr. 4: Chemist [[Lazăr Edeleanu (nonfiction)|Lazăr Edeleanu]] dies. Edeleanu invented the modern method of refining crude oil, was the first chemist to synthesize amphetamine.
File:Ray Tomlinson.jpg|link=Ray Tomlinson (nonfiction)|1941 Apr. 23:  Computer programmer and engineer [[Ray Tomlinson (nonfiction)|Ray Tomlinson]] born. He will implement the first email system on the the ARPANET system, including the "@" separator which is still in use today.
File:Ray Tomlinson.jpg|link=Ray Tomlinson (nonfiction)|1941 Apr. 23:  Computer programmer and engineer [[Ray Tomlinson (nonfiction)|Ray Tomlinson]] born. He will implement the first email system on the the ARPANET system, including the "@" separator which is still in use today.
File:U-110.jpg|link=German submarine U-110 (1940) (nonfiction)|1941 May 9: The [[German submarine U-110 (1940) (nonfiction)|German submarine U-110]] is captured by the Royal Navy. On board is the latest Enigma machine which Allied cryptographers later use to break coded German messages.
File:U-110.jpg|link=German submarine U-110 (1940) (nonfiction)|1941 May 9: The [[German submarine U-110 (1940) (nonfiction)|German submarine U-110]] is captured by the Royal Navy. On board is the latest Enigma machine which Allied cryptographers later use to break coded German messages.

Revision as of 04:05, 2 September 2020

Timeline of non-fictional "On This Day in History" items ordered by date from 1900 AD to today.

The Timeline comprises non-fictional "On This Day in History" items.

See also Early Timeline and Middle Timeline

1900s

2000s

See also Early Timeline and Middle Timeline