Plan du site

Actualités

Articles

  • Peut-on avoir raison tout seul ?

    , par Joseph Vidal-Rosset

    Pour Cyrille Imbert
    Il s’agit de répondre ici au problème philosophique que pose la question « peut-on avoir raison tout seul ? ». Pour éviter de répéter cette formulation, on la désignera à partir de maintenant par l’expression plus concise « question S ». Comme on va le voir, la question S illustre au (...)

Automatisation des preuves

[Educasup] FAQ