Conjectures that have been proved | Proof theory

Takeuti's conjecture

In mathematics, Takeuti's conjecture is the conjecture of Gaisi Takeuti that a sequent formalisation of second-order logic has cut-elimination (Takeuti 1953). It was settled positively: * By Tait, using a semantic technique for proving cut-elimination, based on work by Schütte (Tait 1966); * Independently by Prawitz (Prawitz 1968) and Takahashi (Takahashi 1967) by a similar technique (Takahashi 1967) - although Prawitz's and Takahashi's proofs are not limited to second-order logic, but concern higher-order logics in general; * It is a corollary of Jean-Yves Girard's syntactic proof of strong normalization for System F. Takeuti's conjecture is equivalent to the 1-consistency of second-order arithmetic in the sense that each of the statements can be derived from each other in the weak system PRA. It is also equivalent to the strong normalization of the Girard/Reynold's System F. (Wikipedia).

Video thumbnail

What is the Riemann Hypothesis?

This video provides a basic introduction to the Riemann Hypothesis based on the the superb book 'Prime Obsession' by John Derbyshire. Along the way I look at convergent and divergent series, Euler's famous solution to the Basel problem, and the Riemann-Zeta function. Analytic continuation

From playlist Mathematics

Video thumbnail

Ptolemy's theorem and generalizations | Rational Geometry Math Foundations 131 | NJ Wildberger

The other famous classical theorem about cyclic quadrilaterals is due to the great Greek astronomer and mathematician, Claudius Ptolemy. Adopting a rational point of view, we need to rethink this theorem to state it in a purely algebraic way, without resort to `distances' and the correspon

From playlist Math Foundations

Video thumbnail

A (compelling?) reason for the Riemann Hypothesis to be true #SOME2

A visual walkthrough of the Riemann Zeta function and a claim of a good reason for the truth of the Riemann Hypothesis. This is not a formal proof but I believe the line of argument could lead to a formal proof.

From playlist Summer of Math Exposition 2 videos

Video thumbnail

Differential geometry of the Torelli map (Lecture 5) by Alessandro Ghigi and Paola Frediani

DISCUSSION MEETING TOPICS IN HODGE THEORY (HYBRID) ORGANIZERS: Indranil Biswas (TIFR, Mumbai, India) and Mahan Mj (TIFR, Mumbai, India) DATE: 20 February 2023 to 25 February 2023 VENUE: Ramanujan Lecture Hall and Online This is a followup discussion meeting on complex and algebraic ge

From playlist Topics in Hodge Theory - 2023

Video thumbnail

Differential Geometry of the Torelli Map (Lecture 4) by Alessandro Ghigi and Paola Frediani

DISCUSSION MEETING TOPICS IN HODGE THEORY (HYBRID) ORGANIZERS: Indranil Biswas (TIFR, Mumbai, India) and Mahan Mj (TIFR, Mumbai, India) DATE: 20 February 2023 to 25 February 2023 VENUE: Ramanujan Lecture Hall and Online This is a followup discussion meeting on complex and algebraic ge

From playlist Topics in Hodge Theory - 2023

Video thumbnail

Proving Law of Cosines - Trigonometry

This video goes through a proof of the Law of Cosines. The Cartesian x-y plane is utilized to prove the Law of Cosines. To understand this proof, the viewer should be familiar with the definition of the trigonometric functions, the Pythagorean Theorem, and the Pythagorean Identity. Stude

From playlist Trigonometry (old videos)

Video thumbnail

Fubini Counterexample (full version)

As promised, here is the full version of the previous "Counterexample to Fubini's Theorem" video, which can be found under the following link: https://youtu.be/cIpakZYdWjo Fubini's theorem states that, under certain assumptions, the double integral of f(x,y) dx dy is equal to the double i

From playlist Real Analysis

Video thumbnail

Viviani’s theorem

This is a short, animated visual proof of Viviani's theorem, which states that the sum of the distances from any interior point to the sides of an equilateral triangle is equal to the length of the triangle's altitude. #math​ #geometry #mtbos​ #manim​ #animation​ #theorem​ #pww​ #proofwith

From playlist MathShorts

Video thumbnail

Differential geometry of the Torelli map (Lecture 2) by Alessandro Ghigi and Paola Frediani

DISCUSSION MEETING TOPICS IN HODGE THEORY (HYBRID) ORGANIZERS: Indranil Biswas (TIFR, Mumbai, India) and Mahan Mj (TIFR, Mumbai, India) DATE: 20 February 2023 to 25 February 2023 VENUE: Ramanujan Lecture Hall and Online This is a followup discussion meeting on complex and algebraic ge

From playlist Topics in Hodge Theory - 2023

Video thumbnail

Recent developments in non-commutative Iwasawa theory I - David Burns

David Burns March 25, 2011 For more videos, visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Giles Gardam: Kaplansky's conjectures

Talk by Giles Gardam in the Global Noncommutative Geometry Seminar (Americas) https://globalncgseminar.org/talks/3580/ on September 17, 2021.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Giles Gardam - Kaplansky's conjectures

Kaplansky made various related conjectures about group rings, especially for torsion-free groups. For example, the zero divisors conjecture predicts that if K is a field and G is a torsion-free group, then the group ring K[G] has no zero divisors. I will survey what is known about the conj

From playlist Talks of Mathematics Münster's reseachers

Video thumbnail

Gonçalo Tabuada - 1/3 Noncommutative Counterparts of Celebrated Conjectures

Some celebrated conjectures of Beilinson, Grothendieck, Kimura, Tate, Voevodsky, Weil, and others, play a key central role in algebraic geometry. Notwithstanding the effort of several generations of mathematicians, the proof of (the majority of) these conjectures remains illusive. The aim

From playlist Summer School 2020: Motivic, Equivariant and Non-commutative Homotopy Theory

Video thumbnail

Explicit formulae for Gross-Stark units and Hilbert’s 12th problem by Mahesh Kakde

PERFECTOID SPACES ORGANIZERS: Debargha Banerjee, Denis Benois, Chitrabhanu Chaudhuri, and Narasimha Kumar Cheraku DATE & TIME: 09 September 2019 to 20 September 2019 VENUE: Madhava Lecture Hall, ICTS, Bangalore Scientific committee: Jacques Tilouine (University of Paris, France) Eknath

From playlist Perfectoid Spaces 2019

Video thumbnail

Explicit formulae for Stark Units and Hilbert's 12th problem - Samit Dasgupta

Joint IAS/Princeton University Number Theory Seminar Topic: Explicit formulae for Stark Units and Hilbert's 12th problem Speaker: Samit Dasgupta Affiliation: Duke University Date: October 11, 2018 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Gonçalo Tabuada - 3/3 Noncommutative Counterparts of Celebrated Conjectures

Some celebrated conjectures of Beilinson, Grothendieck, Kimura, Tate, Voevodsky, Weil, and others, play a key central role in algebraic geometry. Notwithstanding the effort of several generations of mathematicians, the proof of (the majority of) these conjectures remains illusive. The aim

From playlist Summer School 2020: Motivic, Equivariant and Non-commutative Homotopy Theory

Video thumbnail

Lillian Ratliff - Learning via Conjectural Variations - IPAM at UCLA

Recorded 15 February 2022. Lillian Ratliff of the University of Washington presents "Learning via Conjectural Variations" at IPAM's Mathematics of Collective Intelligence Workshop. Learn more online at: http://www.ipam.ucla.edu/programs/workshops/mathematics-of-intelligences/?tab=schedule

From playlist Workshop: Mathematics of Collective Intelligence - Feb. 15 - 19, 2022.

Video thumbnail

Iwasawa theory of the fine Selmer groups of Galois representations by Sujatha Ramdorai

PERFECTOID SPACES ORGANIZERS: Debargha Banerjee, Denis Benois, Chitrabhanu Chaudhuri, and Narasimha Kumar Cheraku DATE & TIME: 09 September 2019 to 20 September 2019 VENUE: Madhava Lecture Hall, ICTS, Bangalore Scientific committee: Jacques Tilouine (University of Paris, France) Eknath

From playlist Perfectoid Spaces 2019

Video thumbnail

Differential geometry of the Torelli map (Lecture 1) by Alessandro Ghigi and Paola Frediani

DISCUSSION MEETING TOPICS IN HODGE THEORY (HYBRID) ORGANIZERS: Indranil Biswas (TIFR, Mumbai, India) and Mahan Mj (TIFR, Mumbai, India) DATE: 20 February 2023 to 25 February 2023 VENUE: Ramanujan Lecture Hall and Online This is a followup discussion meeting on complex and algebraic ge

From playlist Topics in Hodge Theory - 2023

Video thumbnail

Jochen Koenigsmann : Galois codes for arithmetic and geometry via the power of valuation theory

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Algebra

Related pages

System F | Mathematics | Primitive recursive arithmetic | Cut-elimination theorem | Gaisi Takeuti | Second-order logic | Second-order arithmetic