22 de octubre de 2012

8 messages - Retourner à l'article

Voir tous les messages - Retourner à l'article

  • Comment allonger à l’infini votre liste de publications mathématiques

    le 25 de octubre de 2012 à 11:15, par Clément Caubel

    Merci pour ce lien très amusant !
    Je ne peux pas m’empêcher de me dire, en lisant le résultat, qu’il ne manque pas grand chose pour que ce soit plus bluffant, et que ça s’apparente à un papier dans un domaine complètement inconnu...

    Je frôle sans doute le hors-sujet, mais je sais qu’il existe des logiciels de preuves formelles (cf. cet article de 2006 de la version papier d’IdM). Quoi de neuf depuis 2006 ? Ne peut-on pas du coup imaginer des machines à théorèmes ?

    Répondre à ce message
Pour participer à la discussion merci de vous identifier : Si vous n'avez pas d'identifiant, vous pouvez vous inscrire.
La traducción del sitio del francés al castellano se realiza gracias al apoyo de diversas instituciones de matemáticas de América Latina.