Formal theories | Mathematical terminology

Mathematical theory

A mathematical theory is a mathematical model of a branch of mathematics that is based on a set of axioms. It can also simultaneously be a body of knowledge (e.g., based on known axioms and definitions), and so in this sense can refer to an area of mathematical research within the established framework. Explanatory depth is one of the most significant theoretical virtues in mathematics. For example, set theory has the ability to systematize and explain number theory and geometry/analysis. Despite the widely logical necessity (and self-evidence) of arithmetic truths such as 1<3, 2+2=4, 6-1=5, and so on, a theory that just postulates an infinite blizzard of such truths would be inadequate. Rather an adequate theory is one in which such truths are derived from explanatorily prior axioms, such as the Peano Axioms or set theoretic axioms, which lie at the foundation of ZFC axiomatic set theory. The singular accomplishment of axiomatic set theory is its ability to give a foundation for the derivation of the entirety of classical mathematics from a handful of axioms. The reason set theory is so prized is because of its explanatory depth. So a mathematical theory which just postulates an infinity of arithmetic truths without explanatory depth would not be a serious competitor to Peano arithmetic or Zermelo-Fraenkel set theory. (Wikipedia).

Video thumbnail

Number theory Full Course [A to Z]

Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure #mathematics devoted primarily to the study of the integers and integer-valued functions. Number theorists study prime numbers as well as the properties of objects made out of integers (for example, ratio

From playlist Number Theory

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Quantum Mechanics -- a Primer for Mathematicians

Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w

From playlist Mathematics

Video thumbnail

What is Group Theory?

This video contains the origins of group theory, the formal definition, and theoretical and real-world examples for those beginning in group theory or wanting a refresher :)

From playlist Summer of Math Exposition Youtube Videos

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

What is Discrete Mathematics?

This video explains what is taught in discrete mathematics.

From playlist Mathematical Statements (Discrete Math)

Video thumbnail

Number theory and algebra in Asia (a) | Math History | NJ Wildberger

After the later Alexandrian mathematicians Ptolemy and Diophantus, Greek mathematics went into decline and the focus shifted eastward. This lecture discusses some aspects of Chinese, Indian and Arab mathematics, in particular the interest in number theory: Pell's equation, the Chinese rema

From playlist MathHistory: A course in the History of Mathematics

Video thumbnail

Quantum Mechanics 1.1: Introduction

In this video I provide some motivation behind the development of quantum mechanics, kicking off a new series on everything you've been wondering about quantum mechanics! Twitter: https://twitter.com/SciencePlease_

From playlist Quantum Mechanics

Video thumbnail

Geometry: Ch 5 - Proofs in Geometry (2 of 58) Definitions

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain and give examples of definitions. Next video in this series can be seen at: https://youtu.be/-Pmkhgec704

From playlist GEOMETRY 5 - PROOFS IN GEOMETRY

Video thumbnail

On theories in mathematics education and their conceptual differences – Luis Radford – ICM2018

Mathematics Education and Popularization of Mathematics Invited Lecture 18.1 On theories in mathematics education and their conceptual differences Luis Radford Abstract: In this article I discuss some theories in mathematics education research. My goal is to highlight some of their diffe

From playlist Mathematics Education and Popularization of Mathematics

Video thumbnail

The Universe Speaks in Numbers

Oxford Mathematics Public Lectures: Graham Farmelo - The Universe Speaks in Numbers An old-fashioned tale of romance and estrangement, Graham Farmelo's Oxford Mathematics Public Lecture charts the 350-year relationship between Mathematics and Physics and its prospects for the future. Migh

From playlist Oxford Mathematics Public Lectures

Video thumbnail

Philosophy of Mathematics & Frege (Dummett 1994)

Michael Dummett gives a talk on Frege and the philosophy of mathematics. For a good introduction to the philosophy of mathematics, check out: https://www.youtube.com/watch?v=UhX1ouUjDHE Another good introduction to the philosophy of mathematics: https://www.youtube.com/watch?v=XyXWnGFKTkg

From playlist Logic & Philosophy of Mathematics

Video thumbnail

"The Universe Speaks in Numbers - Backstory" - Graham Farmelo

The Universe Speaks in Numbers Physics and mathematics seem to be in a pre-established harmony, as Gottfried Leibniz observed long ago. New ideas generated by mathematical researchers have often proved to be essential to physicists trying to discover the most basic laws of nature. Likewise

From playlist The Universe Speaks in Numbers

Video thumbnail

The Role of Theory in Science - David Gross

Speaker : David Gross (KITP, Santa Barbara) Date and Time : 28 Dec 2009, 05:30 PM Venue : J. N. Tata Auditorium, IISc, Bangalore On the occasion of the inauguration of the International Centre for Theoretical Sciences, TIFR, I shall share some of my observations and conclusions as to the

From playlist Public Lectures

Video thumbnail

David McAllester - Dependent Type Theory from the Perspective of Mathematics, Physics, and (...)

Dependent type theory imposes a type system on Zemelo-Fraenkel set theory (ZFC). From a mathematics and physics perspective dependent type theory naturally generalizes the Bourbaki notion of structure and provides a universal notion of isomorphism and symmetry. This comes with a universal

From playlist Mikefest: A conference in honor of Michael Douglas' 60th birthday

Video thumbnail

Isadore Singer and Michael Atiyah - The Abel Prize interview 2004

0:07 The Index Theorem – the history 2:16 Both of you contributed to the index theorem with different expertise and visions. Could you describe this collaboration and the establishment of the result a little closer? 5:37 You worked out at least three different proofs with different strateg

From playlist Isadore Singer

Video thumbnail

Abel Prize award ceremony 2021

The ceremony honours both the 2020-winners, Hillel Furstenberg and Gregory Margulis, and the 2021-winners, Avi Wigderson and László́ Lovász. 0:30 Haddy N'jie sings Feeling Good 3:18 Welcome by Master of ceremonies, Haddy N'jie 4:46 On the nomination process and the work of the Abel Prize

From playlist Gregory Margulis

Video thumbnail

Michio Kaku - Why the ‘Unreasonable Effectiveness’ of Mathematics?

Free access to Closer to Truth's library of 5,000 videos: http://bit.ly/376lkKN What is it about mathematics that it can describe so accurately the world around us? From quantum physics, the very smallest features and forces of the foundations of matter and energy, to cosmology, the very

From playlist Why the ‘Unreasonable Effectiveness’ of Mathematics? - CTT Interview Series

Video thumbnail

Number theory and algebra in Asia (b) | Math History | NJ Wildberger

After the later Alexandrian mathematicians Ptolemy and Diophantus, Greek mathematics went into decline and the focus shifted eastward. This lecture discusses some aspects of Chinese, Indian and Arab mathematics, in particular the interest in number theory (Pell's equation, the Chinese rema

From playlist MathHistory: A course in the History of Mathematics

Related pages

Theory (mathematical logic) | Mathematical model | Theorem