Computability theory | Theorems in the foundations of mathematics
In mathematical logic, Craig's theorem states that any recursively enumerable set of well-formed formulas of a first-order language is (primitively) recursively axiomatizable. This result is not related to the well-known Craig interpolation theorem, although both results are named after the same logician, William Craig. (Wikipedia).
Calculus - The Fundamental Theorem, Part 1
The Fundamental Theorem of Calculus. First video in a short series on the topic. The theorem is stated and two simple examples are worked.
From playlist Calculus - The Fundamental Theorem of Calculus
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
Cayley-Hamilton Theorem: General Case
Matrix Theory: We state and prove the Cayley-Hamilton Theorem over a general field F. That is, we show each square matrix with entries in F satisfies its characteristic polynomial. We consider the special cases of diagonal and companion matrices before giving the proof.
From playlist Matrix Theory
Viviani's Theorem: "Proof" Without Words
Link: https://www.geogebra.org/m/BXUrfwxj
From playlist Geometry: Challenge Problems
A Beautiful Proof of Ptolemy's Theorem.
Ptolemy's Theorem seems more esoteric than the Pythagorean Theorem, but it's just as cool. In fact, the Pythagorean Theorem follows directly from it. Ptolemy used this theorem in his astronomical work. Google for the historical details. Thanks to this video for the idea of this visual
From playlist Mathy Videos
What is the remainder theorem for polynomials
👉 Learn about the remainder theorem and the factor theorem. The remainder theorem states that when a polynomial is divided by a linear expression of the form (x - k), the remainder from the division is equivalent to f(k). Similarly, when a polynomial is divided by a linear expression of th
From playlist Remainder and Factor Theorem | Learn About
William Lane Craig Retrospective I: Kalam Cosmological Argument
Analytic philosopher and Christian apologist William Lane Craig discusses his previous book, The Kalam Cosmological Argument. He talks time, the multiverse, the Standard Model of Cosmology, and the big bang. Craig's latest book, In Quest of the Historical Adam: A Biblical and Scientific E
From playlist Closer To Truth - William Lane Craig Interviews
Zeros of polynomial vs derivative
We will see how the zeros of the derivative of a polynomial are related to the zeros of the original polynomial. This is called the Gauss Lucas Theorem for zeros of derivatives, which is an elegant result from complex analysis that relates it with the convex hull of the original roots. I a
From playlist Complex Analysis
Fourier Transform as Applied to Materials Science
The Fourier transform is a versatile mathematical tool that finds application in fields ranging from image processing to coding and cryptography. In this talk, Amina Matt and George Varnavides illustrate its importance in the field of materials science through several applications: from th
From playlist Wolfram Technology Conference 2020
Outtakes #5: Crash Course Government and Politics
A last round of laughs with Craig, Wheezywaiter, Benzine. Want to find Crash Course elsewhere on the internet? Facebook - http://www.facebook.com/YouTubeCrashC... Twitter - http://www.twitter.com/TheCrashCourse Tumblr - http://thecrashcourse.tumblr.com Support Crash Course on Patreon: h
From playlist Bloopers & Outtakes
Ivan Dornic: A tale of Pfaffian persistence tails told by a Bonnet-Painlevé VI transcendent
We identify the persistence probability for the zero-temperature non-equilibrium Glauber dynamics of the half-space Ising chain as a particular Painlevé VI transcendent, with monodromy exponents (1/2,1/2,0,0). Among other things, this characterization a la Tracy-Widom permits to relate our
From playlist Probability and Statistics
Burns Healy - Group boundaries under semidirect products with the integers
38th Annual Geometric Topology Workshop (Online), June 15-17, 2021 Burns Healy, University of Wisconsin-Milwaukee Title: Group boundaries under semidirect products with the integers Abstract: Given a group G that admits a Z-structure, we demonstrate a way to explicitly build a Z-structure
From playlist 38th Annual Geometric Topology Workshop (Online), June 15-17, 2021
William Lane Craig Retrospective V: God and Abstract Objects | Closer To Truth Chats
Analytic philosopher and Christian apologist William Lane Craig talks about God’s absolute sovereignty, self-sufficiency, and how Abstract Objects – forms, numbers, logic – threaten an autonomous God. Craig has authored or edited over thirty books, including God Over All: Divine Aseity and
From playlist Big Questions About God - Closer To Truth - Core Topic
John Pardon, Smoothing finite group actions on three-manifolds
2018 Clay Research Conference, CMI at 20
From playlist CMI at 20
Dmitryi Bilyk: Uniform distribution, lacunary Fourier series, and Riesz products
Uniform distribution theory, which originated from a famous paper of H. Weyl, from the very start has been closely connected to Fourier analysis. One of the most interesting examples of such relations is an intricate similarity between the behavior of discrepancy (a quantitative measure of
From playlist HIM Lectures: Trimester Program "Harmonic Analysis and Partial Differential Equations"
Calculus - The Fundamental Theorem, Part 3
The Fundamental Theorem of Calculus. Specific examples of simple functions, and how the antiderivative of these functions relates to the area under the graph.
From playlist Calculus - The Fundamental Theorem of Calculus
Theory of numbers: Gauss's lemma
This lecture is part of an online undergraduate course on the theory of numbers. We describe Gauss's lemma which gives a useful criterion for whether a number n is a quadratic residue of a prime p. We work it out explicitly for n = -1, 2 and 3, and as an application prove some cases of Di
From playlist Theory of numbers
Uniform rectifiability via perimeter minimization II - Tatiana Toro
Women and Mathematics: Terng Lecture Course Topic: Uniform rectifiability via perimeter minimization II Speaker: Tatiana Toro Affiliation: University of Washington Date: May 21, 2019 For more video please visit http://video.ias.edu
From playlist Mathematics
Axel Saenz: The Speed of a Second Class Particle in the ASEP
In this talk, we discuss the application of the Yang-Baxter equation for the quantum affine lie algebra $U_{q} \left (\widehat{ {\mathfrak{sl}}_{n+1}} \right )$ to interacting particle systems. The asymmetric simple exclusion process (ASEP) is a continuous-time Markov process of interacti
From playlist Probability and Statistics
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