Template:Selected anniversaries/February 28: Difference between revisions

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


File:Der Reichsspritzenmeister.jpg|link=Der Reichsspritzenmeister|1944: [[Der Reichsspritzenmeister]] develops new drug to stimulate [[crimes against mathematical constants]].
File:Der Reichsspritzenmeister.jpg|link=Der Reichsspritzenmeister|1944: [[Der Reichsspritzenmeister]] develops new drug to stimulate [[crimes against mathematical constants]].
||Michael John Caldwell Gordon (b. 28 February 1948) was a leading British computer scientist. He led the development of the HOL theorem prover. The HOL system is an environment for interactive theorem proving in a higher-order logic.


||1953 – James Watson and Francis Crick announce to friends that they have determined the chemical structure of DNA; the formal announcement takes place on April 25 following publication in April's Nature (pub. April 2).
||1953 – James Watson and Francis Crick announce to friends that they have determined the chemical structure of DNA; the formal announcement takes place on April 25 following publication in April's Nature (pub. April 2).

Revision as of 05:47, 1 April 2018