Logic in computer science | Formal specification languages | Programming language semantics | Axiomatic semantics
Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. It is closely related to Hoare logic. Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the program state. The assertions are logical statements—predicates with variables, where the variables define the state of the program. (Wikipedia).
Relations and Functions | Axiomatic Set Theory, Section 2.1
In this video we define and prove a few basic theorems about relations and functions. My Twitter: https://twitter.com/KristapsBalodi3 Intro:(0:00) Ordered Pairs:(1:43) IMAGE-in that!:(3:33) Composition: (7:57) Functions:(11:05) Special thanks to Alex Stephens
From playlist Axiomatic Set Theory
The perfect number of axioms | Axiomatic Set Theory, Section 1.1
In this video we introduce 6 of the axioms of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) The Axiom of Existence: (2:39) The Axiom of Extensionality: (4:20) The Axiom Schema of Comprehension: (6:15) The Axiom of Pair (12:16) The Axiom of Union (15:15) T
From playlist Axiomatic Set Theory
This video lists an explains propositional, predicate calculus axioms, as well as a set theoretical statement that goes with it, including ZF and beyond. Where possible, the explanations are kept constructive. You can find the list of axioms in the file discussed in this video here: https:
From playlist Logic
The Big (mathematical) Bang | Axiomatic Set Theory, Section 0
The introductory video for a course on the axiomatic theory of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) Russel's Paradox: (2:13)
From playlist Axiomatic Set Theory
Axiomatics and the least upper bound property (I) | Real numbers and limits Math Foundations 120
The role of axiomatics in mathematics is a highly contentious one. Originally the term always referred to Euclid, and his use of the term to mean `a self-evident truth that requires no proof '. However in modern times the meaning of the term has shifted dramatically, to the idea that an Ax
From playlist Math Foundations
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
Equivalence relations -- Proofs
This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.
From playlist Proofs
Orders and Ordered Sets | Axiomatic Set Theory, Section 2.3
We discuss order relations on sets, and isomorphisms of ordered sets. My Twitter: https://twitter.com/KristapsBalodi3
From playlist Axiomatic Set Theory
Jean-Yves Girard: Deux ou trois choses que je sais d’elle : la logique
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
Automated Theorem Proving and Axiomatic Mathematics
Jonathan Gorard
From playlist Wolfram Technology Conference 2019
Peter Sewell: Underpinning mainstream engineering with mathematical semantics
LMS/BCS-FACS Evening Seminar November 2021
From playlist LMS/BCS-FACS Evening Seminars
Operations on Sets | Axiomatic Set Theory, Section 1.2
We define some basic operations on sets using the axioms of ZFC. My Twitter: https://twitter.com/KristapsBalodi3 Intersection:(0:00) Ordered Tuples/Products:(4:45)
From playlist Axiomatic Set Theory
Live CEOing Ep 178: Language Design in Wolfram Language
Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Language Design in the Wolfram Language.
From playlist Behind the Scenes in Real-Life Software Design
Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2
My entry into SoME2. Also, my first ever video. I hope you enjoy. The Book List: Logic by Paul Tomassi A very good first textbook. Quite slow at first and its treatment of first-order logic leaves a little to be desired in my opinion, but very good on context, i.e. why formal logic is im
From playlist Summer of Math Exposition 2 videos
Live CEOing Ep 374: Language Design in Wolfram Language [AxiomaticTheory]
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements of AxiomaticTheory for the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen
From playlist Behind the Scenes in Real-Life Software Design
Furio Honsell - Tribute to Ennio De Giorgi - 20 September 2016
Honsell, Furio "Implementing Cantor’s paradise in constructive type theory"
From playlist A Mathematical Tribute to Ennio De Giorgi
10 - Lectures : Jean-Yves Girard 3/3, D'où vient la certitude ? (l'épidictique)
IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014
From playlist T2-2014 : Semantics of proofs and certified mathematics
Set Theory (Part 2): ZFC Axioms
Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce some common axioms in set theory using the Zermelo-Fraenkel w/ choice (ZFC) system. Five out of nine ZFC axioms are covered and the remaining four will be introduced in their
From playlist Set Theory by Mathoma