Peter Koellner
Encyclopedia
Peter Koellner is the John L. Loeb Associate Professor of the Humanities at Harvard University
. He received his Ph.D from MIT in 2003. His main areas of research are mathematical logic
, specifically set theory
, and philosophy of mathematics
, philosophy of physics
, analytic philosophy
, and philosophy of language
.
In 2008, Koellner was awarded a Kurt Gödel Centenary Research Prize Fellowship. Currently, Koellner serves on the American Philosophical Association
's Advisory Committee to the Eastern Division Program Committee in the area of Logic.
According to a review by Pierre Matet on Zentralblatt MATH
, his joint paper with Hugh Woodin
Incompatible Ω-Complete Theories contains an illuminating discussion of the issues involved, which makes it recommended reading for anyone interested in modern set theory.
Harvard University
Harvard University is a private Ivy League university located in Cambridge, Massachusetts, United States, established in 1636 by the Massachusetts legislature. Harvard is the oldest institution of higher learning in the United States and the first corporation chartered in the country...
. He received his Ph.D from MIT in 2003. His main areas of research are mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
, specifically set theory
Set theory
Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics...
, and philosophy of mathematics
Philosophy of mathematics
The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of mathematics and to understand the place of...
, philosophy of physics
Philosophy of physics
In philosophy, the philosophy of physics studies the fundamental philosophical questions underlying modern physics, the study of matter and energy and how they interact. The philosophy of physics begins by reflecting on the basic metaphysical and epistemological questions posed by physics:...
, analytic philosophy
Analytic philosophy
Analytic philosophy is a generic term for a style of philosophy that came to dominate English-speaking countries in the 20th century...
, and philosophy of language
Philosophy of language
Philosophy of language is the reasoned inquiry into the nature, origins, and usage of language. As a topic, the philosophy of language for analytic philosophers is concerned with four central problems: the nature of meaning, language use, language cognition, and the relationship between language...
.
In 2008, Koellner was awarded a Kurt Gödel Centenary Research Prize Fellowship. Currently, Koellner serves on the American Philosophical Association
American Philosophical Association
The American Philosophical Association is the main professional organization for philosophers in the United States. Founded in 1900, its mission is to promote the exchange of ideas among philosophers, to encourage creative and scholarly activity in philosophy, to facilitate the professional work...
's Advisory Committee to the Eastern Division Program Committee in the area of Logic.
According to a review by Pierre Matet on Zentralblatt MATH
Zentralblatt MATH
Zentralblatt MATH is a service providing reviews and abstracts for articles in pure and applied mathematics, published by Springer Science+Business Media. It is a major international reviewing service which covers the entire field of mathematics...
, his joint paper with Hugh Woodin
W. Hugh Woodin
William Hugh Woodin is an American mathematician and set theorist at University of California, Berkeley. He has made many notable contributions to the theory of inner models and determinacy. A type of large cardinal, the Woodin cardinal, bears his name.-Biography:Born in Tucson, Arizona, Woodin...
Incompatible Ω-Complete Theories contains an illuminating discussion of the issues involved, which makes it recommended reading for anyone interested in modern set theory.
Papers
- On the Question of Absolute Undecidability, Philosophia MathematicaPhilosophia MathematicaPhilosophia Mathematica is a philosophical journal devoted specifically to philosophy of mathematics. The journal publishes three issues per year....
(III) 14 (2006) - On Reflection Principles, Annals of Pure and Applied Logic, Volume 157, Issues 2-3, February 2009, Pages 206-219, Kurt Gödel Centenary Research Prize Fellowships
- Incompatible Ω-Complete Theories (with Hugh WoodinW. Hugh WoodinWilliam Hugh Woodin is an American mathematician and set theorist at University of California, Berkeley. He has made many notable contributions to the theory of inner models and determinacy. A type of large cardinal, the Woodin cardinal, bears his name.-Biography:Born in Tucson, Arizona, Woodin...
), Journal of Symbolic LogicJournal of Symbolic LogicThe Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic.Founded in 1936, the journal publishes articles on mathematical logic....
, Volume 74, Issue 4 (2009), 1155-1170.http://projecteuclid.org/euclid.jsl/1254748685. - Large Cardinals from Determinacy (with Hugh Woodin), to appear in Handbook of Set Theory
- Strong Logics of First and Second Order, to appear in Bulletin of Symbolic Logic
- Truth in Mathematics: The Question of Pluralism (to appear in New Waves in Philosophy of Mathematics)