[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](https://ricktube.ru/thumbnail/JWfuuPr_ptU/hq720.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![[Семинар в Беркли] Бенджамин Браст Макки | Построение возможных миров](https://ricktube.ru/thumbnail/p-z4bhj7p-g/mqdefault.jpg)
![[DOTS Lectures] 14. Applying the representability theorem: examples of compositional behaviours](https://ricktube.ru/thumbnail/RNwCljKiP24/mqdefault.jpg)
![[Семинар в Беркли] Коринтия Аберле | Синтетическая математика, логические модели, категориальная ...](https://ricktube.ru/thumbnail/MjkWT6GkISI/mqdefault.jpg)
![[Berkeley Seminar] B. Rousse | Heidegger, Skill, and the Conversational Structure of Human Work](https://ricktube.ru/thumbnail/6xwODsGadn4/mqdefault.jpg)
