Mathematical logic

Timeline of mathematical logic

A timeline of mathematical logic. See also History of logic. (Wikipedia).

Video thumbnail

Sets, logic and computability | Math History | NJ Wildberger

In this video we give a very quick overview of a highly controversial period in the development of modern mathematics: the rise of set theory, logic and computability in the late 19th and early 20th centuries. Starting with the pioneering but contentious work of Georg Cantor in creating S

From playlist MathHistory: A course in the History of Mathematics

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

The History of Logic: The Logic of Aristotle

A few clips of Gabriele Giannantoni explaining Aristotelian logic, the logic of Aristotle. These clips come from the Multimedia Encyclopedia of the Philosophical Sciences. More Short Videos: https://www.youtube.com/playlist?list=PLhP9EhPApKE8v8UVlc7JuuNHwvhkaOvzc Aristotle's Logic: https:

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Analytic geometry and the continuum (b) | Math History | NJ Wildberger

The development of Cartesian geometry by Descartes and Fermat was one of the main accomplishments of the 17th century, giving a computational approach to Euclidean geometry. Involved are conics, cubics, Bezout's theorem, and the beginnings of a projective view to curves. This merging of nu

From playlist MathHistory: A course in the History of Mathematics

Video thumbnail

Inverse Statements - Logic

This video teaches students how to write the inverse of a conditional statement. In particular, this video goes into detail about how to negate the hypothesis and conclusion of a conditional statement. In addition, the concepts of truth value, negating statements and logical equivalence ar

From playlist Geometry

Video thumbnail

Mechanics and curves | Math History | NJ Wildberger

The laws of motion as set out by Newton built upon work of Oresme, Galileo and others on dynamics, and the relations between distance, velocity and acceleration in trajectories. With Newton's laws and the calculus, a whole new arena of practical and theoretical investigations opened up to

From playlist MathHistory: A course in the History of Mathematics

Video thumbnail

!!Con 2020 - Programming from an alternate timeline! by Matthew Dockrey

Programming from an alternate timeline! by Matthew Dockrey We take ANDs and ORs for granted, but for millennia there was only the IMPLIES of classical Aristotelian syllogisms. It wasn’t until the 19th century that mathematical logic started to emerge, and it was a long time before it look

From playlist !!Con 2020

Video thumbnail

WTF Are Paradoxes & How Do They Mess Up Time Travel?

Episode 3 of 4 Check us out on Soundcloud! https://soundcloud.com/dnewsplus Please Subscribe! http://bit.ly/28iQhYC Discovery GO - http://smart.link/57ae195b47796 Science GO - http://smart.link/57ae1a34dd168 Every cause has an effect. What were to happen if we could successf

From playlist Have We Already Time Traveled?

Video thumbnail

Michael Tsfasman: Gilles Lachaud: friend and mathematician

Recording during the thematic meeting : "Arithmetic, Geometry, Cryptography and Coding Theory" the June 11, 2019 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians o

From playlist History of Mathematics

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

4.1 - A Brief History of AI

Information Service Engineering 2021 Prof. Dr. Harald Sack Karlsruhe Institute of Technology Summer semester 2021 Lecture 10: Basic Machine Learning - 1 4.1 A Brief History of AI - The success story of machine learning - Donald Hebb and the neuron - McCulloch & Pitts and the artificial n

From playlist ISE2021 - Lecture 10 - 23.06.2021

Video thumbnail

Geometry of the moduli space of curves – Rahul Pandharipande – ICM2018

Plenary Lecture 3 Geometry of the moduli space of curves Rahul Pandharipande Abstract: The moduli space of curves, first appearing in the work of Riemann in the 19th century, plays an important role in geometry. After an introduction to the moduli space, I will discuss recent directions

From playlist Plenary Lectures

Video thumbnail

Thomas Seiller: A geometric theory of algorithms

HYBRID EVENT Recorded during the meeting "Logic and transdisciplinarity" the February 11, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiov

From playlist History of Mathematics

Video thumbnail

What is Reality? - with Frank Wilczek

Nobel laureate Frank Wilczek investigates the ideas that form our understanding of the universe: time, space, matter, energy, complexity, and complementarity. Frank's book "Fundamentals" is available now: https://geni.us/TwaX90f Frank Wilczek won the Nobel Prize in Physics for his work on

From playlist Livestreams

Video thumbnail

What is Time? Can We Travel through It? | Wondrium Perspectives

People have always kept a close eye on the time. First, we looked to the heavenly bodies, and now we look at digital displays. While our methods of timekeeping have gotten more sophisticated, the question remains: What exactly is time? In this episode of Wondrium Perspectives, four exper

From playlist Wondrium Perspectives

Video thumbnail

Intermediate Algebra Lecture 8.3 Part 4

Intermediate Algebra Lecture 8.3 Part 4: Piecewise Functions and Shifting Graphs.

From playlist Intermediate Algebra Playlist 1

Video thumbnail

Time Travel May Be Possible Without Major Paradoxes, If This Model Is Correct

Good telescope that I've used to learn the basics: https://amzn.to/35r1jAk Get a Wonderful Person shirt: https://teespring.com/stores/whatdamath Alternatively, PayPal donations can be sent here: http://paypal.me/whatdamath Hello and welcome! My name is Anton and in this video, we will tal

From playlist Physics

Video thumbnail

Create Dynamic Project Timelines in Excel with Conditional Formatting

If you like this video, drop a comment, give it a thumbs up and consider subscribing here: https://www.youtube.com/channel/UCrdjXR70BwWIX--ZtQB42XQ?sub_confirmation=1 Check out my courses on Udemy: Create a 3-Statement Budget Model | https://www.udemy.com/course/create-a-3-statement-budge

From playlist Excel Tutorials

Video thumbnail

PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICS

Today we wrap up our discussion of logic by introduction quantificational logic. This includes talking about existence and universality. We also discuss the negation of our quantificational operators. Visit my website: http://bit.ly/1zBPlvm Subscribe on YouTube: http://bit.ly/1vWiRxW *--

From playlist Discrete Math 1

Video thumbnail

5D Chess With Multiverse Time Travel: The Terminator Gambit

In which I mess with the fabric of reality. A third video essay. And this time it's for a vaguely current thing! Huzzah! Join my Discord server to discuss this video and more: https://discord.gg/AVcU9w5gVW 5D Chess With Multiverse Time Travel is a brain-wrinkling experiment in making a

From playlist Video Essays

Related pages

George Boole | Word problem for groups | Emil Leon Post | Word problem for semigroups | James Ax | Set theory | Tennenbaum's theorem | Undecidable problem | Ray Solomonoff | Alonzo Church | C. I. Lewis | Algebraic variety | Saul Kripke | Universal Turing machine | Normal modal logic | Algebraic number | Lambda calculus | Arend Heyting | Löwenheim–Skolem theorem | Non-standard model of arithmetic | Wilhelm Ackermann | Forcing (mathematics) | Entscheidungsproblem | Compactness theorem | Timeline | Finitely presented group | First-order logic | Provability logic | Presburger arithmetic | Back-and-forth method | Alfred Tarski | Modal logic | Alan Turing | General recursive function | Abraham Robinson | Stable theory | Cardinal number | Robert Lawson Vaught | Kolmogorov complexity | Continuum hypothesis | Trakhtenbrot's theorem | Real number | Turing machine | Michael D. Morley | Halting problem | Complete theory | Diophantine equation | Anatoly Maltsev | Mathematical logic | Ultraproduct | Thoralf Skolem | Turing degree | Cantor's diagonal argument | Transfer principle