Template:Selected anniversaries/November 1: Difference between revisions

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


||1999 – Theodore Hall, American physicist and spy (b. 1925)
||1999 – Theodore Hall, American physicist and spy (b. 1925)
||Leon Albert Henkin (d. November 1, 2006) was a logician at the University of California, Berkeley. He was principally known for "Henkin construction", his version of the proof of the semantic completeness of standard systems of first-order logic. Pic.


||2008 – Jacques Piccard, Swiss oceanographer and engineer (b. 1922)
||2008 – Jacques Piccard, Swiss oceanographer and engineer (b. 1922)

Revision as of 17:34, 9 April 2018