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 la numérotation de Gödel d’une expression.
Utilisation En logique mathématique, les coins de Quine sont utilisés de la façon suivante : l’expression désigne une expression combinant les termes et , peu importe ce qu’ils sont, par un signe d’inclusion entre parenthèses. Si et sont respectivement « » et « », alors est la formule « ». En général, l’expression entre coins de Quine représente une expression que l’on obtient lorsque les termes de cette première expression sont spécifiés.
Notes et références
Bibliographie
Voir aussi Demi-crochet
Liens externes
Catégorie:Symbole typographique Catégorie:Symbole mathématique