Template:Selected anniversaries/November 16: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 50: Line 50:
||1965: Harry Blackstone, Sr., dies ... magician. Pic.
||1965: Harry Blackstone, Sr., dies ... magician. Pic.


||1965: Stanisław Jaśkowski born ... logician who made important contributions to proof theory and formal semantics. Jaśkowski is considered to be one of the founders of natural deduction, which he discovered independently of Gerhard Gentzen in the 1930s.
||1965: Stanisław Jaśkowski born ... logician who made important contributions to proof theory and formal semantics. Jaśkowski is considered to be one of the founders of natural deduction, which he discovered independently of Gerhard Gentzen in the 1930s. Pic.


||1965: Venera program: The Soviet Union launches the Venera 3 space probe toward Venus, which will be the first spacecraft to reach the surface of another planet.
||1965: Venera program: The Soviet Union launches the Venera 3 space probe toward Venus, which will be the first spacecraft to reach the surface of another planet.

Revision as of 06:24, 18 April 2019