informatique

Les machines me surprennent très fréquemment.

Auteur: Turing Alan

Info:

[ inattendu ] [ cybernétique ]

métaphore mathématique

La science est une équation différentielle, la religion est une condition aux limites.

Auteur: Turing Alan

Info: Carte postale reproduite en fac-similé dans l’ouvrage d’Andrew Hodges, Alan Turing : The Enigma

[ bornes ] [ impossible salutaire ]

visionnaire

Le génie n'est pas celui qui croit mais celui qui saisit la progression des choses.

Auteur: Lemire Laurent

Info: biographie d'Alan Turing

[ voir ]

dernières paroles

Puisque la société veut me transformer en femme, je choisis de mourir comme la plus pure d'entre elles.

Auteur: Turing Alan

Info:

[ suicide ]

homme-machine

Aucun test de Turing ne reproduira la véritable nature humaine, aussi doué soit-il pour imiter un organisme. Les machines calculent, les hommes comptent. Les machines ont des programmes, les humains des buts.

Auteur: MacLeod Ken

Info: La Division Cassini

[ comparaison ]

parapsychologie

Ces dérangeants phénomènes ESP (Perception Extra Sensorielle) semblent nier toutes nos idées scientifiques. Comme nous aimerions les discréditer ! Malheureusement, les preuves statistiques, du moins en ce qui concerne la télépathie, sont accablantes.

Auteur: Turing Alan

Info:

[ paranormal ]

singularité

Le grand sociologue Norbert Elias l'a brillamment montré : l'homme n'est pas une entité indépendante, mais un processus de construction directement inséré dans le flux temporel de son époque. Le Moi n'a rien d'abstrait. Chaque destinée singulière est le produit d'une tension contradictoire entre un libre arbitre, des désirs, des besoins spécifiques et une matrice culturelle sur laquelle sont gravées les valeurs et les normes du temps. Cette tension, trop forte, trop pesante, brisa Alan Turing comme un miroir sur lequel on aurait trop appuyé. De cette vie éclatée, il reste un destin exceptionnel, fulgurant et tragique.

Auteur: Lemire Laurent

Info: Alan Turing

[ grégaire ] [ rupture ]

couple

Joan Clarke, brillante mathématicienne et cryptologue, fut demandée en mariage par Allan Türing... Elle accepta et ce fut probablement là où Turing réalisa complètement son tropisme homosexuel. Il le lui avoua, ils se séparèrent mais restèrent très bons amis. D'aucuns pensent que s'ils s'étaient mariés, leur collaboration professionnelle se serait terminée (par exemple parce que les dirigeants auraient viré Joan de Bletchley - où étaient rassemblés tous les logiciens chargés de décrypter Enigma) et que par conséquent les occidentaux auraient peut-être perdu la guerre. Joli hommage à une dame de la part de ses confrères.
De cette histoire le cinéma à romancé le film "Imitation games", à voir avec toute la distance nécessaire.

Auteur: Mg

Info: 18 août 2017

[ efficacité ] [ éloge ] [ femmes-par-hommes ]

impossibilité

Tous les théorèmes limitatifs des métamathématiques et la théorie du calcul suggèrent qu'une fois que la capacité de représenter sa propre structure a atteint un certain point critique, c'est le baiser de la mort : ce qui garantit que l'on ne peut jamais se représenter totalement soi-même. Le théorème de l'incomplétude de Gödel, le théorème de l'indécidabilité de Church, celui de l'Arrêt de Turing, le Théorème de la Vérité de Tarski - tous ont la saveur d'un ancien conte de fées qui vous avertit que "Chercher la connaissance de soi, c'est entreprendre un voyage qui... sera toujours incomplet, qu'on ne peut tracer sur aucune carte, qui ne s'arrêtera jamais et ne peut être décrit".

Auteur: Hofstadter Douglas

Info: Gödel, Escher, Bach : An Eternal Golden Braid. Partie II, Chapitre XX (p. 697) Basic Books, Inc. New York, New York, États-Unis. 1979

[ limitation ]

entendement

Lorsqu'il est considéré comme un moyen de modéliser l'architecture cognitive, le connexionnisme* représente réellement une approche très différente de celle de la science cognitive classique qu'il cherche à remplacer. Les modèles classiques de l'esprit ont été dérivés de la structure des machines de Turing et de Von Neumann. Ils ne s'attachent pas, bien entendu, aux détails de ces machines tels qu'ils sont illustrés dans la formulation originale de Turing ou dans les ordinateurs commerciaux typiques, mais seulement à l'idée de base selon laquelle le type d'informatique pertinent pour comprendre la cognition implique des opérations sur des symboles... En revanche, les connexionnistes proposent de concevoir des systèmes capables d'afficher un comportement intelligent sans stocker, récupérer ou opérer sur des expressions symboliques structurées. Le style de traitement effectué dans de tels modèles est donc étonnamment différent de ce qui se passe lorsque des machines conventionnelles calculent une fonction quelconque.

Auteur: Pylyshyn Zenon Walter

Info: "Connectionism and cognitive architecture : A critical analysis." Cognition 28.1-2 (1988) : 3-71. With Jerry A. Fodor . *approche utilisée en sciences cognitives, neurosciences, psychologie et philosophie de l'esprit. Le connexionnisme modélise les phénomènes mentaux ou comportementaux comme des processus émergents de réseaux d'unités simples interconnectées. Par exemple des neurones ou réseaux de neurones.

[ engrammes intriqués ]