Coin de Quine

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir crochet.
coin de Quine
⌜ ⌝
⌞ ⌟
Graphies
Graphie ⌜ ⌝ ⌞ ⌟
Codage
Noms Coin nord-ouest
Coin nord-est,
Coin sud-ouest,
Coin sud-est
Unicode U+231C
U+231D
U+231E
U+231F
Bloc Signes techniques divers

Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est ‹ ⌜ ⌝ › sont utilisés pour les quasi-citations ou citations de Quine, et pour noter le nombre de Gödel d’une expression.

Voir aussi[modifier | modifier le code]