Thèse
Par Arthur Milchior le dimanche 25 octobre 2009, 11:03 - Mathématiques - Lien permanent
J'ai discuté avec un de mes lecteurs l'autre jour, et j'aimerai dissiper un malentendu. Quand je parlais de "thèse", il ne s'agissait pas du document qu'un doctorant écrit en trois ans ou plus. Ce mot existe aussi en logique mathématique.
Le symbole ⊢ se lit "thèse"[1], c'est un signe logique qui indique que un truc[2] est sensé permettre de conclure un autre truc[3]. C'est un assemblage syntaxique de symbole, en général écrit sur un arbre. En lui même, ça n'a pas beaucoup de sens mais on espère que ça puisse effectivement en avoir, afin que l'arbre utilisé soit utile.
En fait, après réflexion, on dirait que ce n'est pas si différent qu'une thèse de doctorant.
Commentaires
Ce truc « ⊢ » ?
Merci Mimo!
Par curiosité, tu as fait comment pour le taper sur une page web? (Et d'ailleurs, comment es-tu tombé sur cette page?)
Amicalement
Arthur
Copié-collé de http://en.wikipedia.org/wiki/Table_...