Un destin si funeste, François Roustang.

FRANÇOIS ROUSTANG
UN DESTIN SI FUNESTE
On devient et on reste élève pour s'éviter le risque de penser et de parler pour son propre compte, pour s'épargner le danger de la folie. Mais les relations entretenues par Freud et ceux qui l'ont suivi révèlent que la position d'élève est redoutable. là même où elle paraît protectrice. Les rapports de force qui lient le maître et ses disciples sont porteurs de violence, de mort et d'égarement.
Alors que la dissolution du transfert est une des tâches principales de la cure psychanalytique, le rapport maître-élève est entretenu par le maintien du transfert, lequel se reporte en une circulation ininterrompue du maître sur sa théorie, puis de sa théorie sur l'institution fondée par lui. De là chez les protagonistes une crainte et une recherche incessante du plagiat, du vol des pensées, de l'influence occulte, qui les situent aux confins tantôt de la psychose, tantôt de la religion.
Dans ce contexte, la théorie psychanalytique apparaît plus nettement comme une hésitation entre le délire et la science, entre la projection et le discours universellement valable. Sa force opératoire n'est assurée que dans l'après-coup, tandis qu'elle est nulle si elle demeure fixée au par-avance.

Surpenant !

"Une contradiction ne peut vous amener à une erreur, puisqu'elle ne mène nulle part." Wittgenstein à Turing. Ca rejoint la remarque de Gödel ...

Tracas éternels au quotidien

En cours de rédaction (romancée).

Gödel et Wittgenstein

Réponse datée du 12/04/1972 à une lettre de Karl Menger du 17/01/1972: "As far as my theorem about undecidable proposition is concerned it is indeed clear that Wittgenstein did nor understand it (or pretended not to understand it). He interprets it as a kind of logical paradox, while in fact it is just the opposite, namely a mathematical theorem within an absolutely uncontroversial part of mathematics (finitary number theory or combinatorics). Incidentally, the whole passage you cite seems nonsense to me. See, e.g. the "superstitious fear of mathematicians of contradictions."

Progrès récent sur l'hypothèse du continu

On notera la phrase "les phénomènes d'incomplétude liés au thérorème de Gödel restent inévitables", snif.

Gödel et Disney

D'après "Reflections on Kurt Gödel" d'Hao Wang, page 5, Gödel était aussi un fanatique de "Blanche neige et les septs nains", comme Tarski !



blanche neige

Syllogismes de l'amertume

Nous avons tous goûté au mal de l'Occident. L'art, l'amour,la religion, laguerre,-nous en savons trop pour y croire encore; et puis, tant de siècles s'y usèrent ... L'époque du fini dans la plénitude est révolue; la matière des poèmes? exténuée.-Aimer ? La racaille même répudie le "sentiment".- La piété ? Fouillez les cathédrales: ne s'y agenouille plus que l'ineptie. Qui veut encore combattre ? Le héros est périmé; seul le carnage impersonnel à cours. Nous sommes des fantoches clairvoyants, tout juste propres à faire des simagrées devant l'irrémédiable. L'Occident ? Un possible sans lendemain.

Cioran.

Wittgenstein et le savoir.

19-4-51

559. Tu dois avoir présent à l'esprit que le jeu de langage est pour ainsi dire quelquechose d'imprévisible. J'entends par la : Il n'est pas fondé. Ni raisonnable (Ni non plus non raisonnable).
Il est là - comme notre vie.

560. Et le concept de savoir est couplé à celui de jeu de langage.

Quand je suis sorti du coma, on m'a posé des questions sur mon nom, ma date de naissance, mon âge, l'année en laquelle nous nous trouvions, le nom du président de la République. Je trouvais ces questions d'une débilité profonde. Je n'ai répondu juste que sur mon nom. Pour le reste, je savais que nous étions en 1994, j'en étais intimement persuadé. Lorsque le neurologue m'a donné les réponses exactes, j'étais dans un état d'incrédulité ébahie. Pourquoi devrais-je le croire ? Pourtant, je répondais correctement aux questions d'arithmétique élémentaire. J'ai mis plusieurs jours à faire une "restauration mémoire" à partir d'une sauvegarde cachée dans un coin du cerveau ! La différence entre un cerveau et un ordinateur, c'est que lorsque ce dernier
plante, il ne doit pas ressentir d'incrédulité, tout au plus "sait-il" qu'il va crasher. Comme a dit Lacan, la différence entre l'homme et une machine c'est qu'une machine ne dira jamais "j'ai trois frères Jacques, Paul et moi".

Une remarque de Wittgenstein.

Discussing Gödel's icompleteness theorem, in 1934, before Skolem's result was known here, Wittgenstein was led to the same interpretation of the theorem, that induction and substitution of natural numbers for free variables fail to ensure that the natural numbers are the only values which the variables may take; it is perhaps surprising that the passages on Gödels Theorem in the recently published "Reflections on the foundations of Mathematics" give no hint of this remarkable insight. (Essay in the philosophy of Mathematics, R.L Goodstein, p160)

Le système de Leibniz

Bon, je me remets aux 834 pages du "Le système de Leibniz et ses modèles mathématiques " de Michel Serres, au PUF. Beaucoup de choses conduisent aux monades, et je n'ai pas le courage de lire Leibniz dans le texte !

serres

La position de Tarski.

A. Une définition formellement correcte et matériellement adéquate de la proposition vraie peut être construite pour tout langage formalisé uniquement au moyen des expressions logiques générales, des expressions du langage donné lui même et des termes du domaine de la morphologie du langage à condition pourtant que le métalangage possède un ordre supérieur à celui du langage étudié.

B. La construction d'une telle définition n'est pas possible si l'ordre du métalangage est tout au plus égal à celui du langage étudié.

A virtual museum

Et présenté ca à INET 95, repris in CACM en 1997.

Bringing museum on line

J'ai écrit cela en 1996.

Pourquoi ne dit-il pas le vrai sur le vrai.

Dans ses "Ecrits" dans la science et la vérité, p 867, Lacan écit "Prêter ma voix à supporter ces mots intolérables "Moi, la vérité je parle ..." passe l'allégorie. Cela veut dire tout simplement tout ce qu'il ny'a pas à dire de la vérité, de la seule, à savoir qu'il n'ya pas de métalangage (affirmation faite pour situer tout le logico-positivisme), que nul langage ne saurait dire le vrai sur le vrai, puisque la vérité se fonde de ce qu'elle parle, et qu'elle n'a pas d'autre moyen pour ce faire. C'est même pourquoi l'inconscient qui le dit, le vrai sur le vrai est structuré comme un langage".

Si on reprend cette analyse la formule de Gödel qui est vraie pour un observateur extérieur (i.e dans le métalangage immédiatement supérieur) en quoi est-elle différente de l'interprétation de l'analyste qui interprète une vérité inconsciente. L'analyste n'est-il pas un observateur extérieur avec son propre métalangage, lié à son histoire ?

Depuis Hilbert, il y a bien la métamathématique.

Et Tarski expose clairement (logique, sémantique, métamathématique, tome 1, p263, en étudiant les langages d'ordre au moins égal a oméga, mais Lacan s'en tenait à aleph=: "En particulier il est toujours possible de construire le métalangage de telle manière des variables d'un ordre supérieur aux ordres de toutes les valeurs du langage étudié (...) En réalité la construction d'une définition correcte de la vérité pour les langages d'ordre infini pourrait être en principe possible."


tarski 

von Neumann et le Fortran !

In the 1950's von Neumann was employed as a consultant to review proposed and ongoing advanced technology projects. One day a week, von Neumann "held court" at 590 Madison Avenue, New York. On one of these occasions in 1954 he was confronted with the FORTRAN concept; John Backus remembered von Neumann being unimpressed and that he asked "why would you want more than machine language?" Frank Beckman, who was also present, recalled that von Neumann dismissed the whole development as "but an application of the idea of Turing's `short code'." Donald Gilles, one of von Neumann's students at Princeton, and later a faculty member at the University of Illinois, recalled in the mid-1970's that the graduates students were being "used" to hand assemble programs into binary for their early machine (probably the IAS machine). He took time out to build an assembler, but when von Neumann found out about he was very angry, saying (paraphrased), "It is a waste of a valuable scientific computing instrument to use it to do clerical work."

review my site

Merci !

Rendons a César

C’est cette même année , en Octobre (1972), qu’eu lieu une démonstration d’ARPANET à la première conférence internationale sur les communications entre ordinateurs qui se tenait à Washington. Cette démonstration fut un succès, à la surprise d’AT&T qui ne pensait pas que ce réseau puisse fonctionner. La France avait au moins deux représentants à cette conférence : Lous Pouzin qui dirigeait le projet du réseau Cyclades à l’INRIA et Remi Després qui s’occupait du réseau de commutation de paquets de France-Telecom (qui est devenu Transpac).




L'image servant a tester les transmissions. 

comment est né l'internet

J'ai du écrire ca en 1996.

N'oublions pas Kleinrock, il n'ya pas que Vint Cerf !


kleinrock 

Bourbaki et la vérité.

In éléments d'histoire des mathématiques, page 62: "On distinguera soigneusement le problème de la décision de la croyance, partagée par de nombreux mathématiciens, et souvent exprimée avec vigueur par Hilbert en particulier, que pour toute proposition mathématique, on finira par savoir si elle est vraie, fausse ou indécidable. C'est la un pur acte de foi, dont la critique échappe à notre discussion". Pas un mot sur les propositions indécidables "vraies" pour un observateur extérieur, i.e rien sur le métalangage (dont Lacan a tort de dire "qu'il n'y en a pas"). Nous avons vraiment une école Française de mathématiques qui a peur de la philosophie, et Lacan qui prend pour acquis les sujets "à la mode" sans les approfondir.

En parlant de Bourbaki, Pierre Samuel a raillé cette attitude en parlant des "hyperaxiomatiseurs en mal de généralisation".

Et comme dit Pierre Cartier, membre du groupe Bourbaki: " And Bourbaki never seriously considered logic. Dieudonne himself was very vocal against logic."

Bourbaki et Turing

Dans son Eléments d'histoire des mathématiques, Turing est cité UNE fois en bas de page par Nicolas Bourbaki pour dire en gros qu'il n'a pas résolu l'Entscheidungsproblem ! (Ou, quelle horreur, par des algorithmes). On retrouve la méfiance de Dieudonné envers la logique ! Dans le lien, je mets une lettre de Turing a Robin (dont il était le patron de thèse) ou il critique Bourbaki....

Je cite :

"Le problème de la décision «< Entscheidungsproblem ») est sans doute le plus ambitieux de tous ceux que se pose 1a métamathématique : il s'agit de savoir si, pour un langage formalisé donné, on peut imaginer un «procédé universel» quasi mécanique qui, appliqué à n'importe quelle relation du formalisme considéré, indique en un nombre fini d'opérations si cette relation est vraie ou non *, La solution de ce problème faisait déjà partie en substance des grands desseins de Leibniz, et il semble qu'un moment l'école de Hilbert ait cru sa réalisation toute proche, Il est de fait que l'on peut décrire de tels procédés pour des formalismes comportant peu de signes primitifs et d'axiomes ([143], p, 136-141). Mais les efforts faits pour préciser le' problème de la décision, en délimitant exactement ce qu'il faut entendre par « procédé universel » n'ont jusqu'ici abouti qu'à des résultats négatifs ([143], p, 432-439). D'ail leurs, la solution du problème de la décision pour une théorie T; permet aussitôt de savoir si T est ou non contradictoire, puisqu'il suffit d'appliquer le «procédé universel» à une relation de T et à sa négation; et nous allons voir qu'il est exclu qu'on puisse résoudre la question de cette manière pour les théories mathématiques usuelles **

* Une question voisine est celle de l'existence "d'algorithmes" pour la résolution de certains problèmes, que nous ne pouvons examiner ici (Turing, Post, P. Novikov""

Rassurant, non ?

L'ensemble de ces résultats suggère que l'infection chronique par le VHC peut entraîner des troubles cognitifs et des pertubations du métabolisme cérébral par un mécanisme restant à découvrir. La démonstration récente en spectroscopie de modifications métaboliques au niveau des noyaux gris centraux et de la substance blanche des malades infectés par le VHC, similaires à celles observées au cours de l'encéphalopathie VIH-1, soulève la possibilité que le VHC infecte directement le système nerveux central. L'existence de sites de réplications extra-hépatiques du VHC a été suggérée au niveau des cellules mononuclées du sang périphérique et de la moelle osseuse. Des interactions permanentes existent au niveau de la barrière hémato-encéphalique, notamment les cellules grises et microgliales et glailes. Il est concevable, par conséquent, que des cellules mononuclées du sang jouent le rôle de "cheval de Troie" pour l'introduction du virus dans le système nerveux central, entraînant une cascade de dysfonctionnement à l'origine des perturbations neurologiques et cognitives. En faveur de cette hypothèse est la mise en évidence très récente de la présence de brins négatifs d'ARN du VHC dans le tissu cérébral de malades infectés et autopsiés, suggérant la possibilité d'une replication du VHC au niveau du système nerveux central.

In hépatite C de Pawlotsky et Dhumeaux.

einstein 

Reconaissance

C'est tout de même assez gonflé de la part de Von Neumann de ne pas citer les travaux d'Alan Turing dans la découverte formelle de l'ordinateur, et dans sa construction des premiers ordinateurs. Attribuer l'unique paternité de la construction du premier ordinateur à Von Neumann c'est un peu fort de café, me semble-t-il. Von Neumann qui avait travaillé avec Turing a Stanford était parfaitement au courant des travaux de ce dernier (il lui avait d'ailleurs proposé un poste d'assistant, mais Turing a préféré retourner en Angleterre après un an à Stanford). Après 52 Turing n'avait plus le droit d'aller aux USA sont casier judiciaire faisant état de "turpitude morale".

voneumann 

Sorti le 13/07

L'hôpital m'a relaché aujourd'hui 13/07, avec des troubles mineurs pour un miraculé: perte de l'écriture manuscrite, perte de l'équilibre accroupi (ne rigolez pas pensez à vos cables USB, à votre prise téléphonique, à votre chaîne HI-FI). J'ai fini le Russell aux éditions des belles lettres. C'est affligeant que Sir Bertrand Russell reste ainsi dans l'histoire comme logicien.

russell 

Qsq jours de coma

Je suis tombé dans le coma du 12/06/04 jusqu'au 22/06/2004 date ou on a pu me débrancher des dispositifs de respiration artificielle et de "remplissage", et rassurer la famille, en constatant que je n'étais pas non plus devenu un légume (pas plus que précédemment, quoi), des complications au cerveau l'ayant laissé craindre. Ce coma est du a une pneumonie provoquée par le virus de l'hépatite C.

Le pronostic médical est passé "d'extrêmement réservé" (ce qui est toujours rassurant dans la meilleure réa cardio-pneumo de France, celle de la Pitié-Salpétriêre) à un optimisme de bon aloi. (On m'a juste dit que j'avais les poumons amochés et perdu pas mal de neurones, mais qu'il n'y avait pas de traitement pour ca, a part la marche à pied (!). Je me suis donc remis à fumer pour aider les poumons, et pour les neurones je ne pouvais pas tomber beaucoup plus bas.

Mon agrégé favori a refusé que je parte en convalescence et a préféré que je sois dopé jusqu'au 13/07/04 à l'hôpital, genre préparation tour de France 2005 dans le service Festina. Je confirme, ca marche. Bonjour la seringue.

Je serais donc à nouveau disponible à partir du 15/07.

PS: je suis navré de ne pas avoir donné l'occasion a mon employeur de pouvoir faire "moins un" sur les effectifs ! Mais ca n'est pas passé loin.

Le SAMU de Paris est très efficace, mais la remise en état d'un appartement après leur passage nécessite effectivement un dopage de haut niveau.

Dans ce genre de situation seule la famille de sang majeure a droit aux angoisses des médecins, "vous avez quatre heures pour venir si vous voulez le voir vivant une dernière fois". Il vaut mieux avoir un gamin de 30 ans que de 18 dans ce genre de situation.

Je relis from Frëge to Gödel et la bio de Turing comme musculation neuronale, ce qui inquiète les médecins qui préféreraient que je regarde la télé, avec comme commentaire "les mathématiciens meurent souvent fous".