Faculty

Institution

Unit

Venue

W. Hugh Woodin

Professor of Philosophy and of Mathematics

Harvard University

Affiliations

Harvard Faculty of Arts and Sciences

Philosophy

W. Hugh Woodin is currently serving as a Harvard Faculty Of Arts And Sciences Professor of Philosophy and of Mathematics at Harvard University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

W. Hugh Woodin

Harvard University

Professor of Philosophy and of Mathematics

You can click a keyword to filter the displayed items

mathematics applied mathematics mathematical logic computational complexity mathematical sciences computer science mathematical analysis formal methods logic in computer science computational mathematics automated reasoning algorithmic information theory computational complexity theory analytic number theory theoretical mathematics systems biology combinatorics mathematical biology inference mathematical optimization mammalian biology theoretical biology mathematical programming approximate reasoning automated deduction program slicing computability theory normative theory foundation of mathematics turing machine deterministic systems categorical logic categorical model model theory theoretical analysis proof theory algebraic logic set-theoretic topology formal mathematical reasoning history of logic philosophy of logic applied logic turing degrees reverse mathematics combinatorial principles enumeration degrees forcing axioms many woodin cardinals suslin sets iterated ultrapowers weak ultrafilter axiom

Notable Scholarly Works

Notable Federal Grants

Collaborators

On the Categoricity of Complete Second-Order Theories. Journal of Symbolic Logic (2025)

categorical logiccategorical modelpure mathematicsmodel theorymathematical scienceslogic in computer sciencecategory theorymathematical logicmathematicsphilosophical logic

Set Theory. Oberwolfach Reports (2025)

Turing Determinacy and Suslin Sets. New Zealand journal of mathematics (2022)

W Hugh Woodin

foundation of mathematicssuslin setsanalytic number theoryturing machineapplied mathematicsdeterministic systemsnumber theorydiscrete mathematicstheoretical mathematicsmathematicspure mathematics

Mice With Finitely Many Woodin Cardinals From Optimal Determinacy Hypotheses. Journal of Mathematical Logic (2019)

many woodin cardinalscombinatoricsmathematical biologysystems biologybiologymammalian biologyinferencetheoretical biologyevolutionary biology

Forcing, Iterated Ultrapowers, and Turing Degrees. Lecture notes series, Institute For Mathematical Sciences (2015)

Chitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

formal methodsiterated ultrapowersmathematicsapplied mathematics

The Weak Ultrafilter Axiom. Archive for Mathematical Logic (2015)

W. Hugh Woodin

mathematical programmingmathematical analysismathematical sciencesweak ultrafilter axiomtheoretical analysisproof theoryalgebraic logicmathematicsautomated reasoningtheory of computationgraph theorydiscrete mathematicsapplied mathematicsset-theoretic topologycomputer sciencelogic in computer scienceapproximate reasoningformal mathematical reasoningmathematical logic

E -Recursion, Forcing and C*-Algebras. Lecture notes series, Institute For Mathematical Sciences (2014)

Chitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

mathematical sciencesformal methodsapplied mathematicscomputer sciencemathematics

Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles. (2014)

Denis R. HirschfeldtChitat ChongQi FengTheodore A. SlamanW. Hugh WoodinYue Yang

computational mathematicsreverse mathematicsprogram slicingcomputational complexitycombinatorial principlescomputability theorymathematics

Infinity and Truth. Lecture notes series, Institute For Mathematical Sciences (2013)

Chitat ChongQi FengTheodore A SlamanW Hugh Woodin

real analysismathematical sciencestheoretical mathematicsepistemologyphilosophy of mathematicscritical theorycognitive sciencephilosophymathematical logicmathematics

Notes on Forcing Axioms. Lecture notes series, Institute For Mathematical Sciences (2013)

Stevo TodorcevicChitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

mathematical analysiscomputational complexityanalytic number theorynormative theoryformal methodsforcing axiomsalgorithmic information theoryapplied mathematicscomputational complexity theorymathematical logicmathematics

1
2
10 / page

W. Hugh Woodin

Professor of Philosophy and of Mathematics

Harvard University

Affiliations

Harvard Faculty of Arts and Sciences

Philosophy

W. Hugh Woodin is currently serving as a Harvard Faculty Of Arts And Sciences Professor of Philosophy and of Mathematics at Harvard University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

W. Hugh Woodin

Harvard University

Professor of Philosophy and of Mathematics

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

On the Categoricity of Complete Second-Order Theories. Journal of Symbolic Logic (2025)

categorical logiccategorical modelpure mathematicsmodel theorymathematical scienceslogic in computer sciencecategory theorymathematical logicmathematicsphilosophical logic

Set Theory. Oberwolfach Reports (2025)

Turing Determinacy and Suslin Sets. New Zealand journal of mathematics (2022)

W Hugh Woodin

foundation of mathematicssuslin setsanalytic number theoryturing machineapplied mathematicsdeterministic systemsnumber theorydiscrete mathematicstheoretical mathematicsmathematicspure mathematics

Mice With Finitely Many Woodin Cardinals From Optimal Determinacy Hypotheses. Journal of Mathematical Logic (2019)

many woodin cardinalscombinatoricsmathematical biologysystems biologybiologymammalian biologyinferencetheoretical biologyevolutionary biology

Forcing, Iterated Ultrapowers, and Turing Degrees. Lecture notes series, Institute For Mathematical Sciences (2015)

Chitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

formal methodsiterated ultrapowersmathematicsapplied mathematics

The Weak Ultrafilter Axiom. Archive for Mathematical Logic (2015)

W. Hugh Woodin

E -Recursion, Forcing and C*-Algebras. Lecture notes series, Institute For Mathematical Sciences (2014)

Chitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

mathematical sciencesformal methodsapplied mathematicscomputer sciencemathematics

Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles. (2014)

Denis R. HirschfeldtChitat ChongQi FengTheodore A. SlamanW. Hugh WoodinYue Yang

computational mathematicsreverse mathematicsprogram slicingcomputational complexitycombinatorial principlescomputability theorymathematics

Infinity and Truth. Lecture notes series, Institute For Mathematical Sciences (2013)

Chitat ChongQi FengTheodore A SlamanW Hugh Woodin

real analysismathematical sciencestheoretical mathematicsepistemologyphilosophy of mathematicscritical theorycognitive sciencephilosophymathematical logicmathematics

Notes on Forcing Axioms. Lecture notes series, Institute For Mathematical Sciences (2013)

Stevo TodorcevicChitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

1
2
10 / page

Similar Faculty Members

Donald Martin

Institution

University of California, Los Angeles

philosophical logic

philosophy

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Stephen Yablo

Institution

Massachusetts Institute of Technology

logical analysis

computational philosophy

Robert L. Causey

Institution

University of Texas at Austin

philosophical logic

philosophy of science

George Boolos

Institution

Massachusetts Institute of Technology

mathematical logic

philosophy of mathematics

Christopher Pincock

Institution

Ohio State University

philosophy

philosophy of physic

Neil Tennant

Institution

Ohio State University

evolutionary biology

computational philosophy

William Reinhardt

Institution

University of Colorado Boulder

philosophical logic

general system

Joshua B Schechter

Institution

Brown University

philosophical logic

philosophy

Paolo Mancosu

Institution

University of California, Berkeley

mathematics

philosophy

Similar Faculty Members

Donald Martin

Institution

University of California, Los Angeles

philosophical logic

philosophy

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Stephen Yablo

Institution

Massachusetts Institute of Technology

logical analysis

computational philosophy

Robert L. Causey

Institution

University of Texas at Austin

philosophical logic

philosophy of science

George Boolos

Institution

Massachusetts Institute of Technology

mathematical logic

philosophy of mathematics

Christopher Pincock

Institution

Ohio State University

philosophy

philosophy of physic

Neil Tennant

Institution

Ohio State University

evolutionary biology

computational philosophy

William Reinhardt

Institution

University of Colorado Boulder

philosophical logic

general system

Joshua B Schechter

Institution

Brown University

philosophical logic

philosophy

Paolo Mancosu

Institution

University of California, Berkeley

mathematics

philosophy