Template:Selected anniversaries/November 1: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 68: Line 68:
||1996: Maxwell or Max Erich (Eric) Reissner dies ... civil engineer and mathematician. He is remembered by the New York Times (1996) as the "mathematician whose work in applied mechanics helped broaden the theoretical understanding of how solid objects react under stress and led to advances in both civil and aerospace engineering." Pic.
||1996: Maxwell or Max Erich (Eric) Reissner dies ... civil engineer and mathematician. He is remembered by the New York Times (1996) as the "mathematician whose work in applied mechanics helped broaden the theoretical understanding of how solid objects react under stress and led to advances in both civil and aerospace engineering." Pic.


||1999: Theodore Hall dies ..American physicist and an atomic spy for the Soviet Union, who, during his work on US efforts to develop the first and second atomic bombs during World War II (the Manhattan Project), gave a detailed description of the "Fat Man" plutonium bomb, and of several processes for purifying plutonium, to Soviet intelligence. Pic.
File:Theodore Hall ID badge.png|link=Theodore Hall (nonfiction)|1999: American physicist and Soviet spy [[Theodore Hall (nonfiction)|Theodore Hall]] dies.  During his work on US efforts to develop the first and second atomic bombs during World War II (the Manhattan Project), Hall gave a detailed description of the "Fat Man" plutonium bomb, and of several processes for purifying plutonium, to Soviet intelligence.  


||2006: Leon Albert Henkin dies ... 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.
||2006: Leon Albert Henkin dies ... 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.

Revision as of 18:04, 1 November 2019