Speaker: | Jean-Yves Girard (CNRS, Directeur de recherche émérite)
|
||
Quando: | 29/05/2020 - 10:30
|
||
Dove: | videoconferenza online al link: https://us02web.zoom.us/j/89571804741?pwd=NWJubDlKdHYyTUVHWEx1SllwQ0Uxdz09
|
||
Abstract
Seminario di Logica Venerdì 29 maggio 2020, ore 10h30 Jean-Yves Girard (CNRS, Directeur de recherche émérite) LA LOGIQUE DÉCONFINÉE Nul besoin de système pour raisonner, il suffit d’utiliser des tests. Jusqu’à une date récente, je pensais que cette approche d’usine achoppait L’opposition traditionnelle entre Curry et Church se retrouve sous la forme usage/usine. Ces deux approches sont reliées par un résultat d’adéquation, élimination des coupures si La trinité réaliste axiomatique syntaxe/sémantique/méta est ainsi remplacée par une trinité Il seminario sarà tenuto in lingua francese. |