Related Research Articles
In mathematics, specifically set theory, the continuum hypothesis is a hypothesis about the possible sizes of infinite sets. It states:
There is no set whose cardinality is strictly between that of the integers and the real numbers.
Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
In computer science and mathematical logic the Turing degree or degree of unsolvability of a set of natural numbers measures the level of algorithmic unsolvability of the set.
In computability theory, the Turing jump or Turing jump operator, named for Alan Turing, is an operation that assigns to each decision problem X a successively harder decision problem X′ with the property that X′ is not decidable by an oracle machine with an oracle for X.
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis.
In set theory, an ordinal number α is an admissible ordinal if Lα is an admissible set ; in other words, α is admissible when α is a limit ordinal and Lα ⊧ Σ0-collection. The term was coined by Richard Platek in 1966.
James Earl Baumgartner was an American mathematician who worked in set theory, mathematical logic and foundations, and topology.
In proof theory, ordinal analysis assigns ordinals to mathematical theories as a measure of their strength. If theories have the same proof-theoretic ordinal they are often equiconsistent, and if one theory has a larger proof-theoretic ordinal than another it can often prove the consistency of the second theory.
Richard Arnold Shore is a professor of mathematics at Cornell University who works in recursion theory. He is particularly known for his work on , the partial order of the Turing degrees.
In axiomatic set theory, a mathematical discipline, a morass is an infinite combinatorial structure, used to create "large" structures from a "small" number of "small" approximations. They were invented by Ronald Jensen for his proof that cardinal transfer theorems hold under the axiom of constructibility. A far less complex but equivalent variant known as a simplified morass was introduced by Velleman, and the term morass is now often used to mean these simpler structures.
András Hajnal was a professor of mathematics at Rutgers University and a member of the Hungarian Academy of Sciences known for his work in set theory and combinatorics.
Julia Frandsen Knight is an American mathematician, specializing in model theory and computability theory. She is the Charles L. Huisking Professor of Mathematics at the University of Notre Dame and director of the graduate program in mathematics there.
Richard Zach is a Canadian logician, philosopher of mathematics, and historian of logic and analytic philosophy. He is currently Professor of Philosophy at the University of Calgary.
Joel David Hamkins is an American mathematician and philosopher who is the John Cardinal O'Hara Professor of Logic at the University of Notre Dame. He has made contributions in mathematical and philosophical logic, set theory and philosophy of set theory, in computability theory, and in group theory.
Jean Ann Larson is an American mathematician. She is a set theorist, a historian of mathematical logic, and a professor at the University of Florida. She was the first woman to earn a doctorate in mathematics from Dartmouth College, and is known for her research in infinitary combinatorics and the theory of linear spaces.
Janet Lynn Beery is an American mathematician and historian of mathematics who serves as a professor of mathematics and computer science at the University of Redlands. She also served as the editor-in-chief of mathematics history journal Convergence from 2009 to 2019, and has authored a book on the mathematics of Thomas Harriot.
Dorothy Irene Wallace Andreoli is an American number theorist, mathematical biologist, and mathematics educator. She is a professor of mathematics at Dartmouth College.
The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, associated with an annual lecture at the association's general meeting. The award is named after Kurt Gödel and has been given annually since 1990.
References
- 1 2 "Marcia J. Groszek", Faculty directory, Dartmouth College , retrieved 2019-08-18
- ↑ Henrion, Claudia (1997), Women in Mathematics: The Addition of Difference, Indiana University Press, pp. xiii, 10, 16–17, 76, 81, 274, ISBN 9780253114990
- ↑ Marcia Groszek at the Mathematics Genealogy Project
- ↑ Lewis, Andrew E. M. (2008), "On a question of Slaman and Groszek", Proceedings of the American Mathematical Society , 136 (10): 3663–3668, doi: 10.1090/S0002-9939-08-09345-3 , MR 2415052
- ↑ Golshani, Mohammad; Kanovei, Vladimir; Lyubetsky, Vassily (2017), "A Groszek–Laver pair of undistinguishable -classes", Mathematical Logic Quarterly, 63 (1–2): 19–31, arXiv: 1601.03477 , doi:10.1002/malq.201500020, MR 3647830, S2CID 27302694
- ↑ "ASL Meetings" (PDF), ASL Newsletter, Association for Symbolic Logic, pp. 3–5, November 2013, retrieved 2019-08-30
- ↑ "Marcia Groszek" (PDF), Faculty Highlights, Math is Power: the newsletter of the Dartmouth College Department of Mathematics, p. 4, September 2012
- ↑ Logic in the Undergraduate Mathematics Curriculum, ASL Committee on Logic Education, retrieved 2019-08-18
- ↑ Thrall, Erica (September 23, 1997), "Videos highlight math series", The Dartmouth, retrieved 2019-08-18
| International | |
|---|---|
| National | |
| Academics | |
