Thèse

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.

Notes

[1] Au cas où vous n'ayez pas la bonne police pour le voir, ça s'écrit comme un T à qui on aurait fait un quart de tour sur la gauche

[2] écrit à gauche du symbole

[3] à droite du symbole

Commentaires

1. Le dimanche 25 octobre 2009, 18:25 par mimo

Ce truc « ⊢ » ?

2. Le dimanche 25 octobre 2009, 20:42 par Arthur Rainbow

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

3. Le mardi 27 octobre 2009, 17:00 par mimo

Copié-collé de http://en.wikipedia.org/wiki/Table_...

Ajouter un commentaire

Le code HTML est affiché comme du texte et les adresses web sont automatiquement transformées.

La discussion continue ailleurs

URL de rétrolien : http://www.milchior.fr/blog/index.php?trackback/185

Fil des commentaires de ce billet