Faculty

Institution

Unit

Venue

Harvey Friedman

Faculty Emeritus

Ohio State University

Affiliations

College of Arts and Sciences

Mathematics

Philosophy

Harvey Friedman is currently serving as a College Of Arts And Sciences Faculty Emeritus at Ohio State 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

Harvey Friedman

Ohio State University

Faculty Emeritus

You can click a keyword to filter the displayed items

mathematics applied mathematics mathematical logic computer science applied logic logic in computer science computational complexity formal methods pure mathematics foundation of mathematics mathematical analysis set theory philosophy of mathematics mathematical sciences computational complexity theory philosophy of logic cognitive science semantics fuzzy logic automated reasoning automated deduction algorithmic information theory proof theory logical formalism mathematical optimization epistemic logic history of logic symbolic computation computability theory classical logic extremal set theory formal technique countable algebra algorithmic procedures reverse mathematics o-minimal structures intuitionistic theories intuitionistic set theory existence properties vascular biology applied philosophy computational optimization combinatorial optimization combinatorial theory geometric topology spectral theory mathematics education global optimization wound care hypoxia (medicine) cutaneous biology rna biology hemostasis function theory recursive function formal specification descriptional complexity complexity theory abstract complexity analytic number theory interpretability foundational calculus inductive logic intuitionistic logic complexity science propositional logic borel reductibility theory countable structures real functions impairs closure murine model ischemic wounds self-referential truth harvey friedman countable models history of mathematics theoretical mathematics intellectual discourse history of philosophy philosophy

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Some Independence Results Related to Finite Trees. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (2023)

Harvey M. FriedmanAndreas Weiermann

mathematical physicsalgorithmic information theoryphilosophy of mathematicsapplied mathematicsmathematical sciencesmathematical analysiscomputational complexity theorymathematicsphilosophycomputational mathematics

Concrete Mathematical Incompleteness: Basic Emulation Theory. Outstanding contributions to logic (2018)

Harvey M. Friedman

basic emulation theorymathematical logiccomputer scienceconcrete mathematical incompletenesslogic in computer science

This Foundationalist Looks at P = Np. ACM SIGSOFT Software Engineering Notes (2018)

Harvey Friedman

computer sciencesoftware engineeringp versus np problem

Internal Finite Tree Embeddings. Cambridge University Press eBooks (2017)

Harvey M. Friedman

computer sciencetree language

Maximal Nonfinitely Generated Subalgebras. Cambridge University Press eBooks (2017)

Harvey M. Friedman

Metamathematics of Comparability. Cambridge University Press eBooks (2017)

Harvey M. Friedman

computability theoryapplied mathematicstopologycomparative literaturemathematics

Purpura Annularis Telangiectodes of Majocchi Associated With the Initiation and Rechallenge of Apremilast for Psoriasis Vulgaris. JAMA Dermatology (2017)

Jaclyn A. KalikHarvey FriedmanMark A. BechtelAlejandro A. GruBenjamin H. Kaffenberger

psoriasis vulgarispsoriasisdermatology

Perspectives on Formal Verification (Invited Talk). (2016)

Harvey M. Friedman

verificationinvited talkcomputer scienceformal methodsformal verificationformal technique

Independence of Ramsey Theorem Variants Using $\Varepsilon _0$. Proceedings of the American Mathematical Society (2015)

Harvey FriedmanFlorian Pelupessy

mathematical logicramsey theorem variantscomputational complexitymathematics

Integration on the Surreals: A Conjecture of Conway, Kruskal and Norton. arXiv (Cornell University) (2015)

Ovidiu CostinPhilip EhrlichHarvey M. Friedman

topologyapplied mathematics

1
2
3
4
5
10
10 / page

Harvey Friedman

Faculty Emeritus

Ohio State University

Affiliations

College of Arts and Sciences

Mathematics

Philosophy

Harvey Friedman is currently serving as a College Of Arts And Sciences Faculty Emeritus at Ohio State 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

Harvey Friedman

Ohio State University

Faculty Emeritus

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Some Independence Results Related to Finite Trees. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (2023)

Harvey M. FriedmanAndreas Weiermann

Concrete Mathematical Incompleteness: Basic Emulation Theory. Outstanding contributions to logic (2018)

Harvey M. Friedman

basic emulation theorymathematical logiccomputer scienceconcrete mathematical incompletenesslogic in computer science

This Foundationalist Looks at P = Np. ACM SIGSOFT Software Engineering Notes (2018)

Harvey Friedman

computer sciencesoftware engineeringp versus np problem

Internal Finite Tree Embeddings. Cambridge University Press eBooks (2017)

Harvey M. Friedman

computer sciencetree language

Maximal Nonfinitely Generated Subalgebras. Cambridge University Press eBooks (2017)

Harvey M. Friedman

Metamathematics of Comparability. Cambridge University Press eBooks (2017)

Harvey M. Friedman

computability theoryapplied mathematicstopologycomparative literaturemathematics

Purpura Annularis Telangiectodes of Majocchi Associated With the Initiation and Rechallenge of Apremilast for Psoriasis Vulgaris. JAMA Dermatology (2017)

Jaclyn A. KalikHarvey FriedmanMark A. BechtelAlejandro A. GruBenjamin H. Kaffenberger

psoriasis vulgarispsoriasisdermatology

Perspectives on Formal Verification (Invited Talk). (2016)

Harvey M. Friedman

verificationinvited talkcomputer scienceformal methodsformal verificationformal technique

Independence of Ramsey Theorem Variants Using $\Varepsilon _0$. Proceedings of the American Mathematical Society (2015)

Harvey FriedmanFlorian Pelupessy

mathematical logicramsey theorem variantscomputational complexitymathematics

Integration on the Surreals: A Conjecture of Conway, Kruskal and Norton. arXiv (Cornell University) (2015)

Ovidiu CostinPhilip EhrlichHarvey M. Friedman

topologyapplied mathematics

1
2
3
4
5
10
10 / page

Similar Faculty Members

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Stephen G. Simpson

Institution

Vanderbilt University

mathematical logic

applied logic

Scott Weinstein

Institution

University of Pennsylvania

philosophical logic

philosophy

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Damir Dzhafarov

Institution

University of Connecticut

mathematics

mathematics education

Similar Faculty Members

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

Stephen G. Simpson

Institution

Pennsylvania State University

mathematical logic

automated deduction

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Stephen G. Simpson

Institution

Vanderbilt University

mathematical logic

applied logic

Scott Weinstein

Institution

University of Pennsylvania

philosophical logic

philosophy

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Colin McLarty

Institution

Case Western Reserve University

philosophical logic

logical formalism

Damir Dzhafarov

Institution

University of Connecticut

mathematics

mathematics education