Symbolic Logic Lecture #1: Basic Concepts of Logic
Jack Sanders
What is Set Theory? (Logic)
An explanation of the branch of logic known as set theory which deals with groups of objects and serves as the foundations of mathematics. This series covers ...
Carneades.org
Computability and problems with Set theory | Math History | NJ Wildberger
We look at the difficulties and controversy surrounding Cantor's Set theory at the turn of the 20th century, and the Formalist approach to resolving these ...
Insights into Mathematics
A brief history of logic: Stoics and other thinkers | MathFoundations 252 | NJ Wildberger
While Aristotle's logic ultimately became dominant, in ancient Greek times there was an important alternative school of logical thought: formed by the Stoics ...
Insights into Mathematics
A Brief History of Logic
Logic, the study of reasoning and argument, first became a serious area of study in the 4th century BC through the work of Aristotle. He created a formal logical ...
Philosophy Overdose
A Guide to Logic and Set Theory Explained by Amateurs
This is for a school math final.
David O'Brien
Lecture 03-0 First order logic theories
Introduce concept of theories in first order logic.
Automated Reasoning
02.00 Mathematical reason, logic, and set theory
Wherein the chapter Mathematical reason, logic, and set theory is introduced. This lecture was recorded at Saint Martin's University in the Fall 2019 term as part ...
Rico Picone
13: Differential Invariants & Proof Theory - 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
LCA Video 94 Sets, Membership, Cardinality
Explanation of sets and basic concepts of set theory, including membership and cardinality of sets. Relates to material in Chapter 34 in the Logic Course ...
Logic Course
19106050007 - LOGIC - Nabila Karima Azka
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the ...
TIF SUKA BAR-BAR
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
A First Course in Logic An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Phocas
Logic and Set Theory
harris math
28 logic
CS 154 - Introduction to the Theory of Computing
A Logical Revolution
Mathematical logic was developed in an effort to provide formal foundations for mathematics. In this quest, which ultimately failed, logic begat computer science, ...
Microsoft Research
What is PROOF THEORY? What does PROOF THEORY mean? PROOF THEORY meaning, definition & explanation
http://www.theaudiopedia.com What is PROOF THEORY? What does PROOF THEORY mean? PROOF THEORY meaning - PROOF THEORY definition ...
The Audiopedia
Structuring Mathematics in Higher-Order Logic by Clemens Ballarin (aicas GmbH Karlsruhe, Germany)
Talk at: FOMUS 2016. For all Talks and more information, slides etc. see: http://fomus.weebly.com/ Structuring Mathematics in Higher-Order Logic by Clemens ...
FOMUS 2016
Sets and other data structures | Data Structures in Mathematics Math Foundations 151
In mathematics we often want to organize objects. Sets are not the only way of doing this: there are other data types that are also useful and that can be ...
Insights into Mathematics
Sam Sanders – Brouwer, Platonism, and classification
UConn Logic Group – online Logic Colloquium, October 9, 2020 https://logic.uconn.edu/ Sam Sanders (Universität Darmstadt) – Brouwer, Platonism, and ...
UConn Logic Group
Mindscape 99 | Scott Aaronson on Complexity, Computers, and Quantum Gravity
Blog post with audio player, show notes, and transcript: ...
Sean Carroll
Roger Penrose: Physics of Consciousness and the Infinite Universe | Lex Fridman Podcast #85
Roger Penrose is physicist, mathematician, and philosopher at University of Oxford. He has made fundamental contributions in many disciplines from the ...
Lex Fridman
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Andrej Bauer University of Ljubljana, Slovenia; Member, School of Mathematics March 18, 2013 Discussions about constructive mathematics are usually ...
Institute for Advanced Study
MATH 320 - Set Theory - Lecture 1.1
Course: MATH 320 - Set Theory Instructor: Asst. Prof. Burak KAYA Lecture Notes: https://ocw.metu.edu.tr/course/view.php?id=270 Middle East Technical ...
METUOpenCourseWare
LambdaConf 2015 - Introduction to Intuitionistic Type Theory Vlad Patryshev
Traditionally, in Computer Science, sets are assumed to be the basis of a type theory, together with Boolean logic. In this version of type theory, we do not need ...
Confreaks
Gödel's Incompleteness Theorem - Numberphile
Marcus du Sautoy discusses Gödel's Incompleteness Theorem More links & stuff in full description below ↓↓↓ Extra Footage Part One: ...
Numberphile
The Church-Turing Thesis: Story and Recent Progress
The Church-Turing thesis is one of the foundations of computer science. The thesis heralded the dawn of the computer revolution by enabling the construct of ...
Microsoft Research
Cantor's Infinity Paradox | Set Theory
Sign up to brilliant.org to receive a 20% discount with this link! https://brilliant.org/upandatom/ Cantor sets and the nature of infinity in set theory. Hi! I'm Jade.
Up and Atom
Panel - Can Quantum Theory Consistently Describe Itself?
Moderated by David Wallace; Scott Aaronson, Lidia del Rio, Raphael Bousso and Matt Leifer in the panel "Can Quantum Theory Consistently Describe Itself?
FQXi
Infinity: does it exist?? A debate with James Franklin and N J Wildberger
Infinity has long been a contentious issue in mathematics, and in philosophy. Does it exist? How can we know? What about our computers, that only work with ...
Insights into Mathematics
Data Structures & Algorithms #1 - What Are Data Structures?
Data structures and algorithms tutorial #1 - let's go! Check out Brilliant.org, a website for learning computer science concepts through solving problems: ...
CS Dojo
Akihiro Kanamori – Gödel vis-à-vis Russell: Logic and Set Theory
UConn Logic Group – Logic Colloquium, November 4, 2016 http://logic.uconn.edu/ Akihiro Kanamori (Boston University) – Gödel vis-à-vis Russell: Logic and ...
UConn Logic Group
Maxel theory: new thinking about matrices II | Data Structures Math Foundations 167
We continue to establish terminology and notation for our foray into the new theory of maxels, which largely replaces and extends matrix theory using a data ...
Insights into Mathematics
Alan Turing: Crash Course Computer Science #15
Today we're going to take a step back from programming and discuss the person who formulated many of the theoretical concepts that underlie modern ...
CrashCourse
Univalent Foundations Seminar - Steve Awodey
Steve Awodey Carnegie Mellon University; Member, School of Mathematics November 19, 2012 For more videos, visit http://video.ias.edu.
Institute for Advanced Study
PHIL 120 Introduction to Logic (Ian Schnee)
Professor Ian Schnee describes the content of his course PHIL 120 Introduction to Logic. What makes an argument good? How do you show that someone has ...
University of Washington Department of Philosophy
Galois theory II | Math History | NJ Wildberger
We continue our historical introduction to the ideas of Galois and others on the fundamental problem of how to solve polynomial equations. In this video we focus ...
Insights into Mathematics
In Our Time: S23/05 Alan Turing (Oct 15 2020)
Melvyn Bragg and guests discuss Alan Turing (1912-1954) whose 1936 paper On Computable Numbers effectively founded computer science. Immediately ...
In Our Time
Set Theory and Logic Final Exam Review
Patricia Anderson
Calculus on the unit circles | Arithmetic and Geometry Math Foundations 78 | N J Wildberger
We illustrate algebraic calculus on the simplest algebraic curves: the unit circle and its imaginary counterpart. Starting with a polynumber/polynomial of two ...
Insights into Mathematics
CS701_Lecture01
CS701 Theory of Computation.
vu
Introduction to Higher Mathematics - Lecture 5: Set Theory
In this lecture we discuss the beginnings of set theory, a topic that runs throughout almost every area of mathematics. [NOTE: Please ignore the part about "sets ...
Bill Shillito
