Logique et arithmétique — Les-mathematiques.net The most powerful custom community solution in the world

Logique et arithmétique

xaxxax
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 !

Réponses

  • MédiatMédiat
    Il s'agit "sans doute" de Saharon Shelah et Ehud Hrushovski
  • xaxxax
    Oui merci beaucoup Médiat, Hrushovski avec le h muet je n'étais pas prêt de trouver :-) !
  • MartialMartial
    @xax : je confirme ce que dit Médiat.
  • xaxxax
    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.
Connectez-vous ou Inscrivez-vous pour répondre.
Success message!