• [^] # Re: prouveur automatique/assistant de preuve

    Posté par (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 1.

    Moi je dirais qu'il n'en existe pas encore, mais théoriquement, je vois pas ce qui l'empêche. Y a déjà des travaux qui sont fait pour virtualiser le réseau neuronale d'un cerveau humain, et donc, à priori, de faire penser ce cerveau comme celui d'un être humain. À partir de là, tu remplaces ton utilisateur physique par cet utilisateur virtuel, et hop...

    Cela dit, ce serait peut être prendre le canon pour dégommer la mouche.