Type Systems - Vladimir Voevodsky

Institute for Advanced Study162K subscribers

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Type systems explores computational and mathematical foundations of type-based programming and formal systems. Systematic lecture introducing core concepts for understanding formal methods.

A 58-minute video from Institute for Advanced Study: “Type Systems - Vladimir Voevodsky”.

Science & Math Philosophy

Video by Institute for Advanced Study, played through YouTube's embedded player.

What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky Institute for Advanced StudyLectures

Advanced57.1K views

14:17

The Liar Paradox - an explanation of the paradox from 400 BCE Jeffrey KaplanPhilosophy

1.15M views

The Neuroscience of Consciousness – with Anil Seth The Royal InstitutionLectures

1.92M views

28:28

Russell's Paradox - a simple explanation of a profound problem Jeffrey KaplanPhilosophy

10.5M views

59:51

How the brain shapes reality - with Andy Clark The Royal InstitutionPhilosophy

239K views

Analogy as the Core of Cognition StanfordLectures

600K views

29:37

Introduction to Psychology with Paul Bloom: 1. Introduction YaleCoursesLectures

Intro2.52M views

22:14

How did Alchemy work?ESOTERICAPhilosophy

859K views

8:57

Karl Popper, Science, & Pseudoscience: Crash Course Philosophy #8 CrashCoursePhilosophy

Intro2.94M views

Intro to Psychology: Crash Course Psychology #1 CrashCoursePhilosophy

Intro17.9M views

Your Brain Hallucinates Your Conscious Reality | Anil Seth | TED TEDPhilosophy

11.9M views

The Fermi Paradox — Where Are All The Aliens? (1/2)Kurzgesagt – In a NutshellScience & Math

35.5M views

What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky

Institute for Advanced Study

Advanced57.1K views

Vladimir Voevodsky asks whether first-order arithmetic could be inconsistent and motivates univalent foundations and computer-checked proofs.

14:17

The Liar Paradox - an explanation of the paradox from 400 BCE

Jeffrey Kaplan

1.15M views

The liar paradox ('this sentence is false') and why it has troubled logicians since antiquity.

The Neuroscience of Consciousness – with Anil Seth

The Royal Institution

1.92M views

Anil Seth on consciousness as controlled hallucination: perception as prediction and what neuroscience can measure.

28:28

Russell's Paradox - a simple explanation of a profound problem

Jeffrey Kaplan

10.5M views

Russell's paradox: the set of all sets that don't contain themselves, why it broke naive set theory and Frege's project.

59:51

How the brain shapes reality - with Andy Clark

The Royal Institution

239K views

Philosopher Andy Clark explains predictive processing: how the brain constructs experience by predicting its inputs, and what that means for mind and self.

Analogy as the Core of Cognition

Stanford

600K views

Douglas Hofstadter argues that analogy-making is the core mechanism of human thought, with many concrete examples.

29:37

Introduction to Psychology with Paul Bloom: 1. Introduction

YaleCourses

Intro2.52M views

Paul Bloom opens Introduction to Psychology: what psychology studies and the big questions about mind and behaviour.

22:14

How did Alchemy work?

ESOTERICA

859K views

How alchemy actually worked as a theory of matter and practice, and how it related to early chemistry.

8:57

Karl Popper, Science, & Pseudoscience: Crash Course Philosophy #8

CrashCourse

Intro2.94M views

Karl Popper's falsifiability criterion for separating science from pseudoscience.

Intro to Psychology: Crash Course Psychology #1

CrashCourse

Intro17.9M views

An introduction to psychology: its history and major approaches.

Your Brain Hallucinates Your Conscious Reality | Anil Seth | TED

TED

11.9M views

Anil Seth argues that perception is the brain's best guess about the world and the body — a 'controlled hallucination'.

The Fermi Paradox — Where Are All The Aliens? (1/2)

Kurzgesagt – In a Nutshell

35.5M views

The Fermi paradox: the scale of the galaxy and the main proposed answers to 'where is everybody?'