Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance

Поделиться
HTML-код
  • Опубликовано: 30 июн 2024
  • Talk at the workshop on Homotopy Type theory, Paris, SPHERE, June 25, 2024

Комментарии •

Следующие
Автовоспроизведение
Limits of Logic: The Gödel Legacy58:16Limits of Logic: The Gödel Legacy
Limits of Logic: The Gödel LegacyThe Flame of Reason
Просмотров 200 тыс.
Andrei Rodin --- Kolmogorov's Calculus of Problems and Homotopy Type Theory.1:03:55Andrei Rodin --- Kolmogorov's Calculus of Problems and Homotopy Type Theory.
Andrei Rodin --- Kolmogorov's Calculus of Problems and Homotopy Type Theory.The New York City Category Theory Seminar
Просмотров 260
The Clever Way to Count Tanks - Numberphile16:45The Clever Way to Count Tanks - Numberphile
The Clever Way to Count Tanks - NumberphileNumberphile
Просмотров 1 млн
Sid Meier’s Civilization VII - Gameplay Reveal Trailer02:01Sid Meier’s Civilization VII - Gameplay Reveal Trailer
Sid Meier’s Civilization VII - Gameplay Reveal TrailerSid Meier's Civilization
Просмотров 1,9 млн
BTS Preparing for the Reunion S614:52BTS Preparing for the Reunion S6
BTS Preparing for the Reunion S6Jana Craig
Просмотров 275 тыс.
Jamie Carragher and Gary Neville give their 2024/25 season predictions! 🔮24:45Jamie Carragher and Gary Neville give their 2024/25 season predictions! 🔮
Jamie Carragher and Gary Neville give their 2024/25 season predictions! 🔮Sky Sports Premier League
Просмотров 1,2 млн
Risk of Rain 2: Seekers of the Storm - Chef Survivor Showcase Trailer01:09Risk of Rain 2: Seekers of the Storm - Chef Survivor Showcase Trailer
Risk of Rain 2: Seekers of the Storm - Chef Survivor Showcase TrailerGearbox
Просмотров 132 тыс.
What is...homotopy type theory?14:41What is...homotopy type theory?
What is...homotopy type theory?VisualMath
Просмотров 5 тыс.
Episode 2: Guest Lecture: Importance sampling in wireless communication1:13:30Episode 2: Guest Lecture: Importance sampling in wireless communication
Episode 2: Guest Lecture: Importance sampling in wireless communicationdrnirregev
Просмотров 125
The Potential for AI in Science and Mathematics - Terence Tao53:05The Potential for AI in Science and Mathematics - Terence Tao
The Potential for AI in Science and Mathematics - Terence TaoOxford Mathematics
Просмотров 123 тыс.
Analytic Philosophy: Frege50:35Analytic Philosophy: Frege
Analytic Philosophy: FregeDaniel Bonevac
Просмотров 88 тыс.
How to Think Clearly | The Philosophy of Marcus Aurelius5:34How to Think Clearly | The Philosophy of Marcus Aurelius
How to Think Clearly | The Philosophy of Marcus AureliusFreedom in Thought
Просмотров 3 млн
Introduction to Philosophy Lecture #1: Introduction1:27:10Introduction to Philosophy Lecture #1: Introduction
Introduction to Philosophy Lecture #1: IntroductionJack Sanders
Просмотров 256 тыс.
Category Theory in Life - Eugenia Cheng40:39Category Theory in Life - Eugenia Cheng
Category Theory in Life - Eugenia ChengLambda World
Просмотров 100 тыс.
44. Thinking Clearly & the Origins of Analytic Philosophy | THUNK6:2444. Thinking Clearly & the Origins of Analytic Philosophy | THUNK
44. Thinking Clearly & the Origins of Analytic Philosophy | THUNKTHUNK
Просмотров 53 тыс.
Analytic Philosophy Part 1: Dewey, Russell, and Whitehead9:48Analytic Philosophy Part 1: Dewey, Russell, and Whitehead
Analytic Philosophy Part 1: Dewey, Russell, and WhiteheadProfessor Dave Explains
Просмотров 15 тыс.
skibidi toilet zombie universe 40 ( New Virus)03:06skibidi toilet zombie universe 40 ( New Virus)
skibidi toilet zombie universe 40 ( New Virus)MonsterUP
Просмотров 1,9 млн
Все о работе в М Видео. Как разводят покупателей в магазинах.1:01:46Все о работе в М Видео. Как разводят покупателей в магазинах.
Все о работе в М Видео. Как разводят покупателей в магазинах.Все Работы Хороши
Просмотров 193 тыс.
The Cute Baby Found The Money And Returned It To The Owner #funny #fatherhoodmoments#cutebabies#baby00:17The Cute Baby Found The Money And Returned It To The Owner #funny #fatherhoodmoments#cutebabies#baby
The Cute Baby Found The Money And Returned It To The Owner #funny #fatherhoodmoments#cutebabies#babyCute Baby Funny Video
Просмотров 995 тыс.
Более 122 тысяч человек эвакуировали из Курской области00:50Более 122 тысяч человек эвакуировали из Курской области
Более 122 тысяч человек эвакуировали из Курской областиAIRAN
Просмотров 173 тыс.
Переписка с женой 😅 #мягкова #интервью #шоу #личка #юмор #соболев #жена #переписка #смс00:23Переписка с женой 😅 #мягкова #интервью #шоу #личка #юмор #соболев #жена #переписка #смс
Переписка с женой 😅 #мягкова #интервью #шоу #личка #юмор #соболев #жена #переписка #смсИрина Mягкова
Просмотров 75 тыс.
СЪЕШЬ БУРГЕР 3 КГ за 30 МИНУТ! **проверка ресторанов**27:29СЪЕШЬ БУРГЕР 3 КГ за 30 МИНУТ! **проверка ресторанов**
СЪЕШЬ БУРГЕР 3 КГ за 30 МИНУТ! **проверка ресторанов**Дюшес Team
Просмотров 391 тыс.
ОБЗОР ПОДАРКОВ 🎁 | WICSUR #shorts00:55ОБЗОР ПОДАРКОВ 🎁 | WICSUR #shorts
ОБЗОР ПОДАРКОВ 🎁 | WICSUR #shortsБискас
Просмотров 1 млн
ПРОКЛЯТИЕ ЗАБРОШЕННОГО ЛАГЕРЯ - Страшилки Minecraft29:16ПРОКЛЯТИЕ ЗАБРОШЕННОГО ЛАГЕРЯ - Страшилки Minecraft
ПРОКЛЯТИЕ ЗАБРОШЕННОГО ЛАГЕРЯ - Страшилки MinecraftЛинч
Просмотров 321 тыс.