Faculty

Institution

Unit

Venue

Stephen G. Simpson

Emeritus Professor of Mathematics

Vanderbilt University

Affiliations

College of Arts and Science

Mathematics

Stephen G. Simpson is currently serving as a College Of Arts And Science Emeritus Professor of Mathematics at Vanderbilt 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

Stephen G. Simpson

Vanderbilt University

Emeritus Professor of Mathematics

You can click a keyword to filter the displayed items

mathematics mathematical logic applied mathematics mathematical sciences pure mathematics logic in computer science set theory foundation of mathematics computer science combinatorial theory computational complexity combinatorics applied logic reverse mathematics geometric topology extremal set theory mass problems linguistics formal methods automated reasoning computational complexity theory general systems second order arithmetic number theory classical logic algorithmic information theory measure theory algebraic combinatorics probability theory approximate reasoning higher-order logic proof complexity spectral theory dual form mathematical optimization fuzzy logic entropy mathematics education analytic number theory proof theory lattice theory philosophy of logic countable algebra admissible ordinals sat solving global analysis theoretical analysis descriptional complexity symbolic dynamics function theory algebraic analysis existence axioms weak subsystems minimal covers partial realizations finite combinatorial principle predicative analysis nonlinear dynamics polyhedron machine learning research high energy physics survivability matrix factorization applied algebra interpretability language comprehension entropy production enumerative geometry information propagation theoretical prediction mathematical models partial evaluation nsf grants ordinal numbers hilbert basis theorem a-finite injury method philosophy of mathematics

Notable Scholarly Works

Notable Federal Grants

Collaborators

Pseudojump Inversion in Special Π10 Classes of Sets. Lecture notes series, Institute For Mathematical Sciences (2025)

pseudojump inversionpure mathematicsalgebraic combinatoricspartially ordered setcombinatorial theorymathematicsextremal set theoryset theorymathematical sciences

Turing Degrees of Hyperjumps. Lecture notes series, Institute For Mathematical Sciences (2025)

Hayden R. JananthanStephen G. Simpson

turing machinealgorithmic information theorycomputational complexityapplied mathematicslinguisticscomputational complexity theoryparticle physics

Reverse Mathematics. Springer eBooks (2024)

John Stillwell

pure mathematicsreverse mathematicscomputational complexitymathematics

Degrees of Unsolvability. (2022)

computability theoryapplied mathematicspure mathematicsmathematicsproof complexityincompletenessmathematical logicset theorymathematical sciences

Complexity and Avoidance. Vanderbilt University (2021)

computational complexitycomplexity sciencecomplexity theorybehavioural processbehavioral sciencescognitive science

Extracting Complexity From Avoidance. (2021)

computational intelligenceautomated reasoningcomputational complexitydescriptional complexitycomplexity theorycomputer scienceabstract complexity

Pseudojump Inversion in Special R. B. $\Pi^0_1$ Classes. arXiv (Cornell University) (2021)

Hayden R. JananthanStephen G. Simpson

particle physicspseudojump inversioncomputer science

Very Weak Fragments of Weak K\H{O}Nig's Lemma. arXiv (Cornell University) (2021)

Simpson, Stephen G.Yokoyama, Keita

particle physicsweak interactionsweak fragmentsapplied mathematics

Foundations of Mathematics: An Optimistic Message. The Legacy of Kurt Schütte, edited by R. Kahle and M. Rathjen, Springer (2020)

foundational theoryphilosophy of mathematicsmathematicsmathematical prooffoundation of mathematicstheory of computationmathematical logiclogic in computer scienceset theorygeneral systemsoptimistic message

Foundations of Mathematics: An Optimistic Message. Springer eBooks (2020)

Stephen G. Simpson

foundational theorytheoretical mathematicsapplied mathematicspure mathematicsmathematicsfoundation of mathematicsfoundational calculusoptimistic messagemathematical sciences

1
2
3
4
5
19
10 / page

Stephen G. Simpson

Emeritus Professor of Mathematics

Vanderbilt University

Affiliations

College of Arts and Science

Mathematics

Stephen G. Simpson is currently serving as a College Of Arts And Science Emeritus Professor of Mathematics at Vanderbilt 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

Stephen G. Simpson

Vanderbilt University

Emeritus Professor of Mathematics

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Pseudojump Inversion in Special Π10 Classes of Sets. Lecture notes series, Institute For Mathematical Sciences (2025)

pseudojump inversionpure mathematicsalgebraic combinatoricspartially ordered setcombinatorial theorymathematicsextremal set theoryset theorymathematical sciences

Turing Degrees of Hyperjumps. Lecture notes series, Institute For Mathematical Sciences (2025)

Hayden R. JananthanStephen G. Simpson

turing machinealgorithmic information theorycomputational complexityapplied mathematicslinguisticscomputational complexity theoryparticle physics

Reverse Mathematics. Springer eBooks (2024)

John Stillwell

pure mathematicsreverse mathematicscomputational complexitymathematics

Degrees of Unsolvability. (2022)

computability theoryapplied mathematicspure mathematicsmathematicsproof complexityincompletenessmathematical logicset theorymathematical sciences

Complexity and Avoidance. Vanderbilt University (2021)

computational complexitycomplexity sciencecomplexity theorybehavioural processbehavioral sciencescognitive science

Extracting Complexity From Avoidance. (2021)

computational intelligenceautomated reasoningcomputational complexitydescriptional complexitycomplexity theorycomputer scienceabstract complexity

Pseudojump Inversion in Special R. B. $\Pi^0_1$ Classes. arXiv (Cornell University) (2021)

Hayden R. JananthanStephen G. Simpson

particle physicspseudojump inversioncomputer science

Very Weak Fragments of Weak K\H{O}Nig's Lemma. arXiv (Cornell University) (2021)

Simpson, Stephen G.Yokoyama, Keita

particle physicsweak interactionsweak fragmentsapplied mathematics

Foundations of Mathematics: An Optimistic Message. The Legacy of Kurt Schütte, edited by R. Kahle and M. Rathjen, Springer (2020)

Foundations of Mathematics: An Optimistic Message. Springer eBooks (2020)

Stephen G. Simpson

foundational theorytheoretical mathematicsapplied mathematicspure mathematicsmathematicsfoundation of mathematicsfoundational calculusoptimistic messagemathematical sciences

1
2
3
4
5
19
10 / page

Similar Faculty Members

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Anil Nerode

Institution

Cornell University

mathematical logic

applied logic

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Xiang-dong Hou

Institution

University of South Florida

post-quantum cryptography

cryptographic technology

Anand Pillay

Institution

University of Notre Dame

applied mathematical modelling

scientific computing

Slawomir Solecki

Institution

Cornell University

mathematical logic

probability theory

Dhruv Mubayi

Institution

University of Illinois Chicago

computational problem

probabilistic graph theory

Jan Mycielski

Institution

University of Colorado Boulder

perfect information

general system

Similar Faculty Members

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Anil Nerode

Institution

Cornell University

mathematical logic

applied logic

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Xiang-dong Hou

Institution

University of South Florida

post-quantum cryptography

cryptographic technology

Anand Pillay

Institution

University of Notre Dame

applied mathematical modelling

scientific computing

Slawomir Solecki

Institution

Cornell University

mathematical logic

probability theory

Dhruv Mubayi

Institution

University of Illinois Chicago

computational problem

probabilistic graph theory

Jan Mycielski

Institution

University of Colorado Boulder

perfect information

general system