Summary
This award a conference taking place at University of California, Irvine from February 9 to February 12, 2026. The title is: Set Theory: Larger Cardinals, Forcing and Higher Order Languages. The meeting is devoted to advances in finding a critical understanding the underlying assumptions and logic that mathematicians use. What separates mathematics from other fields of science is that mathematical facts are known for certain, and not subject to data errors, or a changing environment. The method used for this is that of proofs. For a mathematical fact (such as the Central Limit Theorem) to be
