Template:Selected anniversaries/June 16: Difference between revisions

From Gnomon Chronicles
Jump to navigation Jump to search
No edit summary
No edit summary
Line 49: Line 49:
John_Tukey.jpg|link=John Tukey (nonfiction)|1915: Mathematician and academic [[John Tukey (nonfiction)|John Tukey]] born. He will make important contributions to statistical analysis, including the box plot.
John_Tukey.jpg|link=John Tukey (nonfiction)|1915: Mathematician and academic [[John Tukey (nonfiction)|John Tukey]] born. He will make important contributions to statistical analysis, including the box plot.


||1920: Raymond Lemieux born ... chemist and academic.
||1920: Raymond Lemieux born ... chemist and academic. Pic.
 
||1927: Robert Kraft born ... astronomer and academic. Kraft performed pioneering work on Cepheid variables, stellar rotation, novae, and the chemical evolution of the Milky Way. His name is also associated with the Kraft break: the abrupt change in the average rotation rate of main sequence stars around spectral type F8. Pic.


||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
||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

Revision as of 14:58, 23 May 2019