Template:Selected anniversaries/April 19: Difference between revisions

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


||1921 – Mary Jackson, African American mathematician and aerospace engineer (d. 2005)
||1921 – Mary Jackson, African American mathematician and aerospace engineer (d. 2005)
||Leon Albert Henkin (b. April 19, 1921) 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.


||1930 – F. Albert Cotton, American chemist and academic (d. 2007)
||1930 – F. Albert Cotton, American chemist and academic (d. 2007)

Revision as of 17:34, 9 April 2018