|
[[Image:Retinography.jpg|thumb|Rétinographie : le point aveugle est le point clair .]]
Le '''point aveugle''' ou '''tache aveugle''' ou '''tache de Mariotte''' ou ''' papille optique''' correspondou à'''disque optique''' est la partie de la [[rétine]] où s'insère le tractus optique ([[nerf optique]]) qui relaye les [[influx nerveux]] de la couche plexiforme interne jusqu'au [[cortex cérébral]], ainsi que les [[vaisseau sanguin|vaisseaux sanguins]] arrivant à l'œil et quittant l'œil. Dans la pratique, ilIl s'agit donc d'une petite portion de la rétine qui est dépourvue de [[photorécepteur (biologie)|photorécepteurs]] et qui est ainsi complètement aveugle.
==Test du point aveugle==
Tous les [[yeux]] des [[Vertébrés]] ont une tache aveugle, mais les yeux des [[Céphalopodes]], qui leur [[Convergence_evolutive|ressemblent]] beaucoup, n'en ont pas. En effet, chez les Céphalopodes, le nerf optique est relié à la partie arrière des récepteurs visuels, et il baiseLe '''point aveugle''' ou '''tache aveugle''' ou '''tache de Mariotte''' ou ''' papille optique''' correspond à la partie de la [[rétine]] où s'insère le tractus optique ([[nerf optique]]) qui relaye les [[influx nerveux]] de la couche plexiforme interne jusqu'au [[cortex cérébral]], ainsi que les [[vaisseau sanguin|vaisseaux sanguins]] arrivant à l'œil et quittant l'œil. Dans la pratique, il s'agit donc d'une petite portion de la rétine qui est dépourvue de [[photorécepteur (biologie)|photorécepteurs]] et qui est ainsi complètement aveugle.
{| class="wikitable" style="text-align: center;"
! colspan="5" style="border:solid 1px #AAAAAA;" | Mise en évidence du point aveugle
Tous le monde font une partooz
|-
| colspan="5" height="50px" style="border: 0;" |
== Point aveugle dans les systèmes de règles ==
|-
| style="border: 0;" |
La notion de point aveugle concerne également les systèmes de déduction logique et plus généralement les systèmes finis de règles hiérarchisées. En [[mathématiques]] les [[théorie]]s sont des [[système]]s fondés sur une hiérarchie d'[[assertion]]s. Les assertions posées comme premières pour fonder la théorie sont dites [[axiome]]s. Elles ne doivent pas être démontrables d'elles-même (démarche de [[David Hilbert|Hilbert]]) mais elles fondent la base à toutes les déductions de la théorie : les [[théorème]]s. En ceci les axiomes constituent les points aveugles des [[mathématiques]]. [[David Hilbert]] ([[1862]]-[[1943]]) cherchait à savoir s'il était toutefois possible de justifier ''l'intérêt'' et l'optimalité des axiomes, ce qui est l'objet de la démarche métamathématique. Potentiellement toute assertion est un axiome puisque l'on peut former des théories sur n'importe quoi. Cependant toutes les théories ne sont pas à considérer de la même façon. Les théories mathématiques par exemple doivent vérifier des propriétés fondamentales telle que la consistance (c'est-à-dire la non-contradiction). Une théorie est dite consistante ''si pour toute déduction '''D''' vraie qui y est faite, '''Non D''' est fausse'' (autrement dit il est impossible d’aboutir à une contradiction vis-à-vis du tiers exclu). Le deuxième [[problèmes de Hilbert|problème de Hilbert]] demande: « peut-on prouver (à l'aide de l'[[arithmétique]] elle-même) la consistance de l'arithmétique? » ce qui équivaut à demander si la consistance de l'arithmétique est un de ses points aveugles. [[Kurt Gödel]], en publiant ses [[Théorème d'incomplétude de Gödel|théorèmes d'incomplétude]] ([[1931]]) a répondu par la négative à cette question. L'arithmétique ne peut pas voir sa propre consistance parce que la proposition '''[[P (complexité)|P]]''' « ''l'arithmétique est consistante'' » est indécidable dans le cadre de l'arithmétique. C'est là une particularité tout à fait essentielle qui touche ''toutes les théories mathématiques suffisamment élaborées pour exprimer l'arithmétique élémentaire''. La consistance de ces théories est donc leur point aveugle, elles ne peuvent la voir d'elles-même. Car Gödel est formel sur ce point : pour prouver la consistance de l'arithmétique élémentaire, il faut ''en sortir'', c'est-à-dire se placer dans une théorie plus large contenant plus d'axiomes. Mais dans ce cas, la nouvelle théorie ne peut toujours pas prouver sa propre consistance. Elle ne peut que prouver la consistance des théories de rang inférieur. Ainsi le point aveugle d'une théorie ne peut être vu que depuis l'extérieur de cette théorie. Ceci s'étend à toutes les mathématiques (suffisamment élaborées pour exprimer au moins l'arithmétique de [[Giuseppe Peano|Peano]]) : elles ne peuvent pas voir d'elle-même leur propre consistance. (Le mathématicien français [[André Weil]] résumera d'ailleurs cette conclusion en ces mots : « Dieu existe parce que les mathématiques sont cohérentes [consistantes] mais le diable existe parce que nous ne pouvons pas le prouver [mathématiquement] ») <ref> Cité in Trinh Xuan Thuan Désir d'infini: Des chiffres, des univers et des hommes Fayard 2013 p. 193</ref>. La notion de point aveugle est essentielle aux systèmes de règles hiérarchisés, et on la retrouve d'ailleurs en informatique où elle est centrale dans le [[problème de l'arrêt]], une machine logique est incapable notamment de savoir d'elle-même qu'elle est une machine logique. Bien que la notion de point aveugle intervienne fondamentalement en logique avec le deuxième problème de Hilbert et la réponse de Gödel on notera également, et antérieurement, l'aphorisme soufi selon lequel l'œil ne peut se voir lui-même<ref> Charles Antoni Le soufisme.: Voie d'Unité - l'Original 1997 p.94 </ref>.
| style="border: 0; font-size: 0.7cm; width:0.4cm;" | '''D'''
| style="border: 0; max-width: 8cm; width: 8cm;" |
| style="border: 0; font-size: 0.7cm; width:0.4cm;" | '''G'''
| style="border: 0;" |
|-
| colspan="5" height="50px" style="border: 0;" |
|-
| colspan="5" bgcolor="#ffebad" style="border:solid 1px #AAAAAA; text-align: left;" | '''Instructions :''' Masquez un de vos yeux et fixez avec l'autre la lettre appropriée ('''D''' pour droite ou '''G''' pour gauche). Regardez depuis une distance environ trois fois égale à la distance entre le '''D''' et le '''G'''. Avancez ou reculez votre regard de l'écran jusqu'à remarquer l'autre lettre disparaître. Par exemple, masquez votre œil droit, regardez le "G" avec votre œil gauche et le "D" disparaîtra.
|}
== Article connexe ==
* [[Papille de Bergmeister]]
== Liens externes ==
{{Liens}}
* {{fr}} [http://www.chez-barbu.com/site/2011-10-27-mariotte Une bande dessinée] issue du blog BD [http://www.chez-barbu.com Chez Barbu] expliquant avec humour ce phénomène physique et proposant un test pour le visualiser.
== Références ==
{{Références}}
{{Palette|Système visuel}}
{{Portail|médecine|philosophie|Œil et vue}}
[[Catégorie:VisionSystème visuel]]
| 