Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'grtua1faiu75n3rev4t43f1jf0' in /var/www/church/includes/database.mysql.inc on line 121
LA LOGIQUE DÉCONFINÉE | Gruppo di Logica e Geometria della Cognizione

LA LOGIQUE DÉCONFINÉE

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
Resumé

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
sur des problèmes de finitude. Mais si l’on considère des tests suffisants (pas nécessaires
donc), les batteries de tests peuvent rester finies.

L’opposition traditionnelle entre Curry et Church se retrouve sous la forme usage/usine.
L’usage (BHK) définit les signifiants logiques implicitement : le type comme comportement.
L’usine (Herbrand) définit les signifiants logiques explicitement : le type comme critère de correction.

Ces deux approches sont reliées par un résultat d’adéquation, élimination des coupures si
l’on veut : les tests suffisent à garantir l’usage.

La trinité réaliste axiomatique syntaxe/sémantique/méta est ainsi remplacée par une trinité
déréaliste usine/usage/adéquation.

Il seminario sarà tenuto in lingua francese.
________________________________________________________________________________
Join Zoom Meeting



Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'grtua1faiu75n3rev4t43f1jf0' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/680', '', '216.73.216.58', 1751577243) in /var/www/church/includes/database.mysql.inc on line 121