Conjectures that have been proved | Proof theory
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).
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
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
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
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
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
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)
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
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
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
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
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)
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
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
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
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
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
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.
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
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
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