Logique et arithmétique

xax
xax
dans Fondements et Logique
Une demande de renseignement : dans la vidéo suivante Lafforgue vers la minute 24 parle de deux auteurs que je ne parviens pas à retrouver, probablement en raison de la combinatoire possible pour les orthographes :
"Shéla"
"Rouchofski"
Il s'agit d'une utilisation de la logique ayant permis d'obtenir des résultats en arithmétique (apparemment il s'agit de la théorie des modèles).
Merci par avance !
"J'appelle bourgeois quiconque pense bassement." Gustave Flaubert

Réponses

  • Médiat
    Médiat
    Il s'agit "sans doute" de Saharon Shelah et Ehud Hrushovski
  • xax
    xax
    Oui merci beaucoup Médiat, Hrushovski avec le h muet je n'étais pas prêt de trouver :-) !
    "J'appelle bourgeois quiconque pense bassement." Gustave Flaubert
  • Martial
    Martial
    @xax : je confirme ce que dit Médiat.
  • xax
    xax
    Merci; ce qui fait le charme des vidéos de "vulgarisation" avec Lafforgue c'est que juste pour avoir une idée de ce qu'il raconte ça prend des plombes, mais d'un autre côté il y a la satisfaction de comprendre qu'il y a beaucoup de choses passionnantes en cours.
    "J'appelle bourgeois quiconque pense bassement." Gustave Flaubert
Connectez-vous ou Inscrivez-vous pour répondre.

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :

Connexion S'inscrire

Catégories

In this Discussion

Qui est en ligne 24

DomKarnajLOU16NicoLeProfbiguine_equationdSPmath2pozzar +16 Invités