Вміст надано Pedro Abreu. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Pedro Abreu або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

Type Theory Forall « »
#22 Impredicativity, LEM, Realizability and more - Cody Roux

2y ago 2:19:23

Поширити

MP3•Головна епізоду

In this episode Cody Roux teaches some interesting concepts that people care about in Mathematics and Logic as a way to try to understand what is going on in the universe around us! In particular we will try to explain concepts such as Impredicativity, Excluded Middle, Group Theory, Model Theory, Kripke Models, Realizability, The Markov Principle, Cut Elimination, and other stuff!

Links

81 епізодів

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

כל הפרקים

Ласкаво просимо до Player FM!

Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.

Слухайте шоу на 500+ тем

Схожі до Type Theory Forall

Подкасти, які варто послухати

Type Theory Forall « » #22 Impredicativity, LEM, Realizability and more - Cody Roux

Links

#22 Impredicativity, LEM, Realizability and more - Cody Roux

Links

Подкасти, які варто послухати

Ласкаво просимо до Player FM!

Схожі до Type Theory Forall

Короткий довідник

Type Theory Forall « »
#22 Impredicativity, LEM, Realizability and more - Cody Roux