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
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
http://www.teachastronomy.com/ Logic is a fundamental tool of the scientific method. In logic we can combine statements that are made in words or in mathematical symbols to produce concrete and predictable results. Logic is one of the ways that science moves forward. The first ideas of
From playlist 01. Fundamentals of Science and Astronomy
How does mathematics describe the physical features of the world?
Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu
From playlist Science Unplugged: Mathematics
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 "mathematics is based on set theory" is quite misguided, and in its current form represents an abdication of our responsibility t
From playlist Math Foundations
The problem with `functions' | Arithmetic and Geometry Math Foundations 42a
[First of two parts] Here we address a core logical problem with modern mathematics--the usual definition of a `function' does not contain precise enough bounds on the nature of the rules or procedures (or computer programs) allowed. Here we discuss the difficulty in the context of funct
From playlist Math Foundations
Problems with the Calculus | Math History | NJ Wildberger
We discuss some of the controversy and debate generated by the 17th century work on Calculus. Newton and Leibniz's ideas were not universally accepted as making sense, despite the impressive, even spectacular achievements that the new theory was able to demonstrate. In this lecture we di
From playlist MathHistory: A course in the History of Mathematics
Type Systems - Vladimir Voevodsky
Vladimir Voevodsky Institute for Advanced Study November 21, 2012
From playlist Mathematics
Presocratics Part 2: Mathematics, Atoms, and Logic
Continuing our examination of the Presocratic Greek philosophers, we examine some early formulations of mathematics, atomism, and logic. This will include figures from the Eleatic school, including Zeno and his famous paradoxes, and then moving on to the pluralists such as Anaxagoras and E
From playlist Philosophy/Logic
History of Science and Technology Q&A (April 6, 2022)
Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
Wittgenstein's Games (A. C. Grayling)
Professor A. C. Grayling discusses the thought of Ludwig Wittgenstein and the intellectual context surrounding his life and work. Note, the audio has been slightly improved. I increased the volume and tried to reduce some of the cell phone interference that occasionally shows up. In any ca
From playlist Wittgenstein
Science & Technology Q&A for Kids (and others) [Part 23]
Stephen Wolfram hosts a live and unscripted Ask Me Anything about science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram Outline of Question & Answer 0:00 Stream starting 2:13 Step
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
Science & Technology Q&A for Kids (and others) [Part 58]
Stephen Wolfram hosts a live and unscripted Ask Me Anything about science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram Outline of Q&A 0:00 Stream starts 2:50 Stephen begins the s
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
Infinite Sets and Foundations (Joel David Hamkins) | Ep. 17
Joel David Hamkins is a Professor of Logic with appointments in Philosophy and Mathematics at Oxford University. His main interest is in set theory. We discuss the field of set theory: what it can say about infinite sets and which issues are unresolved, and the relation of set theory to ph
From playlist Daniel Rubin Show, Full episodes
How Do We Know What We Know? Philosophy of Science
What's the backbone behind all our scientific knowledge? How can we improve our methodologies and understand our world better? These are the kind of questions that the Philosophy of Science deals with. We're discussing how these things fit in the modern world of science with Professor Sam
From playlist Interviews
Ludwig Wittgenstein - John Searle & Bryan Magee (1987)
In this program, John Searle discusses the life and thought of Ludwig Wittgenstein with Bryan Magee. This is an episode from a 1987 series on the Great Philosophers. 00:00 Introduction 03:37 Picture Theory of Meaning 08:56 Meaning as Use 11:09 Family Resemblance 15:44 Language Games 19:11
From playlist Bryan Magee Interviews - The Great Philosophers (1987)
Post-Talk Conversation, “Are Scientific Models Fictions? Model-Based Science as Epistemic Warfare”
Post-Talk Conversation between Lorenzo Magnani, Department of Humanities, Philosophy Section and Computational Philosophy Laboratory, University of Pavia, Italy and James Weatherall, Department of Logic and Philosophy of Science, University of California, Irvine. In the current epistemol
From playlist Franke Program in Science and the Humanities
The Philosophy of Language - John Searle & Bryan Magee (1978)
In this program, John Searle discusses the philosophy of language with Bryan Magee. This is from a 1978 series on Modern Philosophy called Men of Ideas. #Philosophy #BryanMagee #Searle
From playlist Bryan Magee Interviews - Modern Philosophy: Men of Ideas (1977-1978)
The Two Philosophies of Wittgenstein - Anthony Quinton & Bryan Magee (1978)
In this program, Anthony Quinton discusses the early and late work of Ludwig Wittgenstein with Bryan Magee. This is from a 1978 series on Modern Philosophy called Men of Ideas. #Philosophy #Wittgenstein #BryanMagee
From playlist Bryan Magee Interviews - Modern Philosophy: Men of Ideas (1977-1978)
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 sets or Boolean logic; intuitionism is enough ("no principle of excluded middle required"). The underlying math is Topos Theory
From playlist LambdaConf 2015