Computability theory | Theorems in the foundations of mathematics

Craig's theorem

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).

Video thumbnail

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

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

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

Video thumbnail

Viviani's Theorem: "Proof" Without Words

Link: https://www.geogebra.org/m/BXUrfwxj

From playlist Geometry: Challenge Problems

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

John Pardon, Smoothing finite group actions on three-manifolds

2018 Clay Research Conference, CMI at 20

From playlist CMI at 20

Video thumbnail

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"

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

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

Related pages

Deductive closure | Mathematical logic | Carl Gustav Hempel | Hilary Putnam | Well-formed formula | Craig interpolation | Kleene's T predicate | William Craig (philosopher)