Can the PvsNP Question Be Independent of the Axioms of Mathematical Reasoning?

Channel:

Subscribers:

68,700

Published on April 28, 2021 4:47:39 PM ● Video Link: https://www.youtube.com/watch?v=i-gYjg9U8e0

Duration: 45:38

521 views

Shai Ben-David (University of Waterloo)
https://simons.berkeley.edu/talks/sat-and-foundations-mathematics
Theoretical Foundations of SAT/SMT Solving

Other Videos By Simons Institute for the Theory of Computing

2021-05-03	Synthesizing Network Configuration Updates
2021-04-30	Computational Aspects of Equilibria and Fixed Points
2021-04-30	Data Privacy \| Polylogues
2021-04-29	Symmetric Properties and Boolean Complexity
2021-04-29	Constraint Satisfaction and Expansion
2021-04-29	Theoretically Speaking — Market Design through the Lens of Approximation
2021-04-28	Learning to Solve SMT Formulas
2021-04-28	Extensions of CDCL Branching Heuristics by Exploration during Conflict Depression
2021-04-28	Learning to Schedule Heuristics in Branch and Bound
2021-04-28	Predicting Satisfiability at the Phase Transition via End-to-End Learning
2021-04-28	Can the PvsNP Question Be Independent of the Axioms of Mathematical Reasoning?
2021-04-28	TAUT, TFNP and SAT
2021-04-28	P, NP and Proof Complexity
2021-04-28	Panel Discussion on Quantum Benchmarking \| Quantum Colloquium
2021-04-28	Classical Shadows of Quantum States \| Quantum Colloquium
2021-04-27	Quantified Boolean Formulas
2021-04-27	A Finite-Model-Theoretic View on Propositional Proof Complexity
2021-04-27	Reasoning Systems from Descriptive Complexity
2021-04-27	Past and Present of Descriptive Complexity Theory
2021-04-26	Provably Correct Training of Neural Network Controllers
2021-04-26	Coordination of for Large Collections of Dynamical Systems with Constraint Satisfaction Guarantees

Tags:

Simons Institute

theoretical computer science

UC Berkeley

Computer Science

Theory of Computation

Theory of Computing

Theoretical Foundations of SAT/SMT Solving

Shai Ben-David