Faculty

Institution

Unit

Venue

Wilfried Sieg

Patrick Suppes Professor of Philosophy Professor of Philosophy

Carnegie Mellon University

Affiliations

Dietrich College of Humanities and Social Sciences

Philosophy

Wilfried Sieg is currently serving as a Dietrich College Of Humanities And Social Sciences Patrick Suppes Professor of Philosophy Professor of Philosophy at Carnegie Mellon 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

Wilfried Sieg

Carnegie Mellon University

Patrick Suppes Professor of Philosophy Professor of Philosophy

You can click a keyword to filter the displayed items

mathematics computer science philosophy mathematical logic logic in computer science applied mathematics theory of computation automated reasoning proof theory formal methods computational complexity philosophy of mathematics mathematical analysis foundation of mathematics computability theory history of philosophy automated deduction computational complexity theory algorithmic information theory proof system machine learning mathematical proof mathematical sciences classical logic theoretical mathematics philosophy of logic inductive definitions mathematics education scientific computing numerical algorithms computational logic turing machine strategic thinking proof complexity david hilbert mathematical optimization numerical mathematics mathematical programming human computation theoretical analysis program derivation applied logic man-machine interface history of mathematics sequent calculus mathematical models mathematical experience non-classical logics k-graph machines cantor-bernstein theorem apros project mathematical presentation human-computer interaction mathematical bioscience numerical simulations thinking skills natural language generation semantic web human-machine interaction interactive learning active learning constructive mathematics mathematical structures applied mathematical modelling numerical computation mathematical modelling riemann-hilbert problem model theory mechanical procedures abstract model herbrand analyses computer environments proof construction constructive theories proof theoretic equivalences abstract concepts history of science history of logic philosophical logic history and philosophy of science

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Charles Parsons April 13, 1933 – April 19, 2024. Philosophia Mathematica (2025)

interdisciplinary historyhistorical reviewsocial history– april 19historyhistorical scholarshiparchival researchintellectual historyhistoriographyhistorical evidence

A New Perspective on Completeness and Finitist Consistency. Journal of Logic and Computation (2023)

Paulo Guilherme SantosWilfried SiegReinhard Kahle

computer sciencefinitist consistencylogic in computer sciencecomputational logicformal methodsjournalismmathematical logic

Proofs as Objects. Springer eBooks (2022)

Wilfried Sieg

computer scienceapproximate reasoningformal methodstheory of computationautomated deductionautomated proofset theoryknowledge representation and reasoninglogic in computer scienceformal verificationautomated reasoningmathematical proofapplied mathematicsmathematicsproof systemproof complexityproof theory

Human-Centered Automated Proof Search. Journal of Automated Reasoning (2021)

Wilfried SiegFarzaneh Derakhshan

proof searchcomputer sciencecomputing educationautomated reasoning

GöDel’s Philosophical Challenge (to Turing). (2020)

Wilfried Sieg

philosophical challengephilosophical inquiryphilosophy

Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory. Oxford University Press eBooks (2020)

Wilfried Sieg

methodological framesmathematical structuralismpaul bernaysmathematicsproof theory

Shortening of Proof Length is Elusive for Theorem Provers. Parallel Processing Letters (2020)

Santiago Hernández-OrozcoFrancisco Hernández-QuirozHector ZenilWilfried Sieg

theorem proverscomputer scienceparallel processingnatural language processingproof length

Natural Formalization: Deriving the Cantor-Bernstein Theorem in Zf. The Review of Symbolic Logic (2019)

WILFRIED SIEGPATRICK WALSH

mathematicsnatural formalizationcantor-bernstein theoremmathematical logic

The Cantor–Bernstein Theorem: How Many Proofs?. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (2019)

Wilfried Sieg

mathematical analysisphysicscantor-bernstein theorempure mathematicsmathematical sciencesapplied mathematicsmany proofsmathematicsfoundation of mathematics

Dedekind’s Structuralism: Creating Concepts and Deriving Theorems. (2018)

Wilfried SiegRebecca Morris

mathematicsphilosophy

1
2
3
4
5
11
10 / page

Wilfried Sieg

Patrick Suppes Professor of Philosophy Professor of Philosophy

Carnegie Mellon University

Affiliations

Dietrich College of Humanities and Social Sciences

Philosophy

Wilfried Sieg is currently serving as a Dietrich College Of Humanities And Social Sciences Patrick Suppes Professor of Philosophy Professor of Philosophy at Carnegie Mellon 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

Wilfried Sieg

Carnegie Mellon University

Patrick Suppes Professor of Philosophy Professor of Philosophy

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Charles Parsons April 13, 1933 – April 19, 2024. Philosophia Mathematica (2025)

interdisciplinary historyhistorical reviewsocial history– april 19historyhistorical scholarshiparchival researchintellectual historyhistoriographyhistorical evidence

A New Perspective on Completeness and Finitist Consistency. Journal of Logic and Computation (2023)

Paulo Guilherme SantosWilfried SiegReinhard Kahle

computer sciencefinitist consistencylogic in computer sciencecomputational logicformal methodsjournalismmathematical logic

Proofs as Objects. Springer eBooks (2022)

Wilfried Sieg

Human-Centered Automated Proof Search. Journal of Automated Reasoning (2021)

Wilfried SiegFarzaneh Derakhshan

proof searchcomputer sciencecomputing educationautomated reasoning

GöDel’s Philosophical Challenge (to Turing). (2020)

Wilfried Sieg

philosophical challengephilosophical inquiryphilosophy

Methodological Frames: Paul Bernays, Mathematical Structuralism, and Proof Theory. Oxford University Press eBooks (2020)

Wilfried Sieg

methodological framesmathematical structuralismpaul bernaysmathematicsproof theory

Shortening of Proof Length is Elusive for Theorem Provers. Parallel Processing Letters (2020)

Santiago Hernández-OrozcoFrancisco Hernández-QuirozHector ZenilWilfried Sieg

theorem proverscomputer scienceparallel processingnatural language processingproof length

Natural Formalization: Deriving the Cantor-Bernstein Theorem in Zf. The Review of Symbolic Logic (2019)

WILFRIED SIEGPATRICK WALSH

mathematicsnatural formalizationcantor-bernstein theoremmathematical logic

The Cantor–Bernstein Theorem: How Many Proofs?. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (2019)

Wilfried Sieg

mathematical analysisphysicscantor-bernstein theorempure mathematicsmathematical sciencesapplied mathematicsmany proofsmathematicsfoundation of mathematics

Dedekind’s Structuralism: Creating Concepts and Deriving Theorems. (2018)

Wilfried SiegRebecca Morris

mathematicsphilosophy

1
2
3
4
5
11
10 / page

Similar Faculty Members

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Kevin Kelly

Institution

Carnegie Mellon University

lottery paradox

mathematical logic

John Burgess

Institution

Princeton University

philosophical logic

philosophy

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Neil Tennant

Institution

Ohio State University

evolutionary biology

computational philosophy

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics

Roger Ariew

Institution

University of South Florida

historical scholarship

history of science

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

James H. Moor

Institution

Dartmouth College

philosophy of computer science

multidisciplinary ai

Similar Faculty Members

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

Harvey Friedman

Institution

Ohio State University

philosophy

general system

Kevin Kelly

Institution

Carnegie Mellon University

lottery paradox

mathematical logic

John Burgess

Institution

Princeton University

philosophical logic

philosophy

Yiannis N. Moschovakis

Institution

University of California, Los Angeles

philosophy of language

philosophical logic

Neil Tennant

Institution

Ohio State University

evolutionary biology

computational philosophy

Lawrence Moss

Institution

Indiana University Bloomington

computer science

linguistics

Roger Ariew

Institution

University of South Florida

historical scholarship

history of science

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

James H. Moor

Institution

Dartmouth College

philosophy of computer science

multidisciplinary ai