An introduction to abstract algebra | Abstract Algebra Math Foundations 213 | NJ Wildberger
How do we set up abstract algebra? In other words, how do we define basic algebraic objects such as groups, rings, fields, vector spaces, algebras, lattices, ...
Insights into Mathematics
The decline of rigour in modern mathematics | Real numbers and limits Math Foundations 88
Rigour means logical validity or accuracy. In this lecture we look at this concept in some detail, describe the important role of Euclid's Elements, talk about proof, ...
Insights into Mathematics
Understand Logical/Mathematical Intelligence
Howard Gardner provides an approach to understanding intelligence and oneself by proposing an intelligence related to linguistics/verbal skills.
Student Success Space
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 ...
Insights into Mathematics
Logical difficulties with the modern theory of limits (I)|Real numbers + limits Math Foundations 109
This is the first of two videos that will look at the official formal definition of a limit of a sequence, as initiated by Bolzano, Cauchy and Weierstrass. Although ...
Insights into Mathematics
[Discrete Mathematics] Introduction to Propositional Logic
Today we introduce propositional logic. We talk about what statements are and how we can determine truth values. Visit my website: http://bit.ly/1zBPlvm ...
TheTrevTutor
Modern "Set Theory" - is it a religious belief system? | Set Theory Math Foundations 250
Modern pure mathematics suffers from a uniform disinterest in examining the foundations of the subject carefully and objectively. The current belief system that ...
Insights into Mathematics
The Art of Logic | Eugenia Cheng | Talks at Google
Dr. Eugenia Cheng is Scientist In Residence at the School of the Art Institute of Chicago. She won tenure in Pure Mathematics at the University of Sheffield, UK, ...
Talks at Google
Geometry | Arithmetic and Geometry Math Foundations 18 | N J Wildberger
How to begin geometry? What is the correct framework? How to define point, line, circle etc etc? These are some of the issues we will be addressing in this first ...
Insights into Mathematics
Music and math: The genius of Beethoven - Natalya St. Clair
View full lesson: http://ed.ted.com/lessons/music-and-math-the-genius-of-beethoven-natalya-st-clair How is it that Beethoven, who is celebrated as one of the ...
TED-Ed
Computer Science ∩ Mathematics (Type Theory) - Computerphile
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch ...
Computerphile
05: Dynamical Systems & Dynamic Axioms - Logical Foundations of Cyber-Physical Systems
Subscribe to the Logical Foundations of Cyber-Physical Systems channel http://video.lfcps.org based on the textbook by André Platzer http://lfcps.org/lfcps/ This ...
Carnegie Mellon University, LS Lab
The mostly absent theory of real numbers|Real numbers + limits Math Foundations 115 | N J Wildberger
In this video we ask the question: how do standard treatments of calculus and analysis deal with the vexatious issue of defining real numbers and their supposed ...
Insights into Mathematics
Prof. Alex Simpson - The Intertwined Foundations of Mathematics and Computer Science
Professor Alex Simpson, Personal Chair in Foundations of Computer Science, delivered his inaugural lecture entitled "The Intertwined Foundations of ...
The University of Edinburgh
Reorienting pure mathematics education and research | Insights into Mathematics | N J Wildberger
A short trailer about Norman's channel --- Insights into Mathematics --- which aims to reorient mathematics education and research, by looking more carefully at ...
Insights into Mathematics
Logical challenges with abstract algebra I | Abstract Algebra Math Foundations 214 | NJ Wildberger
While abstract algebra is not as problematic logically as modern analysis, it still suffers from very serious difficulties. In this video we begin laying out some of ...
Insights into Mathematics
Logical difficulties with the modern theory of limits(II)|Real numbers + limits Math Foundations 110
This is the second of two videos that look at the official formal definition of a limit of a sequence, as initiated by Bolzano, Cauchy and Weierstrass. Although ...
Insights into Mathematics
The magic and mystery of "pi" | Real numbers and limits Math Foundations 93 | N J Wildberger
The number "pi" has been a fascinating object for thousands of years. Intimately connected with a circle, it is not an easy object to get hold of completely ...
Insights into Mathematics
The Math Needed for Computer Science
Support the Channel: https://www.patreon.com/zachstar PayPal(one time donation): https://www.paypal.me/ZachStarYT Computer science majors have to learn ...
Zach Star
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Vladimir Voevodsky, Professor, School of Mathematics, Institute for Advanced Study http://www.ias.edu/people/faculty-and-emeriti/voevodsky In this lecture, ...
Institute for Advanced Study
Why infinite sets don't exist | Arithmetic and Geometry Math Foundations 16 | N J Wildberger
Historically mathematicians have been careful to avoid treating `infinite sets'. After G. Cantor's work in the late 1800's, the position changed dramatically. Here I ...
Insights into Mathematics
Mathematical physics: Laws of nature (en)tangle with logic – Kalle Kytölä
Aalto University Tenured Professors' Installation Talks, October 24, 2018. “Mathematical physics: Laws of nature (en)tangle with logic” Kalle Kytölä Department ...
Aalto University
Introduction to Foundations of Pure Mathematics - Dr Joel Feinstein
The first class in Dr Joel Feinstein's G11FPM Foundations of Pure Mathematics module covers motivation for pure mathematical thinking (definitions, proofs and ...
University of Nottingham
Logical reasoning with tic-tac-toe | Elementary Mathematics (K-6) Explained 13 | NJ Wildberger
Tic-tac-toe is a great game for kids trying to learn mathematics---because it introduces them gently to logical reasoning, planning ahead, and the symmetries of a ...
Insights into Mathematics
Stanford Lecture: Mathematical Writing - Examples of good style
The class notes are available as a Stanford report, Mathematical Writing (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1193.pdf), and a published book ...
stanfordonline
The Human Brain Project SP4: Mathematical and Theoretical Foundations of Brain Research
The Human Brain Project's sub-project four: Mathematical and Theoretical Foundations of Brain Research will bring a mathematical framework to many different ...
HumanBrainProject
14: Hybrid Systems & Games - Logical Foundations of Cyber-Physical Systems
Subscribe to the Logical Foundations of Cyber-Physical Systems channel http://video.lfcps.org based on the textbook by André Platzer http://lfcps.org/lfcps/ This ...
Carnegie Mellon University, LS Lab
Husserl Logical Investigations
In this video, Professor Thorsby walks through the first arguments of the "Logical Investigations" by Edmund Husserl. Summary: In this reading, Husserl offers a ...
Mark Thorsby
The law of logical honesty and the end of infinity | Data structures in Math Foundations 178
It is time to end the delusion which pervades modern 20th century style mathematics, and move towards a true mathematics for the new millennium. Infinity ...
Insights into Mathematics
CA Foundation | Logical Reasoning | Syllogism |Basics & Approach to Solve Problems | May 2020
Get access to full course for Free on our website www.IndigoLearn.com Online Courses for CA Foundation Free Courses on Logical Reasoning, Free CA ...
IndigoLearn
AI & Logical Induction - Computerphile
Continuing to address the challenges of AI safety, Rob Miles discusses a paper from the Machine Intelligence Research Institute (MIRI). Read the paper for ...
Computerphile
Andre Platzer, CMU – part 1 of 3 – HSSCPS 2017
Lecture during Halmstad Summer School on Cyber-Physical Systems 2017 Title: Logical Foundations of Cyber-Physical Systems, part 1 of 3. Speaker: Andre ...
Högskolan i Halmstad
Looking for logic in social practice by R Ramanujam
There are many algorithms implicit or explicit in the way society works: for example, an election, or a queue where lunch is served. These algorithms rely on ...
matsciencechannel
MF150: What exactly is a set? | Data Structures in Mathematics Math Foundations | NJ Wildberger
What exactly is a set?? This is a crucial question in the modern foundations of mathematics. Here we begin an examination of this thorny issue, first by ...
Insights into Mathematics
20: Virtual Substitution & Real Equations - Logical Foundations of Cyber-Physical Systems
Subscribe to the Logical Foundations of Cyber-Physical Systems channel http://video.lfcps.org based on the textbook by André Platzer http://lfcps.org/lfcps/ This ...
Carnegie Mellon University, LS Lab
18B: Axioms & Uniform Substitutions - Logical Foundations of Cyber-Physical Systems
This video is part of the Logical Foundations of Cyber-Physical Systems sequence by André Platzer at Carnegie Mellon University. http://lfcps.org/lfcps/
Carnegie Mellon University, LS Lab
01: Overview - Logical Foundations of Cyber-Physical Systems
Subscribe to the Logical Foundations of Cyber-Physical Systems channel http://video.lfcps.org based on the textbook by André Platzer http://lfcps.org/lfcps/ ...
Carnegie Mellon University, LS Lab
Logicomix
LOGICOMIX is about the quest for the foundations of mathematics in the beginning of the 20th century, the subtle ways in which its ultimate failure brought about ...
Microsoft Research
CA-FOUNDATION | MATHS | Logical Reasoning Lecture-1
Hey guys this is shubham Kumar from CA EDUCATION Follow us on Facebook https://www.facebook.com/CAEDUCATION256/ Subscribe to Our Channel ...
CA - EDUCATION
Logical challenges with abstract algebra II | Abstract Algebra Math Foundations 215 | NJ Wildberger
There is a very big jump in going from finite algebraic objects to "infinite algebraic objects". For example, there is a huge difference, if one is interested in very ...
Insights into Mathematics
Arithmetic with Hindu-Arabic numbers | Arithmetic and Geometry Math Foundations 7 | N J Wildberger
The Hindu-Arabic number system allows us to perform addition, subtraction and multiplication smoothly. We also connect these to primary school education.
Insights into Mathematics
Frege's Logical Revolution: Classical Logic (feat. Graham Priest)
Intended as a companion to a blog post I wrote for a friend's blog: http://graspedinthought.com/2016/08/02/logic-as-theory-not-dogma/ Often people speak about ...
Mind-Forged Manacles
