Classical logic
Classical logic (or standard logic or Frege-Russell logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy. (Wikipedia).
Classical logic (or standard logic or Frege-Russell logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy. (Wikipedia).
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
Propositional Logic and the Algebra of Boole | MathFoundations273 | N J Wildberger
We give an overview of classical Propositional Logic, which is a branch of philosophy concerned with systematizing reason. This framework uses "atomic statements" called "propositions", and "relations", or "connectives", between them, prominently AND, OR, NOT, IMPLIES and EQUIVALENT, and t
From playlist Boole's Logic and Circuit Analysis
What are Non-Classical logics?
Some of the general classes of non-classical logics I touch in this videos are linear logic, relevant logic, modal logic, many-valued logics, minimal logic, paraconsistent logics and so on and so forth. Let me know if I should dive deeping into a certain scene? https://en.wikipedia.org/wi
From playlist Programming
Classical Mechanics | Lecture 1
(September 26, 2011) Leonard Susskind gives a brief introduction to the mathematics behind physics including the addition and multiplication of vectors as well as velocity and acceleration in terms of particles. This course is the beginning of a six course sequence that explores the theor
From playlist Lecture Collection | Classical Mechanics (Fall 2011)
How to Get Classical Physics from Quantum Mechanics
We tend to think of Classical Physics as straightforward and intuitive and Quantum Mechanics as difficult and conceptually challenging. However, this is not always the case! In classical mechanics, a standard technique for finding the evolution equations for a system is the method of least
From playlist Quantum Mechanics
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
Classical Mechanics | Lecture 7
(November 7, 2011) Leonard Susskind discusses the some of the basic laws and ideas of modern physics. In this lecture, he focuses on Liouville's Theorem, which he describes as one of the basis for Hamiltonian mechanics. He works to prove the reversibility of classical mechanics. This cour
From playlist Lecture Collection | Classical Mechanics (Fall 2011)
Classical Mechanics | Lecture 3
(October 10, 2011) Leonard Susskind discusses lagrangian functions as they relate to coordinate systems and forces in a system. This course is the beginning of a six course sequence that explores the theoretical foundations of modern physics. Topics in the series include classical mechani
From playlist Lecture Collection | Classical Mechanics (Fall 2011)
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
Classical and Quantum Subjectivity
Uncertainty is a major component of subjective logic beliefs. We discuss the cloud of uncertainty across Markov networks, insights from computational irreducibility, and negative quantum quasiprobabilities and beliefs.
From playlist Wolfram Technology Conference 2022
Proving the law of excluded middle (LEM)
In this video we're constructively proving a classical equivalent of the law of excluded middle, namely the law of non-contradiction. That is to say, we prove a statement that, when classically interpreted, just reduces to forall P. P or not P. https://en.wikipedia.org/wiki/Modus_ponens h
From playlist Logic
In this video we discuss how the informal set builder notation, and various expressions where it's used, translates to logical sentences. I also talk a bit about universtal and existential quantification and how this relates to various notations in formal set theory. https://en.wikipedia.
From playlist Logic
What is quantum mechanics? A minimal formulation (Seminar) by Pierre Hohenberg
29 December 2017 VENUE : Ramanujan Lecture Hall, ICTS , Bangalore This talk asks why the interpretation of quantum mechanics, in contrast to classical mechanics is still a subject of controversy, and presents a 'minimal formulation' modeled on a formulation of classical mechanics. In bot
From playlist US-India Advanced Studies Institute: Classical and Quantum Information
Apple’s Macintosh Classic - Retro Computer Hardware Overview and Review
Macintosh Librarian Episode 1. Maccy and Ms. Fox go over the Macintosh Classic - Apple’s first low cost Macintosh aimed at under $1000. Thanks for watching the first episode of my Macintosh Librarian Video project! I hope this video brings a smile to your face. It was definitely a fun exp
From playlist Early Microcomputers & PCs
Samson Abramsky - The sheaf-theoretic structure of contextuality and non-locality
Talk at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/AbramskySlidesToposesOnline.pdf Quantum mechanics implies a fundamentally non-classical picture of the physical worl
From playlist Toposes online
Dale Miller: Focused proof systems
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 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 Audiovisual
From playlist Logic and Foundations
Quantum Entanglement, Bell Inequality, EPR paradox
Quantum Entanglement, EPR paradox, Bell Inequality, and the implication for Einstein's Theory of Relativity.
From playlist Physics
Classical Mechanics | Lecture 2
(October 3, 2011) Leonard Susskind discusses the some of the basic laws and ideas of modern physics. In this lecture, he focuses on some of the incorrect laws of motion that were first proposed by Aristotle. While they are invalid they provide some insight into how modern physics has devel
From playlist Lecture Collection | Classical Mechanics (Fall 2011)
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
Peter Lumsdaine Homotopy Type Theory: what can logic do for homotopy theory? Institute for Advanced Study; Member, School of Mathematics October 4, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics