Mathematical logic

Elementary theory

In mathematical logic, an elementary theory is a theory that involves axioms using only finitary first-order logic, without reference to set theory or using any axioms which have consistency strength equal to set theory. Saying that a theory is elementary is a weaker condition than saying it is algebraic. (Wikipedia).

Video thumbnail

Prove that there is a prime number between n and n!

A simple number theory proof problem regarding prime number distribution: Prove that there is a prime number between n and n! Please Like, Share and Subscribe!

From playlist Elementary Number Theory

Video thumbnail

A Short Course in Algebra and Number Theory - Elementary Number Theory

To supplement a course taught at The University of Queensland's School of Mathematics and Physics I present a very brief summary of algebra and number theory for those students who need to quickly refresh that material or fill in some gaps in their understanding. This is the fourth lectu

From playlist A Short Course in Algebra and Number Theory

Video thumbnail

The Scientific Method and the question of "Infinite Sets" | Sociology and Pure Maths| N J Wildberger

Let's get some kind of serious discussion going about the differences in methodology and philosophy between the sciences and mathematics, and how these differences manifest themselves in the attitude towards the logical foundations of mathematics. In particular we look at a bulwark notio

From playlist Sociology and Pure Mathematics

Video thumbnail

The determinant -- Elementary Linear Algebra

This lecture is on Elementary Linear Algebra. For more see http://calculus123.com.

From playlist Elementary Linear Algebra

Video thumbnail

Euclidean spaces -- Elementary Linear Algebra

This lecture is on Elementary Linear Algebra. For more see http://calculus123.com.

From playlist Elementary Linear Algebra

Video thumbnail

Definitions, specification and interpretation | Arithmetic and Geometry Math Foundations 44

We discuss important meta-issues regarding definitions and specification in mathematics. We also introduce the idea that mathematical definitions, expressions, formulas or theorems may support a variety of possible interpretations. Examples use our previous definitions from elementary ge

From playlist Math Foundations

Video thumbnail

The inverse of a matrix -- Elementary Linear Algebra

This lecture is on Elementary Linear Algebra. For more see http://calculus123.com.

From playlist Elementary Linear Algebra

Video thumbnail

Linear functions -- Elementary Linear Algebra

This lecture is on Elementary Linear Algebra. For more see http://calculus123.com.

From playlist Elementary Linear Algebra

Video thumbnail

A non-linear spinor theory of elementary particles

This presentation is about a non-linear spinor theory of elementary particles developed by Norbert Winter, an elementary particle physicist and former employee of the Max-Planck Institute for Physics in Munich, Germany. The idea of a non-linear theory of elementary particles dates back to

From playlist Summer of Math Exposition Youtube Videos

Video thumbnail

Towards elementary infinity-toposes - Michael Shulman

Vladimir Voevodsky Memorial Conference Topic: Towards elementary infinity-toposes Speaker: Michael Shulman Affiliation: University of San Diego Date: September 13, 2018 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

On Quantum Fields and Sphere Packings - Dalimil Mazac

Friends Lunch with Member Topic: On Quantum Fields and Sphere Packings Speaker: Dalimil Mazac Date: April 30, 2021 For more video please visit http://video.ias.edu

From playlist Friends of the Institute

Video thumbnail

Nima Rasekh - Every Elementary Higher Topos has a Natural Number Object

Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/NimaSlidesToposesOnline.pdf One key aspect of elementary topos theory is the existence of a natural number object. W

From playlist Toposes online

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

Video thumbnail

Systems of linear equations -- Elementary Linear Algebra

This lecture is on Elementary Linear Algebra. For more see http://calculus123.com.

From playlist Elementary Linear Algebra

Video thumbnail

Representation Theory(Repn Th) 1 by Gerhard Hiss

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Video thumbnail

WSU: Fundamental Lessons from String Theory with Cumrun Vafa

Cumrun Vafa, together with fellow world-renowned string theorist Andrew Strominger, developed a new way to calculate black hole entropy in the language of string theory. Follow Vafa as he guides you through some of the more incredible things we have learned since string theory’s inception.

From playlist WSU Master Classes

Video thumbnail

WSU: Fundamental Lessons from String Theory with Cumrun Vafa

Cumrun Vafa, together with fellow world-renowned string theorist Andrew Strominger, developed a new way to calculate black hole entropy in the language of string theory. Follow Vafa as he guides you through some of the more incredible things we have learned since string theory’s inception.

From playlist WSU Master Class

Video thumbnail

Dave Benson: Spectral methods in the representation theory of finite groups - Lecture 1

My intention is to develop the cohomology theory of finite groups and use it to discuss the stable module category and the homotopy category of complexes of injective modules, and to relate them to the modules over cochains on the classifying space. This video is part of a series of lectu

From playlist Summer School: Spectral methods in algebra, geometry, and topology

Video thumbnail

Basic Concepts of Elementary Mathematics

In this video I will show you a math book that covers a wide variety of topics. This book is very different from your typical algebra or pre-calc book in that it covers different areas of math. It is primarily written for students who want to become teachers or liberal arts majors. I think

From playlist Book Reviews

Video thumbnail

Edward Witten: On the Shoulders of Giants

Acknowledging the scientists who blazed intellectual trails before him, Isaac Newton wrote, “If I have seen a little further it was by standing on the shoulders of giants.” In this special annual series, we invite our audience to stand on the shoulders of a modern-day giant. In 2015, we

From playlist Watch Our Most Popular Programs

Related pages

Finitary | Real closed field | Tarski's axioms | Mathematical logic | Set theory | Theory (mathematical logic) | Field (mathematics) | Group (mathematics) | Elementary definition | Algebraic theory | First-order logic | Abelian group | Finite group | Elementary sentence