Intuitionistic Logic and Constructive Proof | Attic Philosophy
A central idea in Intuitionistic logic is that proofs should be constructive. In this video, we look at what that means, why it might be ...
Attic Philosophy
Problem Solving and Reasoning: Intuition, Proof and Certainty
Melanie Gurat
John Connor --- Intuitionistic Epistemic Logic and Propositional Truncation in the Type Theory.
Talk given on Wednesday November 14, 2018 at The Graduate Center, CUNY. Abstract: Intuitionistic Epistemic Logic (IEL) is an ...
The New York City Category Theory Seminar
Augmenting Human Intuition with AI
Learn from Petar Veličković, author of "Advancing mathematics by guiding human intuition with AI", how machines empower ...
Pi Campus
Michael Rathjen: Hilbert’s program and (semi) Intuitionism
This talk is part of the "Online International Workshop on Gödel's Incompleteness Theorems", organized by School of Philosophy ...
Logic, Philosophy and Gödel
Michael Rathjen: Proof Theory: From Arithmetic to Set Theory
This talk is part of Lectures on Logic and Foundations of Mathematics at Wuhan University starting from September 2020, ...
Logic, Philosophy and Gödel
Why the Integers and Rationals aren't Isomorphic (Intuition and Proof)
Oliver Oswald
Intuition for the p-adic metric
There's intuition behind the p-adic metric??? No way! Second video with more on distance metrics here: ...
SuperScript
Markov's Inequality: Proof, Intuition, and Example
Proof and intuition behind Markov's Inequality, with an example. Markov's inequality is one of the most important inequalities used ...
Brian Greco
Introduction to Proof Theory I: Sequent Calculus
Speaker: Tim Lyon Webpage: https://sites.google.com/view/timlyon Abstract: Proof theory is an important branch of mathematical ...
Computational Logic Group TU Dresden
Peter Dybjer: Intuitionistic Type Theory (Lecture I)
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions.
Hausdorff Center for Mathematics
Intuitionistic Logic | Attic Philosophy
Intuitionistic logic rejects one of the central building blocks of classical logic: that we can always say 'true or false', A-or-not-A. It's ...
Attic Philosophy
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
The Curry-Howard Correspondence is the observation that there exists a correspondence between objects present in disparate ...
Strange Loop Conference
Foundations 5: Intuitionistic Logic and Type Theory
In this series we develop an understanding of the modern foundations of pure mathematics, starting from first principles. We start ...
Richard Southwell
Intuitionism and Constructive Mathematics 3/1
7th meeting of the seminar on topics in logic: intuitionism and constructive mathematics: topological semantics, Kripke and Beth ...
Ulrik Buchholtz
Intuitionism and Constructive Mathematics 2/2
4th meeting of the seminar on topics in logic: intuitionism and constructive mathematics: Russian constructivism and constructive ...
Ulrik Buchholtz
Focusing Gentzen's LK proof system
Dale Miller, March 3, 2021.
Proof Theory Virtual Seminar
Unlocking our mathematical intuition
Is there mathematical knowledge built in to how we perceive the world? Are all of us essentially geniuses at maths, even if we ...
University of Canterbury
Intuitionism and Constructive Mathematics 1/19
2nd meeting of the seminar on topics in logic: intuitionism and constructive mathematics. Brouwer on the unreliability of the logical ...
Ulrik Buchholtz
Proof Theory Foundations, Lecture 1
Frank Pfenning - Proof Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of ...
p473r
Proof Trees for Intuitionistic Logic | Attic Philosophy
Proof trees are a great way to build proofs and test arguments in intuitionistic logic. They're also a helpful way to understand the ...
Attic Philosophy
Church's Thesis and Intuitionism, David Charles McCarty
Utilizing a version of T-scheme as well as partial definitions of the construction of existential and universal statement professor ...
Copernicus
Intuitionism and Constructive Mathematics, Feb 9
5th meeting of the seminar on topics in logic: intuitionism and constructive mathematics. Frank Pfenning will be giving a guest ...
Floris van Doorn
Will Stafford – Proof-Theoretic Validity for Intuitionistic Logic
Logic Supergroup — Online Colloquium, April 9, 2021 https://sites.google.com/view/logicsupergroup/ Will Stafford (Czech ...
Logic Supergroup
Guillermo Badia & Grigory Olkhovikov – A Lindström theorem for predicate intuitionistic logic
Logic Supergroup — Online Colloquium, March 26, 2021 https://sites.google.com/view/logicsupergroup/ Guillermo Badia (UQ) ...
Logic Supergroup
Cross products | Chapter 10, Essence of linear algebra
This covers the main geometric intuition behind the 2d and 3d cross products. Help fund future projects: ...
3Blue1Brown
The intuition behind Jensen's Inequality
For more information on econometrics and Bayesian statistics, see: https://ben-lambert.com/
Ox educ
Taylor series | Chapter 11, Essence of calculus
Taylor polynomials are incredibly powerful for approximations and analysis. Help fund future projects: ...
3Blue1Brown
Pambuccian - Intuitionistic axiomatization of geometry and a direct proof of Steiner-Lehmus theorem
Victor Pambuccian completed his doctorate in 1993 at the University of Michigan, with a thesis focusing on the axiomatics of ...
Filosofia Urbino
Eigenvectors and eigenvalues | Chapter 14, Essence of linear algebra
A visual understanding of eigenvectors, eigenvalues, and the usefulness of an eigenbasis. Help fund future projects: ...
3Blue1Brown
Rank-Nullity Intuition | Rank-Nullity Theorem for Vector Space
This particular video assumes familiarity with vector space theory including linear transformations, their rank, and nullity.
ProfOmarMath
Are Psychic Powers and Telepathy Real? Dr. Devi Shetty with Sadhguru
Renowned surgeon Dr. Devi Shetty asks Sadhguru whether psychic powers and telepathy are real, and if it is possible to learn ...
Sadhguru
Matrix multiplication as composition | Chapter 4, Essence of linear algebra
Multiplying two matrices represents applying one transformation after another. Help fund future projects: ...
3Blue1Brown
Intuitionist versus Classical Natural Deduction
With background music, if only to make the content less dry: http://www.youtube.com/watch?v=1Fyq491akoc.
iistanph
Integral of Sin(x): Geometric Intuition
Article: https://betterexplained.com/articles/integral-sinx/ Summary: The integral of sin(x) tracks the total horizontal (yes, horizontal) ...
Better Explained
Intuition Pumps and Other Tools for Thinking | Daniel Dennett | Talks at Google
Professor Dennett comes to Google to talk about his new book, Intuition Pumps and Other Tools for Thinking. Dennett deploys his ...
Talks at Google
e^(iπ) in 3.14 minutes, using dynamics | DE5
Euler's formula about e to the i pi, explained with velocities to positions. Help fund future projects: ...
3Blue1Brown
Translating Intuitionistic logic to modal logic | Attic Philosophy
Intuitionistic negation can be difficult to get your head around, so double-negations are twice as tricky! Not-not-p doesn't mean the ...
Attic Philosophy
Meaning in Intuitionistic Logic | Attic Philosophy
Intuitionistic logic rejects one of the central building blocks of classical logic: that we can always say 'true or false', A-or-not-A. In ...
Attic Philosophy
The 4 Maxwell Equations. Get the Deepest Intuition!
Maxwell Equations of Electrodynamics in Free Space simply explained (Crash Course). ▶️ Playlist: ...
Universaldenker ⚛ Physics
Understanding The Intuition Behind Peano Axioms
This video discusses the intuition behind Peano's axioms and how these axioms helps us in development of a system of counting.
Dataologist
Chebyshev's Inequality Proof and Intuition
Chebyshev's Inequality is a probability inequality similar to (and based on) Markov's inequality that allows us to find probability ...
Brian Greco
