Template:Selected anniversaries/June 16: Difference between revisions

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


||1920: Raymond Lemieux born ... chemist and academic.
||1920: Raymond Lemieux born ... chemist and academic.
||1927: Lars Svenonius born ... logician and philosopher. He contributed to model theory;  Svenonius' Theorem states that if the interpretation of a predicate in any model of a first-order theory is invariant under permutations ("automorphisms") of the model fixing the other predicates, then the interpretation of that predicate is definable in every model by a formula involving only the other predicates; furthermore only finitely many such defining formulas are required. Pic search yes: https://www.google.com/search?q=Lars+Svenonius


||1930: Elmer Ambrose Sperry dies ... inventor, co-invented the gyrocompass.
||1930: Elmer Ambrose Sperry dies ... inventor, co-invented the gyrocompass.

Revision as of 05:45, 24 March 2019