Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

[Oxford Seminar] Matteo Capucci | A Taste of Quantitative Logic

Автор: Topos Institute

Загружено: 2025-12-08

Просмотров: 176

Описание:

Oxford Seminar, November 26 2025

Speaker: Matteo Capucci

Full Title: A Taste of Quantitative Logic

Abstract: Quantitative logic, after Lawvere, is one whose judgments are valued in real numbers, rather than merely being a logic about real numbers. By doing this we can guarantee good structural properties of the logic, such as being able to treat addition as an additive connective in the sense of Girard. Moreover, by employing the full spectrum of sums multiplication distributes over, we are able to approximate 'hard' connectives with 'soft' ones, with application in machine learning. In the talk I will showcase these features by describing a sequent calculus for a quantitative version of linear logic. This is work in progress with Atkey, Grellois, and Komendantskaya.

[Oxford Seminar] Matteo Capucci | A Taste of Quantitative Logic

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

[Семинар в Беркли] Бенджамин Браст Макки | Построение возможных миров

[Семинар в Беркли] Бенджамин Браст Макки | Построение возможных миров

[DOTS Lectures] 14. Applying the representability theorem: examples of compositional behaviours

[DOTS Lectures] 14. Applying the representability theorem: examples of compositional behaviours

Как вычислять пределы алгебраически. Часть 2

Как вычислять пределы алгебраически. Часть 2

[Семинар в Беркли] Коринтия Аберле | Синтетическая математика, логические модели, категориальная ...

[Семинар в Беркли] Коринтия Аберле | Синтетическая математика, логические модели, категориальная ...

целочисленный бесконечно вложенный радикал

целочисленный бесконечно вложенный радикал

Something Weird Happens When E=−mc²

Something Weird Happens When E=−mc²

3 ошибки = прогресс 00.0% в английском

3 ошибки = прогресс 00.0% в английском

What is Euler's formula actually saying? | Ep. 4 Lockdown live math

What is Euler's formula actually saying? | Ep. 4 Lockdown live math

LLM и GPT - как работают большие языковые модели? Визуальное введение в трансформеры

LLM и GPT - как работают большие языковые модели? Визуальное введение в трансформеры

[Berkeley Seminar] B. Rousse | Heidegger, Skill, and the Conversational Structure of Human Work

[Berkeley Seminar] B. Rousse | Heidegger, Skill, and the Conversational Structure of Human Work

Как считает квантовый компьютер? Самое простое объяснение!

Как считает квантовый компьютер? Самое простое объяснение!

Terence Tao on Grigori Perelman solving Poincare Conjecture | Lex Fridman Podcast Clips

Terence Tao on Grigori Perelman solving Poincare Conjecture | Lex Fridman Podcast Clips

Математики открывают странную новую бесконечность

Математики открывают странную новую бесконечность

Как он это делает? Секрет побед Абдусатторова в равных позициях!

Как он это делает? Секрет побед Абдусатторова в равных позициях!

Every Nation Is in Debt… So Who’s the Lender | Yanis Varoufakis

Every Nation Is in Debt… So Who’s the Lender | Yanis Varoufakis

Гарвардский физик Сабрина Пастерски названа следующим «Эйнштейном»

Гарвардский физик Сабрина Пастерски названа следующим «Эйнштейном»

Параметр из ЕГЭ-2025 | Борис Трушин #математика #егэ #трушин #бориструшин

Параметр из ЕГЭ-2025 | Борис Трушин #математика #егэ #трушин #бориструшин

Cory Doctorow: why Facebook and Google are incentivised to make their products worse

Cory Doctorow: why Facebook and Google are incentivised to make their products worse

ДНК создал Бог? Самые свежие научные данные о строении. Как работает информация для жизни организмов

ДНК создал Бог? Самые свежие научные данные о строении. Как работает информация для жизни организмов

Почему Бетельгейзе уже взорвалась, но мы не знаем?

Почему Бетельгейзе уже взорвалась, но мы не знаем?

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]