Unilog 2022 – What makes a demonstration worthy of the name? by Paul Jorion

Texte de l’article qui a été présenté aujourd’hui par ma collègue Yu Li de l’Université de Picardie, au congrès Unilog 2022 qui se tient à Chania en Crète. À terme, ce texte servira de préambule à l’exposé que je suis en train de bâtir sur la conjecture P vs NP. Une esquisse en français du texte ici a déjà été publiée sur le blog : Que démontrent les mathématiciens, et le font-ils d’une manière digne de ce nom ?, le 5 mars 2022.

What makes a demonstration worthy of the name?

Paul Jorion *
* ETHICS – EA 7446, Université catholique de Lille, 60 Bd Vauban, 59800 Lille, France

Subject: Foundations of mathematics
Cite as: https://www.pauljorion.com/blog_en/2022/04/09/unilog-2022-what-makes-a-demonstration-worthy-of-the-name-by-paul-jorion/

Three ways of ascertaining the truth

One reads in an introductory book to the work of Kurt Gödel:

« … Aristotelian logic rests on two pillars: a set of premises, or assumptions, which are taken to be true without proof, and a collection of rules of inference, by which we transform one true statement into another […] As long as we can convince ourselves that the premises are true, then the conclusions [are] as solid and inescapable a fact as there ever will be. It is a certainty that follows from the semantic content of the premises and from the process of deduction laid down in our minds and formalised by Aristotle. 

What Gödel discovered is that even if there exist true relations among pure numbers, the methods of deductive logic are just too weak for us to be able to prove all such facts. In other words, truth is simply bigger than proof » (Casti & DePauli 2000: 4-5).

Although widely accepted, what is asserted here in the second paragraph is based on a major misunderstanding as that truth is bigger than proof is no discovery of Gödel’s, as it was established by Aristotle twenty-five centuries ago and was the starting point of his groundbreaking reflection on truth and falsehood.

This fundamental misunderstanding, however, is far from trivial: it has undermined the pursuit of the mathematical venture in several ways. Indeed, mathematicians have attempted to prove statements which were in no need to be proved in the first place as their truth was established at little cost by other means, and in so doing they have at times introduced erroneous demonstrations aimed at proving… the undemonstrable, or hardly demonstrable (e.g. that there  exists in the Amazon a seven black-dotted yellow ladybird).

« Truth is simply bigger than proof », indeed, according to Aristotle, proof was but one of the three available sources of truth; since his days, none has been added to his brief list. Aristotle determined that there were three known ways for accessing the truth:

1° Truth known from perceptual evidence arising from our five senses, providing it can be corroborated so that facts are distinguished with certainty from illusions.

2° Truth derived from commonly accepted definitions, by which we assign to a single word or expression the meaning of a phrase: « the fawn is the young of the deer and the doe »; henceforth, whenever I am tempted to say « the young of the deer and the doe », I can say « fawn » instead. In mathematics, definitions are called « axioms ».

3° Truth reached as the conclusion of a well-formed syllogism, i.e. syntactically correct, by valid deductions from true premises. In mathematics, we call the equivalent of sequences of conclusions of valid syllogisms « theorems ».

Transposed into the language of mathematics, these three modes of accessing the truth become

1° Truth resulting from observations of the physical world expressed as models in mathematical language (mathematics as « virtual physics »)

2° Truth established by axioms, which are definitions expressed in mathematical language

3° Truth obtained by the demonstration of a theorem, which is the conclusion of the proof provided.

Because in recent centuries mathematicians have ignored corroborated sensory evidence as the main and primary source of truth, they have attempted to prove by means of axioms and theorems solely, a considerable number of things that appear to be true, neglecting the « obvious » truths that come to us as trusted perceptions by our senses, i.e. as data captured from the world surrounding us as it stands. E.g. Goodstein’s theorem which « proves » … an observation about natural numbers. Thus, instead of saying: « Here is a curiosity that arises when we define a sequence of natural numbers in a certain way », Goodstein thought it appropriate to demonstrate a theorem stating what we observe, taking axioms as the starting point for his demonstration. The fact that Goodstein’s theorem can be demonstrated within one mathematical framework (second-order arithmetic), but not in a closely related one (Peano’s arithmetic), betrays the contrived nature of trying to mathematically prove a fact of observation.

In their desire to prove everything, mathematicians have produced erroneous proofs: clumsy and error-ridden attempts to prove what was in no need to be demonstrated and was often essentially unprovable due to the complexity of a demonstration candidate. Indeed, most of our surrounding empirical world requires in order to be proven an overwhelming number of elements requiring to be proven upstream. The mere fact of an observation as such summons the existence of an observer who would need to be proven in the first place. 

Since sensory evidence has done the job satisfactorily in most instances, this wealth of unnecessary proofs were achieved through resorting to various tricks such as starting from false premises (paradoxes, conclusions of fallacious reasonings), or presenting as the conclusion of a demonstration worthy of the name some truth being in disguise either corroborated sensory evidence translated into mathematical language (virtual physics) or an axiom. Such a « theorem-in-no-need-to-be-demonstrated » happens then to be true

1° either because it is in fact an axiom in disguise (i.e. a definition) where the demonstration is a petitio principii: a circular reasoning, where what one claims to have discovered in fine was known from the start, the demonstration having been but an artful reformulation of the axiom

2° or because an observation derived from sensory evidence, an empirical fact, is hidden in one of the axioms; in such a case, mathematicians have used mathematics to build a « virtual physics » and it is their intuition of the world around us that has guided them unbeknownst. 

In one particular instance what is usually the « stowaway » presence of empirical facts within mathematical reasoning has been deliberate and proclaimed, I’m referring here to Hilbert’s 6th proposition:

« Mathematical Treatment of the Axioms of Physics. The investigations on the foundations of geometry suggest the problem: To treat in the same manner, by means of axioms, those physical sciences in which already today mathematics plays an important part; in the first rank are the theory of probabilities and mechanics. »

I reported in Comment la vérité et la réalité furent inventées (2009) that in the historical case of the invention of the infinitesimal calculus, the central issue was not of the protagonists at work, Newton’s and Leibniz’ intuition, whose workings would have remained opaque to their conscious self but of their quite explicit experimental validation all along of the mathematics whose methodology they were developing. Indeed, they defined the rules of this new method of calculation in such a way that their model of a planet’s orbit accurately reflected the observed motion, revealing the pre-eminence they implicitly gave to physics over mathematics in the development of their new tool (Jorion 2009: 332-346). The alternative approach would have been to demand mathematical rigour above all, which would have betrayed slight anomalies in the orbit of the planets, the pre-eminence being given in this case to mathematical precepts rather than to an accurate account of physical phenomena. 

What requirements for a demonstration to be « worthy of the name »

In my analysis of Gödel’s demonstration of his incompleteness theorem of arithmetic in Comment la vérité et la réalité furent inventées (2009: 285-326), I show in particular how at a critical juncture Gödel cheats by surreptitiously slipping into his demonstration that a proposition is true when its truth comes neither from being an axiom nor a demonstrated theorem, but from resulting from empirical evidence. In other words, at the moment when he finds himself mired in a paradox of his own construction, Gödel sneaks physics into mathematics in order to extricate himself from the pit he’s dug himself in.  

Gödel’s proof of his incompleteness theorem of arithmetic fails to be « worthy of the name » for two types of reasons: for using arguments (transformation rules) of too low a level of validity (demonstrability) at different stages of his proof and for relying on an intuitive notion of truth whose precise concept varies according to his whim in different contexts.

Instead of sticking to arguments deemed by Aristotle to be of an « analytical » standard of logic, i.e. worthy of being used in a true demonstration with « scientific » status, Gödel went astray by resorting to arguments deemed more modestly to be of a « dialectical » standard of logic, i.e. acceptable in the courts or within the political debate, such as the reductio ad absurdum, or even going so low as to use purely « rhetorical » arguments, i.e. acceptable only in everyday conversation. Of only a rhetorical standard in Gödel’s demonstration is the recourse to a proposition asserting about itself that it is unprovable, having no other evidence to support this assertion than « its own word », the near equivalent in everyday conversation of « It’s true because I’m telling you so ». Attention is often drawn to the fact that the weakness here in the demonstration is due to the assertion being self-referential, but the bottom line is that there is nothing to support this pseudo-affirmation of a proposition about itself: a proposition cannot be « taken at its word » because there is no way a metamathematical argument can be held accountable and shamed for having lied.

When Gödel says of that proposition, as we’ve seen, that it is true even though it is impossible to prove this means out of necessity that it can only be true for one of the other two possible reasons why a proposition may be true: either that it is an axiom (i.e. a definition) or that it derives from corroborated sensory evidence. Since the context of the demonstration excludes the proposition in question from being a vast tautology: a hidden or unrecognised axiom, the only remaining option is that its truth derives from sensory evidence. But this would imply that the proposition has as its reference the empirical world around us, offering of it a true account, which would mean that Gödel is unwittingly bringing physics to bear on what he claims is mathematics only.

How is it possible that Gödel did not notice such a confusion in his argument between mathematics and physics? Because it is common knowledge that for him the two are coalesced: Gödel was a Platonist by ideological creed, convinced that the world is made up of numbers in its intimate build-up and that, as one of the consequences of this belief, everything we know in the world by sense evidence can also be proved mathematically. Bertrand Russell said of him: « Gödel turned out to be an unadulterated Platonist, and apparently believed that an eternal ‘not’ was laid up in heaven, where virtuous logicians might hope to meet it hereafter » (in Russell’s Autobiography, quoted by Dawson 1988: 8).

I am arguing here, to the contrary, that to be « worthy of the name », a mathematical demonstration is not allowed to import surreptitiously elements of proof borrowed from physics: it is required to confine itself entirely to the formal domain of mathematics. It is easy to understand that were this distinction not upheld, the notion of an « adequate mathematical model of physical reality » would lose all meaning as stowaway empirical evidence might be lurking in the model at undisclosed locations, blurring the distinction between which elements of the physical world are properly modelled and which have straightforwardly been imported, i.e. simply depicted instead of accounted for.

In their book quoted earlier, Casti & DePauli, unintentionally betray their unease in this respect when they write: « What Gödel discovered is that even if there exist true relations among pure numbers, the methods of deductive logic are just too weak for us to be able to prove all such facts. In other words, truth is simply bigger than proof. This fact does not seem too astonishing when put into the context of everyday life. We are all aware of things that we ‘know’, but that we feel can never be logically deduced in a formal, Aristotelian fashion. In fact, the Oxford don and philosopher J. L. Austin, when first told of Gödel’s result, remarked: ‘Who would have ever thought otherwise?’ It seems likely that the average person on the street would say the same thing if someone announced that not everything that’s true can be known by following a process of logical deduction. But not so for mathematicians! » (2000 : 4-5). Casti & DePauli should have written more specifically: « But not so for mathematicians who are devotees of the Platonic creed » whose belief is that mathematics and physics are one and the same, or at least don’t care distinguishing one from the other. Hence their indifference to the quality of the proof mobilised at various steps in their demonstrations, and Gödel’s specific legerdemain in this respect with his « I can’t care less » attitude.

That the crux of the issue, the source of all his confusion, lies in Gödel’s Platonic ideological commitment, Casti and DePauli bring it out even more – albeit accidentally – in a passage where they attempt to clarify his approach with the help of an illustration featuring… chocolate cakes:

« Truths = all conceivable cakes satisfying the chocolate cake test.

Proof = all recipes for actually making chocolate cakes with the Chocolate Cake Machine.

Now comes the Big Question: Is there a recipe for every conceivable chocolate cake? Or, equivalently, is every true statement provable? What we’re asking here is whether there are ‘honest-to-god’ chocolate cakes in the Platonic universe of cakes for which no recipe can ever be given » (ibid. 19-20).

« In the Platonic universe… », one could not have stated it any better: Gödel’s demonstration only makes sense and represents a meaningful progress in understanding on the stage of a theatre where the Real would be entirely made out of numbers and where, as an entailment, two representations are fused: that of the empirical world surrounding us, which is accounted for by physics, and that of the world of mathematical entities, tools that we devised in order to offer a useful, if only stylised, vision of the world around us.

Mathematicians’ intuition and « virtual physics »

Mathematics allows us to design models of physical reality. Some of our models are causal: if one thing happens, another or others will follow. We can also do simulations: we know what elements of different types are involved in a phenomenon of a collective nature and how they interact: let’s act it out, let numerical instances of objects interact for a while and see what happens. 

It is often in no time that new mathematical objects and methods are mobilised for new advances in physics. This is no accident: they get immediately tested by various researchers for possible use. Einstein, for example, turned to tensors as soon as that mathematical tool became available. 

Barrow reports: « The development of non-Euclidean geometry as a branch of pure mathematics by Riemann in the nineteenth century, and the study of mathematical objects called tensors was a godsend to the development of twentieth-century physics. Tensors are defined by the fact that their constituant pieces change in a very particular fashion when their coordinate labels are altered in completely arbitrary ways. This esoteric mathematical machinery proved to be precisely what was required by Einstein in his formulation of the general theory of relativity. Non-Euclidean geometry described the distortion of space and time in the presence of mass-energy, while the behaviour of tensors ensured that any law of nature written in tensor language would automatically retain the same form no matter what the state of motion of the observer. Indeed, Einstein was rather fortunate in that his long-time friend, the pure mathematician Marcel Grossmann, was able to introduce him to these mathematical tools. Had they not already existed, Einstein could not have formulated the general theory of relativity » (Barrow [1990] 1992: 189)

Not all of mathematics lends itself however with equal ease to the construction of physical models. Is there something then about a new mathematical tool that predisposes it to be summoned for modelling physical phenomena? 

How are axioms defined? In Comment la vérité et la réalité furent inventées I argued that they are quite often not entirely abstract and seem to display an inclination towards the easy generation of physical models. I pointed out that this was then no deliberate strategy, the mathematician author remaining in all likelihood unaware of the fact. When Stephen Wolfram writes « Maybe there’s something special about the particular axioms used in mathematics. And certainly if one thinks they’re the ones that uniquely describe science and the world, there might be a reason for that » (Wolfram 2020: 559), this is precisely what I’m having in mind when I talk of mathematics as « virtual physics ». By taking as a starting point axioms that are already de facto « virtual physics », theorems are generated that remain all along « virtual physics » so to say by construction.

When I mentioned the attempts of mathematicians to demonstrate what is in no need to be demonstrated because it is in truth a straightforward fact of observation, something that our senses have allowed to establish, I already pointed out that in certain cases, the axiom makes it possible to surreptitiously import into the theorem an element of physics: « because hidden in one of the axioms is an observation derived from sensory evidence, an empirical fact, is hidden in one of the axioms; in such a case, mathematicians have used mathematics to build a « virtual physics » and it is their intuition of the world around us that has guided them unbeknownst ».

Curiously, if one thinks of the fact that they are working on formal objects whose syntax and semantics alone should be relevant, mathematicians readily admit that they rely on their intuition, which they suggest is a very abstract thing that is very difficult to pin down more precisely. For example, Alan Turing, in his 1938 thesis, Systems of Logic Based on Ordinals, remarked: ‘The activity of intuition consists in the production of spontaneous judgments which do not result from conscious trains of reasoning […] I shall not attempt to explain this idea of intuition more explicitly » (in Copeland 2004: 192). In fact, the intuition of mathematicians owes its very shape to the world as it stands around us. And what mathematicians produce, therefore, since the origins of their discipline, and especially when they refer to their intuition as the source of their inspiration, is mathematics that constitutes, until better informed, a « virtual physics ». 

This I set out systematically in Comment la vérité et la réalité furent inventées, taking as an example the birth of the infinitesimal calculus mentioned above, when it could be observed that the mathematics newly conceived by Newton and Leibniz were abused (the rigour asserted being sacrificed in the process) until they « stuck » to the celestial mechanics for which they were developed. The famous bishop cum philosopher George Berkeley (1685-1753) denounced then the deception: a « compensation of errors » involving « Ghosts of Departed quantities » (Berkeley [1734] 1992: 199). He pointed out that « in every other Science, Men prove their Conclusions [the ‘theorems’] by their Principles [the ‘axioms’], and not their Principles by their Conclusions. But if in yours you should allow your selves this unusual way of proceeding, the Consequence would be that you must take up with Induction and bid adieu to Demonstration. And if you submit to this, your Authority will no longer lead the way in Points of Reason and Science. I have no controversy about your Conclusions but only about your Logic and Method » (ibid. 180). And Berkeley cruelly wondered « whether such Mathematicians as cry out against [divine] Mysteries, have ever examined their own Principles? » (ibid. 220). 

You mathematicians, Berkeley argued, should take your starting point in mathematically meaningful axioms (« Principles ») and see what theorem (« Conclusions ») you can derive from them. But what you do instead is that you predefine the theorem (« Conclusions »), and then you make up the axioms (« Principles ») that will allow you to prove it. In so doing, you do not proceed as scholars do, according to Aristotle, by deduction, within the framework of the « analytical » standard of logic, but by induction, which Aristotle has shown to be a mode of proof proper to the « dialectictical » standard of logic which is of choice for lawyers and politicians, who care only to not contradict themselves, but have no regard for the truth, unlike genuine scholars.

References:

Barrow, John D., Theories of Everything. The Quest for Ultimate Explanation, London: Vintage 1990 

Berkeley, George, [1734] 1992 De Motu and The Analyst. A Modern Edition, with Introductions and Commentary, ed. and transl. from latin by Douglas M. Jesseph, Dordrecht (Holland): Kluwer Academic Publishers 

Casti, John L. & Werner DePauli, Gödel. A Life of Logic, Cambridge (Mass.) Perseus: 2000

Copeland, B. Jack, The Essential Turing, Oxford: Oxford University Press 2004

Dawson, John W., « Kurt Gödel in Sharper Focus », in S. G. Shanker, Gödel’s Theorem in Focus, London: Croom Helm 1988

Jorion, Paul, Comment la vérité et la réalité furent inventées, Bibliothèque des sciences humaines, Paris: Gallimard 2009

Wolfram, Stephen, A Project to Find the Fundamental Theory of Physics, Wolfram Media 2020

Partager :

70 réponses à “Unilog 2022 – What makes a demonstration worthy of the name? by Paul Jorion”

  1. Avatar de Druuh
    Druuh

    « When Gödel says of that proposition, as we’ve seen, that it is true even though it is impossible to prove this means out of necessity that it can only be true for one of the other two possible reasons why a proposition may be true: either that it is an axiom (i.e. a definition) or that it derives from corroborated sensory evidence. »

    Non, et c’est la le coeur de votre méprise : cette fameuse formule Coh(T) est vraie signifie qu’elle est vraie dans UN des modèles de T. En l’occurence, on démontre facilement que que si Coh(T) n’est pas vraie dans le modèle standard N (les entiers naturels) de T, alors T n’est pas cohérente. Comme on sait que T est cohérente (car elle a pour modèle au moins N, parmi d’autres), alors on déduit que Coh(T) est vraie dans N. Elle peut etre cependant fausse dans un AUTRE modèle (et en fait le theoreme de Godel le montre, c’est tout son objet !).

    Et tout ceci ne ressort pas d’un tour de passe passe, les détails de ce que je viens de dire sont prouvés pas a pas les uns aprés les autres.

    En résumé : Coh(T) est VRAIE car elle est vraie dans un de des modèles de T, en l’occurence le modèle standard N.
    Ni parcequ’elle est un axiome, ni parcequ’elle est « évidente pour les sens ».

    Vous faites cette confusion car vous n’avez pas pris la peine de rentrer dans les fondements de la logique mathématique (la logique Aristotelicienne n’est PAS de la logique mathématique). En particulier, vous ne semblez pas etre conscient que « vrai » signifie « vrai dans AU MOINS un modèle de T » et que « démontrable » signifie « vrai dans TOUS les modèles de T ». Et qu’il existe de nombreux (une infinité meme) modèles de T (la téeorie de l’arithmetique de Peano) en dehors des entiers naturels, ce qui est absolument fondamental a comprendre dans ce contexte.

    Je suis docteur en mathematiques justement en logique mathematique, je sais absolument de quoi je parle.

    1. Avatar de Paul Jorion

      Je vous prends au sérieux ! Je regarde et je vous reviens.

      1. Avatar de Paul Jorion

        Ce n’est pas la réponse circonstanciée que je vous promets, mais voici en attendant, une remarque « à la Wittgenstein » dans mes notes :

        Au centre de la réflexion de Turing, Church, Kleene se trouvent les questions si une proposition est vraie ou fausse et celle de savoir si un certain type de problèmes a une solution. On a le sentiment que ces deux types de questions sont souvent confondus par les mathématiciens sous la forme que « avoir une solution », c’est « être vrai » et donc que dire : « Ce type de problème a une solution » et dire « Ce type de problème est vrai », est équivalent.

    2. Avatar de Paul Jorion

      « vrai » signifie « vrai dans AU MOINS un modèle de T » et « démontrable » signifie « vrai dans TOUS les modèles de T ».

      C’est effectivement très différent d’Aristote pour qui le a) « démontrable » est l’une des trois variétés du « vrai » (les deux autres étant b) l’évidence des sens ; c) les axiomes).

      Il faut que je comprenne le passage du vrai d’Aristote (qui est toujours celui de M. et Mme Tout-le-monde) à celui que vous dites : « vrai » signifie « vrai dans AU MOINS un cas » et « démontrable » signifie « vrai dans TOUS les cas ».

      Mais une première recherche ne donne rien : je ne trouve pas ce que vous dites. Dans Wikipedia en anglais, je ne trouve que des confirmations de ce que j’avance :

      les énoncés vrais en mathématiques sont généralement considérés comme des énoncés prouvables dans un système axiomatique formel

      Ce qui est conforme à la définition du vrai a) « démontrable » chez Aristote.

      Gödel pensait que la capacité de percevoir la vérité d’une proposition mathématique ou logique est une question d’intuition, une capacité qu’il admettait comme pouvant être en définitive au-delà de la portée d’une théorie formelle de la logique ou des mathématiques.

      C’est ce que je dis aussi de lui. Mais j’ajoute que « l’intuition » de Gödel qui lui permet de « percevoir la vérité d’une proposition mathématique ou logique », c’est en réalité son intuition de notre monde à quatre dimensions, et donc quand il invoque son intuition comme critère du vrai, c’est le monde physique qu’il importe comme passager clandestin, autrement dit, son autre « vrai » que les axiomes et le démontrable, c’est – à son insu, je suis d’accord – le 2e critère du vrai d’Aristote : b) l’évidence des sens.

      [Cela dit, si vous pouvez me communiquer la référence dans un texte à « « vrai » signifie « vrai dans AU MOINS un modèle de T » et « démontrable » signifie « vrai dans TOUS les modèles de T » », je suis bien entendu preneur !]

  2. Avatar de Druuh
    Druuh

    Au tournant du 20ème siècle tout ceci n’était pas encore toujours très clair chez les mathématiciens. Un exemple spectaculaire fût celui de Cantor, qui devint fou à essayer de prouver si sa fameuse « hypothèse du continu » était vrai ou fausse. Un jour il pensait avoir prouvé qu’elle était vraie, un autre qu’elle ne l’était pas… ça a duré des années et a fini par affecter sa santé mentale. A cette époque il ne savait pas que la théorie axiomatique des ensembles n’a pas qu’un seul modèle, il pensait donc que l’hypothèse du continu était soit « vraie » soit « fausse ». Cette notion de « vérité » se décanta au cours des années 20 et 30, et déjà Gödel dans les années 30 construisit un modèle de la théorie ZFC dans lequel l’hypothèse du continu est vraie. Puis Cohen, trente ans plus tard, construisit par une autre méthode un autre modèle de la même théorie ZFC, dans laquelle l’hypothèse du continu est fausse. Cantor ne pouvait donc ni pouver ni réfuter son hypotèse, mais il ne le savait pas. Car prouver son hypotèse (ou la réfuter) eu signifié qu’elle fût vraie (ou fausse) dans TOUS les modèles de ZFC, or Gödel et Cohen ont prouvé par leurs constructions que c’était impossible. Ces choses sont absolument essentielles à la compréhension de la preuve du théoreme d’incomplétude.

  3. Avatar de Druuh
    Druuh

    Encore une fois, la logique d’Aristote n’est pas de la logique mathématique. Aristote pensait en termes du langage humain : comment les phrases parlées doivent s’articuler entre elles pour produire un discours pertinent et valide. La logique mathématique s’empare de ces considérations générales, mais sous l’angle d’un langage mathématique (un ensemble de symboles, par exemple un symbole pour l’addition, un autre pour la multiplication, un autre pour l’ordre, etc…) et (c’est essentiel et ce qui différencie d’Aristote) en relation intime avec des STRUCTURES mathématique (groupes, espaces vectoriels, ensembles ordonnés, etc..). Par exemple, quand on parle de groupes, on prend un symbole + pour l’addition, et un symbole pour l’élément neutre 0. Le langage ici c’est le langage à deux éléments {+,0}.

    A partir d’un langage donné L, on définit et prouve alors rigoureusement les notions et résultats suivants lors d’un cours de base de logique mathématique :

    * les règles de formation des formules dans L, qui sont celles qui aboutissent aux formules syntaxiquement correctes en utilisant les symboles de L.

    * la notion de « formule satisfaite (ou VRAIE) dans une structure ». Par exemple, la formule dans le langage des groupes « pour tout x, il existe y tel que x+y=0 » n’est PAS VRAIE dans la structure N des entiers naturels. Par contre, elle l’est dans la structure Z des entiers relatifs.

    * La notion de théorie de L (qui correspond aux axiomes dans votre terminologie), qui est simplement un ensemble de formules du langage L. Par exemple, la théorie des groupes commutatifs est constitué des 4 formules (axiomes) suivantes :
    « pour tout x, pour tout y, pour tout z, (x+y)+z=x+(y+z) » –distributivité
    « pour tout x, x+0=x » –élément neutre
    « pour tout x, il existe y tel que x+y=0 » — existence d’un inverse
    « pour tout x, pour tout y, x+y=y+x » — commutativité

    * La notion de modèle d’une théorie T dans L, qui est une structure dans laquelle touts les axiomes de T sont vrais. Par exemple, la structure des entiers naturels N n’est pas un modèle de la théorie des groupes ci dessus, mais la structure des entiers relatifs Z en est un modèle.

    * La théorie de la démonstration est alors développée en oubliant provisoirement les structures et les modèles. On y définit des « règles syntaxiques d’inférence à partir d’une théorie (axiomes) ». On dit alors qu’une formule F est démontrable dans la théorie T, ou que T démontre F (on note T |- F, comme dans le document que je donnerai en lien plus bas) si on peut passer des axiomes de T à F en un nombre fini d’étapes en utilisant les règles d’inférence.

    * Puis finalement, on fait le lien avec les structures en prouvant le théorème suivant : T |- F si et seulement si F est vraie dans TOUS les modèles de T.
    Voici un lien vers ce résultat tiré d’un livre d’introduction à la logique mathématique (mais tous les livres de base en logique mathématique présentent aussi ce résultat !) qui énonce ce résultat (« théorème de complétude »). Si vous le souhaitez je vous enverrai par email les références de ce livre.

    https://zupimages.net/up/22/15/atfh.png

    Ce que j’ai dit de la logique mathématique plus haut correspond à ce qu’on apprend dans un cours d’introduction à cette discipline (accessible disons à un étudiant en maths de 2ème ou 3ème année de fac). J’ai cru comprendre que vous avez une culture de base en maths qui vous permettrait de lire ce genre de choses plus ou moins élémentaires à quiconque est familier avec les maths.

    Pour en revenir au théorème de Gödel : la fameuse formule Coh(T) qui « exprime dans le langage de Peano que Peano est une théorie cohérente » est tout à fait bien définie d’une part. Et d’autre part, ce que le théorème de Gödel en dit, c’est qu’elle est vraie dans le modèle N de Peano, mais pas dans TOUS les modèles, donc (comme on l’a vu plus haut), qu’elle n’est pas démontrable dans Peano. Ce que l’on pourrait résumer en disant qu’elle est « vraie bien que non démontrable », mais je n’aime pas cette formulation car c’est un abus de langage. Il faudrait plutot dire « vraie dans un modèle de Peano mais non démontrable dans Peano ».

    1. Avatar de Paul Jorion

      Ce que l’on pourrait résumer en disant qu’elle est « vraie bien que non démontrable », mais je n’aime pas cette formulation car c’est un abus de langage. Il faudrait plutot dire « vraie dans un modèle de Peano mais non démontrable dans Peano ».

      Ok, on retombe toujours sur la même chose : un mathématicien / logicien me dit « Vous vous trompez [parce que vos connaissances sont élémentaires, etc.] », et je réponds : « Je ne me trompe pas : je dénonce une naïveté chez les mathématiciens / logiciens qui invalide leur raisonnement » (cf. la cinquantaine de pages que j’ai consacrées à cela dans Comment la vérité et la réalité furent inventées – 2009).

      Illustration pour les non-spécialistes :

      Nous jouons aux échecs. Vous me prenez des pièces en jouant à saute-mouton avec l’une des vôtres. Je dis « Vous n’avez pas le droit de faire, ça ! » Vous me répondez « Si, il y a une règle qui m’autorise à le faire ! ». Je dis « Mais ça c’est une règle du jeu de dames, pas des échecs ! ». Et vous « Bof, c’est juste un autre modèle de T ! »

      Application au théorème de Gödel : Gödel dit « Cette proposition peut être dite vraie « par ailleurs [comme le confirme mon intuition – sic] ». Moi : vous ne pouvez pas dire « cette règle est vraie parce qu’elle est vraie aux dames » si nous jouons aux échecs, sauf à dire que vous invoquez une vérité empirique, d’application générale dans le monde autour de nous. Ce qui est exactement ce que je dis à Gödel : « La vérité de cette proposition que vous affirmez vraie ne lui vient ni des axiomes, ni de la démonstration, vous l’importez comme passager clandestin du monde extérieur ».

      1. Avatar de Druuh
        Druuh

        Je ne vous comprends pas. Reprenons depuis le début, et soyons très concrets : dans les huit points que j’ai mentionné précédemment sur ce qui est enseigné aux étudiants en logique mathématique dans un cours de base, y en a t il à propos desquels vous auriez une critique à formuler ? si oui, lesquels, et quelle critique ?

        1. Avatar de Paul Jorion

          Vous avez bien situé le problème vous-même :

          « vraie bien que non démontrable », mais je n’aime pas cette formulation car c’est un abus de langage

          Vous avez mis le doigt sur ce qui cloche, et vous révélez que vous en êtes conscient.

          (À défaut, lisez dans Commment la vérité et la vérité furent inventées, la cinquante de pages que je consacre à la démonstration mathématique, à celle de Gödel en particulier et au passager clandestin de la physique dans les mathématiques, ce que j’appelle la « physique virtuelle.)

  4. Avatar de BasicRabbit
    BasicRabbit

    Comme Druuh, je suis docteur en logique mathématique. Je n’irai pas jusqu’à dire comme Druuh que je sais encore de quoi je parle parce que c’était il y a un demi-siècle et qu’il y a bien longtemps que je ne m’intéresse plus à la théorie des modèles formels (je m’intéresse maintenant à la théorie des modèles continus proposée par René Thom).

    Quand je lis ce qu’écrit PJ (10 avril 2022 à 22 h 39 min), je ne peux m’empêcher de penser qu’il n’a pas travaillé la démonstration du théorème de complétude (de Gödel) et donc qu’il n’a pas travaillé non plus celle de son premier théorème d’incomplétude -pour moi incompréhensible sans le théorème de complétude-.

    Plutôt que de m’engager dans des discussions techniques (je laisse éventuellement ça à Druuh) je rappelle l’argument d’autorité suivant: le premier théorème d’incomplétude de Gödel a été aussitôt validé par Von Neumann, qui a énoncé le deuxième comme conséquence quasi-immédiate (sans le démontrer). Dans un article cosigné par Hilbert, Bernays a donné une preuve de ce deuxième théorème, évidemment validée par Hilbert -évidemment ainsi que le premier. C’est là qu’intervient l’argument d’autorité suivant (puissant selon moi) : Hilbert a ainsi reconnu la faillite de son programme (dont le but était d’assurer les fondements des mathématiques).

    1. Avatar de Paul Jorion

      Mais à la différence de Druuh, vous êtes très familier de mes contributions au débat sur le fondement des mathématiques.

      À l’intention de ceux que cela intéresse, ces débats (où l’argument d’autorité volait bas et dans toutes les directions) ont été entièrement décortiqués par Jean Ladrière dans Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques, Paris : Jacques Gabay (1992 [1957]), un ouvrage sur lequel je continue de m’appuyer.

      N.B. Dans la section de ce livre consacrée aux Paradoxes, Ladrière, en laissant entendre que Gödel a confondu paradoxe et contradiction dans sa démonstration, invalide celle-ci sans rien dire, en catimini.

      1. Avatar de BasicRabbit
        BasicRabbit

        @PJ. Je vois que l’argument d’autorité continue de voler (bas ou haut, c’est à votre choix): Ladrière, Wittgenstein (deuxième mouture!) et Thom (lire ce qui suit) contre Von Neumann, Hilbert. Je n’ai pas lu le bouquin de Ladrière mais je ne serais pas étonné d’y apprendre que Thom est en accord avec lui en ce qui concerne la limitation des formalismes (cf. ce qu’il dit des modèles formels au tout début de Stabilité structurelle et morphogenèse).

        En ce qui concerne les théorèmes d’incomplétude de Gödel ,Thom se contente d’écrire ceci (SSM, 2ème ed., p.320): « Les axiomes de l’arithmétique forment, c’est bien connu, un système incomplet. C’est là un fait heureux, car il permet d’espérer qu’un grand nombre de phénomènes structurellement indéterminés et informalisables pourront néanmoins admettre un modèle mathématique. ». (Pour Thom ce qui fonde les mathématiques c’est l’opposition aporétique discret/continu -qui se décline en arithmétique-algèbre/géométrie-topologie-.)

        En ce qui concerne les paradoxes, je pense qu’on ferait bien de revenir à ceux de Zénon pour réaliser qu’on ne peut les résoudre sans être un penseur du continu (un bon argument, selon moi, pour abandonner les théories des modèles formels et se tourner vers celles des modèles continus). On ferait également bien de s’intéresser au paradoxe de Hempel (et au théorème de Cox-Jaimes, qu’affectionnent tant les chercheurs en IA tels que S. Dehaene, conseiller pédagogique de Blanquer) c’est-à-dire à l’emploi de la négation dans les systèmes formels (tiens, tiens…).

        Il n’est pas question pour moi de mettre en doute les résultats de Gödel, mais seulement d’en limiter plus sévèrement la portée que ce qu’on a coutume de faire. Ainsi je suis maintenant, je crois, plus près de votre position que de celle des formalistes. Je regrette seulement que vous n’ayez pas prolongé dans le sens de Thom, comme PSI et « Comment la vérité… » le laissaient entrevoir; mais c’est parce que c’est là, je crois, que nos positions idéologiques se séparent: nominaliste (ou conceptualiste tendance nominaliste) pour vous, réaliste (ou conceptualiste tendance réaliste) pour moi.

      2. Avatar de BasicRabbit
        BasicRabbit

        En ce qui concerne les fondements des mathématiques l’époque « logique formelle » est -de mon point de vue- en train de se refermer, et l’ère qui s’ouvre est topologique (toposique pour les grothendieckiens). Là encore s’affrontent les penseurs du discret (pour moi Grothendieck) qui tiennent à sauver le vénérable principe de non-contradiction et les penseurs du continu (Thom) qui n’hésitent pas à y renoncer.

        Les philosophes belges D. Lambert et B. Hespel ont écrit un article intitulé « De la topologie de la conciliation à la logique de la contradiction » ( https://www.jstor.org/stable/44085191 ) où ils écrivent dès l’introduction que Jean Ladrière se serait sans doute amusé à constater que leur papier n’est pas dénué d’intérêt (je suis tout-à-fait d’accord avec eux sur ce point).

  5. Avatar de Druuh
    Druuh

    Je crains que les arguments d’autorités ne convainquent pas Mr Jorion. Je vous redit ce que je vous ai dit de nombreuses fois (j’ai commencé à vous interpeller sur votre méprise en 2015 par mail, puis de nombreuses autres fois sur ce blog) : le théorème d’incomplétude de Gödel est un théorème dont l’énoncé ainsi que la démonstration de A à Z est purement de nature mathématique. Vous ne pouvez donc le critiquer éventuellement qu’en utilisant les règles qui ont conduites à son élaboration, qui son mathématiques à 100%. Invoquer Aristote dans ce contexte est totalement hors de propos.

    J’ai expliqué succintement les règles de base de la logique mathématique ci dessus, vous n’avez fait aucun commentaire à ce propos (cela signifie t il que vous etes d’accord avec ? ou que vous ne les comprenez pas car vous n’avez pas pris la peine de prendre du temps à lire un livre de logique mathématique ? On ne saura pas apparemment…) .

    Vous me demandiez de vous fournir une référence où il est dit que « démontrable équivaut à vrai dans tous les modèles ». Je l’ai fait et toujours pas de commentaire là dessus de votre part… que faites vous de ce résultat essentiel ?

    Vous êtes en train de vous ridiculiser devant des spécialistes de ce domaine en refusant d’admettre que vous avez mal compris tout un tas de choses necessaires à la compréhension du theoreme.

    Je vous ai fourni dans le passé des exemples triviaux et facilement compréhensibles par un non spécialiste d’énoncés vrais dans UN modèle d’une théorie, mais pas dans TOUTES. Et aussi d’exemples triviaux d’énoncés vrais dans TOUS les modèles (i.e. démontrables dans la théorie).
    Mais malgré cela, vous persistez à prétendre que « vrai » signifie ou axiome, ou déduit des axiomes, ou évident selon les sens. Car vous vous référez sans cesse à Aristote, qui ne considérait que des énoncés formé de phrases du langage courant, ce qui n’a rien à voir avec le contexte du théorème de Gödel.

    Si ce qui vous gène, c’est employer le qualificatif « vrai » pour désigner un énoncé satisfait dans une structure, alors utilisez un autre mot que « vrai » pour le qualifier.
    Mais vous n’échaperez pas au fait que le théorème de Gödel dit que l’énoncé Coh(Peano) est SATISFAIT dans N, mais PAS dans TOUS les modèles de Peano. C’est inéluctable. Et c’est exactement ce qu’il signifie, ni plus, ni moins.

  6. Avatar de Druuh
    Druuh

    PS : je veux pour preuve que vous ridiculisez aux yeux des spécialistes de ce domaine : essayez de faire publier votre article avec Liu (qui n’est au passage pas mathématicienne mais informaticienne) dans une revue mathématique sérieuse. Vous n’y parviendrez pas, car les referees se rieront de vous.

    1. Avatar de Paul Jorion

      J’ai dit que je prendrais votre objection au sérieux.

      Ce que j’ai fait.

      Vous êtes revenu avec des considérations élémentaires sur les mathématiques (beaucoup moins sophistiquées que mon exposé sur le même sujet dans Comment la vérité et la réalité furent inventées). Et là, vous avez commencé à perdre votre sang froid : « J’ai cru comprendre que vous avez une culture de base en maths ».

      Je vous ai quand même répondu de manière circonstanciée, en vous proposant une illustration à partir des échecs et du jeu de dames. Mais au lieu de dire : « Vous avez peut-être raison », cette fois-ci vous perdez complètement votre sang froid et basculez dans des menaces de niveau cour de récré : « Tu m’as ratatiné, mais j’ai des copains très grands et très costauds, tu vas voir ta gueule ». Je cite votre perle pour être sûr que tout le monde ait pu la voir :

      PS : je veux pour preuve que vous ridiculisez aux yeux des spécialistes de ce domaine : essayez de faire publier votre article avec Liu (qui n’est au passage pas mathématicienne mais informaticienne) dans une revue mathématique sérieuse. Vous n’y parviendrez pas, car les referees se rieront de vous.

      Vous avez initié une discussion intéressante, mais quand vous vous êtes retrouvé à court d’arguments, le bec dans l’eau, au lieu de continuer à réfléchir, vous avez complètement régressé en n’avez rien trouvé de mieux à m’opposer que des puérilités de ce genre. Quel gâchis !

  7. Avatar de Druuh
    Druuh

    Ok je veux bien admettre que j’ai perdu mon sang froid, mais pas pour les raisons que vous evoquez cependant. Je vais reprendre mon sang froid donc, et je m’efforcerai de repondre a vos precedents propos, y compris la metaphore des echecs. Je dois partir en voyage pour une semaine, je reprendrai lundi prochain.

    1. Avatar de juannessy
      juannessy

      Comme ce sera le lundi de Pâques , on souhaite que la résurrection du Christ et la cérémonie du passage fasse la lumière sur la nature de la  » Démonstration » digne du verbe et de l’immanence ( à moins que ça ne soit de la transcendance ? ) . .

    2. Avatar de juannessy
      juannessy

      Hello !

      Basic Rabbit a bossé toute la semaine lui ; il attend le relais ( relai accepté ) .

  8. Avatar de BasicRabbit
    BasicRabbit

    1. En relisant le titre de « Comment la vérité… », je me demande pourquoi vous vous êtes attaqué aux théorèmes d’incomplétude de Gödel et pas au théorème d’indéfinissabilité (de la vérité) de Tarski ( https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theorem ). (Il est en effet plus facile de repérer une erreur dans le théorème de Tarski que dans celui de Gödel, alors que les ingrédients principaux sont le mêmes: paradoxe du menteur et argument diagonal de Cantor).

    2. Au début du chapitre III (« L’émergence de l’universel: l’invention de la Réalité-objective dans la physique ») vous ciblez « une assimilation du réel à la loi des nombres » et la logique mathématisée qui va avec, visant ainsi -à mon avis- beaucoup plus l’école pythagoricienne (« Tout est nombre ») que l’école platonicienne (« Que nul n’entre ici s’il n’est géomètre »), et c’est donc tout-à-fait logiquement, selon moi, que vous réservez vos flèches pour le chapitre IV intitulé « La revanche de Pythagore: les mathématiques contemporaines »), flèches où, toujours selon moi, Platon se trouve épargné puisqu’il n’y est pas question de géométrie.

    3. Ce que j’aurais aimé c’est un chapitre IV bis intitulé « La revanche de Platon », où vous vous seriez opposé non plus à Gödel, mais à Thom, platonicien déclaré dans son article -paraît-il le plus lu- « Les mathématiques modernes: une erreur pédagogique et philosophique? » (article du début des années 1970 qui figure dans Apologie du logos, Hachette, 1990), Thom (dont les préférences pour le qualitatif sont bien connues) qui écrit ailleurs que l’option pythagoricienne choisie par la physique moderne n’est peut-être pas la bonne: « La physique actuelle a sacrifié la stabilité structurelle à la calculabilité; je veux croire qu’elle n’aura pas à se repentir de ce choix ».

    4. La géométrie n’apparaît que dans les dernières pages (357 et suivantes) avec la mention de d’Arcy Thompson qui a inspiré Turing dans ses travaux sur la morphogenèse (équations de réaction-diffusion) -ce qui est généralement noté-, mais également Thom -ce qui généralement omis-, et ce dès ses premières publications sur le sujet (« Une théorie dynamique de la morphogenèse » (1968) (que l’on trouve dans « Modèles mathématiques de la morphogenèse », 10/18, 1974). J’ai d’ailleurs été choqué qu’il ne soit pas fait mention de Turing dans cet article; j’ai compris pourquoi beaucoup plus tard (cf. Apologie du logos p.188): Turing s’intéresse à la calculabilité, Thom à la stabilité structurelle…

  9. Avatar de BasicRabbit
    BasicRabbit

    I. J’ai trouvé étonnant qu’après avoir daubé sur Gödel, PJ termine le chapitre « La revanche de Pythagore » sur l’illuminisme (de Turing, de Newton), considéré plutôt avec sympathie (c’est ça que j’ai trouvé étonnant). Il me semble qu’il y avait mieux à faire que de s’attarder sur les suites de Fibonacci (1) -même si Turing en est la raison- compte tenu du niveau nettement plus ambitieux de ce qui précède dans ce chapitre. Ainsi PJ évoque p.360 le lien à faire entre les constantes universelles des physiciens (vitesse de la lumière, gravité universelle, nombre d’Avogadro) et les constantes des matheux (e, π, φ). Je lui signale le groupe cosmique de Pierre Cartier (https://preprints.ihes.fr/2008/M/M-08-62.pdf à la fin de p.30 et p;31, dont voici un extrait :

    « Du point de vue physique, le “modèle standard” des particules élémentaires laisse inexpliquées les masses des quarks par exemple, et les constantes de couplage. Il y a là 20 à 30 constantes, que l’on
    mesure expérimentalement, mais dont on n’a aucune explication. Sur le modèle du groupe de Galois motivique, j’ai donc imaginé un groupe de Galois cosmique,qui agirait sur les constantes fondamentales. »).

    II. La citation de Lassègue du bas de la page 363 (« Selon Turing, le système d’encodage grâce auquel les messages sont cryptés peut être comparé aux lois de l’Univers et les clés d’encodage à ses constantes »), citation en rapport avec l’encodage par « gödelisation », fait aussitôt penser au code génétique. Je resignale ici à PJ (je l’ai fait plusieurs fois quand je commentais sur ce blog) l’existence d’une correspondance preuve-programme, connue sous le nom de correspondance de Curry-Howard (https://fr.wikipedia.org/wiki/Correspondance_de_Curry-Howard):

    « Le logicien français Jean-Louis Krivine [mon prof de thèse…] a fait le rapport entre différents théorèmes mathématiques et les programmes informatiques qu’ils représentent :
    le théorème d’incomplétude de Gödel qui dit qu’il y a des propositions qui sont indécidables correspond à un programme de réparation de fichiers;
    le théorème de complétude de Gödel correspond lui à un désassembleur interactif de programmes. »;

    Un lien avec le problème P/NP?

    III. Le chapitre -et le bouquin- se termine par :

    « Si la voie illuministe possède un quelconque mérite, il existe un codeur, et l’intelligence artificielle existe depuis plusieurs dizaines de milliers d’années, car c’est la nôtre. ».

    Intéressante question à ne surtout pas laisser dans les seules mains des mathématiciens.

    1: J’ai lu des explications que j’ai trouvées tout-à-fait acceptables de la présence des premiers termes de la suite de Fibonacci en botanique. Le point intéressant, selon moi, est de comprendre pourquoi ce processus s’arrête au bout d’un nombre fini (et petit) d’étapes. Thom parle de ça dans Esquisse d’une sémiophysique (p.77).

  10. Avatar de BasicRabbit
    BasicRabbit

    PJ parle de la preuve (par Aristote?) de l’irrationalité de racine carré de 2 comme une cinglante défaite des mathématiques. C’est peut-être le cas des pythagoriciens (pour qui « Tout est nombre ») et j’ai lu que le monde de certains d’entre eux s’est écroulé lorsque la démonstration leur est parvenue -et même conduisant certains au suicide?-, mais ce n’est pas, à mon avis, le cas des platoniciens (pour qui « Tout est géométrie »). Ce qui suit est en rapport avec la question (essentielle!) que pose PJ: « Que démontrent les mathématiciens, et le font-ils d’une manière digne de ce nom ? ».

    Pour moi un géomètre qui découpe (par la pensée ou dans une feuille de papier) les quatre coins d’un carré pour laisser un « losange carré » d’aire moitié du carré initial (puisque les quatre coins coupés reconstituent -par puzzle- un carré identique à ce « losange carré »), a démontré que, pour lui géomètre, racine carré de deux était un nombre parfaitement rationnel.

    Cela pose donc la question de savoir ce qu’on entend par rationalité. Pour Thom ce n’est guère qu’une déontologie dans l’usage de l’imaginaire. Autrement dit celle imposée par Aristote et Eudoxe, qui repose sur leur théorie de l’analogie, n’est pas nécessairement immuable: Thom en propose une autre…

    Je poste ce commentaire:

    – parce que de voir l’irrationalité de racine carré de 2 comme une défaite cinglante des mathématiques m’a toujours irrité, car je ne vois sincèrement pas en quoi !

    – parce que où va-t-on « si Meyerson lui-même ne dit rien de la logique, qu’il considère comme connue de manière intuitive par son lecteur » (p. 284)?

    Remarque finale (en rapport avec ce qui suit à la p.284): « Ainsi, dans la démonstration classique du théorème de Pythagore, le « forçage » auquel pense Meyerson s’observe dans le caractère absolument arbitraire des constructions qu’exige la démonstration ». Je considère que ce que j’ai écrit ci-dessus constitue une démonstration géométrique tout-à-fait acceptable et sans « forçage » du théorème de Pythagore dans le cas particulier d’un triangle rectangle isocèle (ça marche aussi dans le cas général avec un découpage un peu plus subtil -mais du même type-).

  11. Avatar de BasicRabbit
    BasicRabbit

    Après avoir relu les dix premières pages du chapitre IV de « Comment la vérité… », je suis tout-à-fait d’accord avec vous que le fondement des mathématiques est dans la déixis, à ceci près (?) que pour moi le monde sensible doit inclure le rêve, et je redis ici que c’est la position de Thom pour qui le fondement aporétique des mathématiques est dans l’opposition discret/continu (qui se décline en opposition arithmétique-algèbre (éventuellement infinitésimale)/géométrie-topologie). Pour Thom la mathématique est typiquement la science de l’imaginaire, et, plus précisément de son point de vue, la conquête du continu par le discret -je pense que pour Grothendieck c’est l’inverse-.

    À côté de ça les fondements logiques dans lesquels les logiciens formalistes (Boole, Frege, Russell, Gödel, etc.) veulent enfermer les mathématiques semblent bien étriqués et il est grand temps de réaliser que « The laws of thought » ne le sont que dans la tête des gens précités et de leurs nombreux affidés, surtout depuis que l’IA est devenu un enjeu politique. Pour moi la logique mathématique n’est qu’une toute petite partie des mathématiques et ne la fonde en aucun cas.

  12. Avatar de BasicRabbit
    BasicRabbit

    Je continue ma lecture critique de « Comment la vérité… ».

    Je trouve tout-à-fait bien vue la façon qu’a la physique moderne de progresser par « fissures » et « rustines » (citation de G. Lochak p.252, annotée par PJ). Thom dit à mon avis en substance la même chose dans son entretien avec Émile Noël intitulé « La théorie des catastrophes » dans une vidéo réalisée à la fin de sa vie -sa vidéo-testament en quelque sorte- (1). L’avantage que je vois à la version thomienne est qu’il oppose Galilée à Aristote, le premier mettant une rustine quantitative sur la fissure qualitative du second (Aristote) qui, lui, oppose le mouvement forcé au mouvement naturel. C’est au début de la partie « A propos de la science » 37’50 (2) où Thom rejoint Lochak (« je doute qu’on puisse indéfiniment continuer de la sorte en fermant les yeux sur cette difficulté ») à 40’30 : « La science moderne s’est à mon avis lancée dans l’entreprise désespérée de récupération de l’accident [alias de rustination des fissures…] ».

    C’est à 46’20 que la position de Thom (et -donc…- la mienne) diffère fondamentalement de celle de PJ : « Je m’oppose à l’argument qui consiste à dire qu’une interprétation des phénomènes naturels qui n’incite pas à une expérimentation explicite est dépourvue d’intérêt. Voilà, c’est ce que j’appelle le préalable expérimental. Les gens vous jettent à la face le préalable expérimental. Moi je prétends qu’on n’a pas le droit de jeter en face d’une considération quelconque en science le préalable expérimental. C’est tout. ».

    1: https://www.youtube.com/watch?v=fUpT1nal744

    2: Thom oublie v0.t dans son équation du mouvement vertical !

  13. Avatar de BasicRabbit
    BasicRabbit

    PJ et les maths.

    L’avant-propos de « Comment la vérité… » se termine par un rappel à l’ordre des matheux : « Cet ouvrage prône un retour à la rigueur dans le raisonnement (…) impliquant à son tour une réhabilitation de la démonstration mathématique, qui devra se plier aux principes généraux présidant au raisonnement convaincant. » (p.11).

    Fort bien. Mais, dans ces conditions, la moindre des choses est de savoir ce que les matheux font. Or, hormis les nombreuses pages consacrées à la logique mathématique formelle (pp.259 à 262 pour la logique quantique, pp.285 à 326), je n’ai repéré que trois endroits où il est « techniquement » question de mathématiques: pp.358 et 359 où il est question des suites de Fibonacci; pp. 255 à 259 à propos de la physique quantique; pp.342 à 346 qui concernent le calcul infinitésimal. Et ce que j’y ai lu ne m’a pas enthousiasmé.

    Je commence par les banalités qui concernent les suites de Fibonacci, banalités, qui, selon moi, n’ont rien à faire dans un livre autrement ambitieux « Cet essai ambitieux se veut une contribution à l’anthropologie des savoirs », ainsi débute la quatrième de couverture). Le paragraphe concernant la « suite dorée » vient comme les cheveux sur la soupe et la trivialité que « les nombres de la série convergent rapidement vers… des nombres entiers » (1) laisse penser au mathématicien un peu averti que le niveau mathématique de l’auteur n’est peut-être pas très élevé.

    Je continue par ce qui concerne la physique quantique. Je ne suis pas physicien (et n’ai jamais eu aucune envie d’en être) mais j’ai l’impression que mes maigres connaissances en physique quantique dépassent quand même assez largement ce que je lis dans les pages 343 et 344, pages qui ont sans doute fait sursauter les spécialistes de la chose qui les ont lues : je me demande si PJ n’a pas bu autre chose que du café avant de les écrire.

    Je vais dans ce qui suit me concentrer sur ce qui est dit du hamiltonien classique (p.255). Après avoir parcouru la fiche Wikipédia de Penrose, il m’apparaît évident que celui-ci n’aurait jamais écrit « ce qui n’est pas le cas » dans « que le modèle de l’hamiltonien suppose que le moment et la position de la particule sont des variables indépendantes, ce qui n’est pas le cas. ». car les équations de Hamilton, comme celles de Lagrange, résultent d’une application à la mécanique analytique de théorèmes mathématiques concernant le calcul des variations, ce qu’ignore sans doute PJ (: « ce qui n’est pas le cas »). Et le cœur de cette théorie consiste à plonger le mouvement réel dans un ensemble de mouvements virtuels où les variables conjuguées p et q sont considérées comme indépendantes, puis à retrouver ce mouvement réel comme résultat d’un problème d’optimisation de « l’action ». Dans le cas le plus simple -correspondant au cas physique de l’oscillateur harmonique- le lagrangien est p²/2-q²/2 et l’hamiltonien est p²/2+q²/2 -correspondant au cas physique de la différence ou de la somme d’une énergie cinétique et d’une énergie potentielle-, et les équations de Lagrange ou de Hamilton fournissent des équations différentielles qui régissent le mouvement. On voit donc que le calcul des variations a un rapport -peut-être étroit- avec l’antique opposition puissance/acte qui avait cours à l’époque d’Aristote et de Platon (2) (3), et pose d’intéressants problèmes philosophiques tels que la finalité (la nature agissant pour extrémaliser son action?) qui ont très certainement été débattus par les philosophes depuis l’époque d’Euler et de Lagrange. Thom : « La Physique (au sens d’Aristote comme au sens moderne) a précisément pour but d’énoncer des règles qui, au mieux, déterminent univoquement le réel au sein du possible — ou, plus faiblement, énoncent des contraintes que doit satisfaire le réel au sein du possible »; « (…) qu’une science soit plus qu’une description naïve, tient au fait qu’elle a construit un ensemble de processus “virtuels” (c.-à-d. imaginaires) parmi lesquels elle est capable de sélectionner ceux qui sont réels, observables. Ainsi, le critère de la vraie scientificité ne se trouve pas dans la véracité de l’observation, ni dans sa précision, ni dans l’usage d’instruments aidant à l’accroissement de l’ensemble des faits observables, mais dans la construction d’une virtualité de phénomènes à partir de laquelle les phénomènes réels peuvent être sélectionnés par une procédure logique ou mathématique bien définie ».

    En ce qui concerne la physique quantique (pp. 258 et 259) Thom reprend le problème du plongement du réel dans le possible dans sa conférence « Hasard et déterminisme » (4) où il consacre de longues minutes à l’objection quantique au déterminisme (25’20 à 37′), sa position étant celle d’un déterministe « qui n’a actuellement que peu de chances d’être entendu ».

    En ce qui concerne la logique quantique, je ne peux m’empêcher de rapprocher le chat de Schrödinger, en même temps vivant et mort, du chat affamé de Thom, en même temps prédateur et proie et, par suite, de penser que, si logique quantique il y a, celle-ci est nécessairement paracohérente. Pour Thom la véritable logique, la logique naturelle, est bien différente de celle des rationalistes modernes -classiques ou quantiques- qui postulent implicitement -ou explicitement- l’imbécillité d’une nature dont l’homme est maître et possesseur (Descartes): « La classe engendre ses prédicats comme le germe engendre les organes de l’animal. Il ne fait guère de doute (à mes yeux) que c’est là l’unique manière de théoriser ce qu’est la logique naturelle »; « (…) la science veut construire la vie à partir de la mécanique, et non la mécanique à partir de la vie »; « L’hypothèse réductionniste devra peut-être un jour être retournée : ce sont les phénomènes vitaux qui pourront nous expliquer certaines énigmes de la structure de la matière ou de l’énergie. Après tout, n’oublions pas que le principe de la conservation de l’énergie a été exprimé pour la première fois par von Mayer, un médecin… »; « (…) on pourrait bien un jour s’apercevoir que ce ne sont pas les molécules qui font la vie, mais au contraire la vie qui façonne les molécules ».

    1: Soit S la suite dorée 1, φ, φ², φ³, φ⁴, φ⁵, …, et T l’autre suite dorée 1, ψ, ψ², ψ³, ψ⁴, ψ⁵, …, où φ (= 1,6…) et ψ (= – 0,6…) sont les deux solutions de l’équation x²=x+1caractéristique des suites de Fibonacci, solutions qui vérifient φ+ψ=1. La suite S+T est encore une suite de Fibonacci qui est la suite -notée U- dont les deux premiers termes sont 2 (1+1) et 1 (φ+ψ), donc la suite d’entiers : 2, 1, 3, 4, 7, 11, … On a donc S=U-T, et le résultat suit puisque la suite T tend vers 0 (le 11,09 de la note de bas de page s’en trouve immédiatement justifié en calculant une valeur approchée (-0,09) de ψ⁵).

    2: À ce propos, le chapitre III commence par rappeler que « Aristote avait opposé le monde en puissance, celui de l’ensemble de tous les mondes possibles, au monde en acte, le seul monde effectivement réalisé, où se déroule effectivement notre vie quotidienne ». Dans l’article « Philosophie de la singularité », qui figure dans Apologie du logos, Thom remarque qu’il n’y a pas toujours unicité de la solution extrémale. Et Aristote lui-même donne l’exemple d’un théorème conjecturé comme « en puissance », et un théorème démontré comme « en acte » (et on sait bien qu’il peut y avoir plusieurs preuves d’un même théorème -j’ai lu qu’il y en avait plusieurs dizaines pour le théorème de Pythagore).

    3: Aristote oppose l’énergie potentielle (δύναμις) à l’énergie agissante (ἐνέργεια). Il me semble qu’il y a là un rapport (étroit?) avec la mécanique analytique : opposition de l’énergie potentielle (ici q²/2) à l’énergie cinétique (ici p²/2).

    4: https://www.youtube.com/watch?v=BXxKQVQFnRo (conférence donnée en 1985)

    1. Avatar de Paul Jorion

      Merci pour cette lecture circonstanciée. « Comment la vérité et la réalité furent inventées » (2009) a été traduit en allemand en 2020 (Tur + Kant à Vienne). Une discussion a lieu depuis quelques semaines à propos d’une traduction en anglais.

      1. Avatar de BasicRabbit
        BasicRabbit

        Bien que je ne sois pas physicien il me paraît clair que la phrase « Il n’y a pas de mouvement de plus faible amplitude que h, tout déplacement s’opère nécessairement pas « sauts » dont la constante de Planck h fournit l’unité minimale » (p.256) est fondamentalement incorrecte. Peut-être un physicien (Timiota?) abondera-t-il dans mon sens (je ne suis pas physicien…)?

        J’ai trouvé un article (1) dans lequel on montre comment passer de l’hamiltonien classique à l’hamiltonien quantique en précisant ce qui est quantifié (l’action, -cf. la note de bas de page-?). S’en inspirer pour fournir aux anglophones une version plausible -et intelligible- de la page 256 ?

        1: http://www.physique-quantique.wikibis.com/principe_de_correspondance.php

        1. Avatar de Paul Jorion

          Eh bien, revenez-nous donc lorsque vous pourrez nous expliquer pourquoi la phrase est incorrecte. Affirmer (même deux fois) que vous n’êtes pas physicien n’en constitue pas une démonstration irréfutable 😉 .

          1. Avatar de BasicRabbit
            BasicRabbit

            PJ: « Revenez-nous donc lorsque vous pourrez nous expliquer pourquoi la phrase est incorrecte. ». Pour moi la balle est dans votre camp, car je trouve cette phrase inintelligible et je vous propose aimablement un lien pour la reconsidérer et la modifier.

            Botter en touche m’apparaît comme l’une de vos spécialités (cf. les quelques échanges ci-dessus avec Druuh). L’argument d’autorité est chez vous un grand classique (ici Wikipédia) et la modestie n’est pas votre fort (j’affirme -deux fois…- que je ne suis pas physicien mais vous me répondez comme si vous en étiez « évidemment » un -de haut niveau car ayant compris les travaux de Feynman-. Il me semble que le cas élémentaire de l’oscillateur harmonique, traité classiquement et quantiquement dans (1), est susceptible d’éclairer basiquement la différence entre un hamiltonien classique et un hamiltonien quantique -et donc toute la page 256- beaucoup mieux qu’en tentant un drop avec des considérations d’électrodynamique quantique.

            D’une façon générale j’ai l’impression que vous faites de l’épistémologie en chambre comme d’autres font de l’ornithologie en chambre (2) -et votre article sur le secret de la chambre chinoise n’y est peut-être pas pour rien…-. Ainsi l’impression que me laisse la lecture de « Comment la vérité… » est que vous considérez la mécanique quantique et la logique mathématique essentiellement d’un point de vue épistémologique externe, mais que vous n’êtes pas rentré suffisamment dans le vif de ces difficiles sujets (3)-.

            1: http://www.physique-quantique.wikibis.com/principe_de_correspondance.php

            2: https://fr.wikipedia.org/wiki/Paradoxe_de_Hempel

            3: Moi non plus -je n’ai pas le niveau!-, mais il n’est pas question pour moi d’étaler mes états d’âme hors de commentaires de blogs -ici ou ailleurs-, blogs que je considère comme des divans psychanalytiques (et je prends en général la précaution de truffer mes commentaires de « pour moi », « selon moi », « à mes yeux », truffes qui, pour moi…, brillent par leur absence dans vos écrits).

            1. Avatar de Paul Jorion

              Regardez-vous plutôt. Vous faites des copier-coller de Thom depuis des années, et entre deux citations, vous pérorez du haut de l’autorité que vous imaginez que cela vous donne de placer ce grand mathématicien en position de gourou. Je fais moi œuvre originale et pas une seule des pseudo-erreurs que vous avez pseudo-découvertes dans mes textes, ne l’est.

              Convertissez-vous à faire vous aussi, œuvre originale, vous découvrirez que cela procure une tout autre satisfaction que le copier-coller révérenciel.

              1. Avatar de BasicRabbit
                BasicRabbit

                PJ: « Je fais moi œuvre originale et pas une seule des pseudo-erreurs que vous avez pseudo-découvertes dans mes textes, ne l’est. ».

                Ok, ça clôt élégamment la discussion. Je vous suggère quand même de vérifier de temps à autre l’état de vos chevilles!

                PS: Pour moi Thom n’est pas seulement un grand mathématicien (1), mais c’est aussi un grand épistémologue (qui sait de quoi il parle) et un grand philosophe/métaphysicien.

                1: PJ: « Non, il n’y a pas de « René Thom de la théorie du chaos ». Il y en a un « de la théorie des catastrophes (élémentaires) » en topologie. »

                BR: Il vaut mieux laisser s’exprimer Thom sur la façon dont il considère sa théorie:
                « Qu’est-ce que la théorie des catastrophes? C’est avant tout une méthode et un langage. Comme tout langage, la théorie des catastrophes sert à décrire la réalité. » (Le statut épistémologique de la théorie des catastrophes)

                PJ: Il vaut peut-être mieux NE PAS le laisser s’exprimer : « méthode et langage » est beaucoup trop vague, alors que dire que c’est une branche de la topologie est très précis.

                BR: « Il vaut peut-être mieux NE PAS le laisser s’exprimer »
                J’espère que vos doigts ont couru sur le clavier sous l’effet d’une pulsion inconsciente. Effet Libet?

                (http://www.pauljorion.com/blog/2014/11/06/la-question-du-soliton-est-devenue-indecomposable/)

                1. Avatar de Paul Jorion

                  Très bien, j’espère que vous allez trouver quelque chose d’utile à faire dans la vie maintenant que vos vains efforts de trouver des erreurs dans ce que j’écris ont atteint leur terme.

                  1. Avatar de BasicRabbit
                    BasicRabbit

                    PJ infaillible, Paul Jorion Paul VII.

                    En attendant que PJ et Druuh (et d’autres) donnent leur avis sur les questions posées ailleurs (1) par Yu Li, je continue de commenter « Comment le vérité… ».

                    Je commente ici la section « Le monde du signe et celui de la cause » (p. 187-192) qui recoupe la fin du chapitre 2 de « Esquisse d’une sémiophysique » (1988), paragraphes F à J. La section se termine par une opposition Thom/Jorion: Thom: « La physique est une magie contrôlée par la géométrie »; Jorion: « La physique est une religion contrôlée par des noms communs »; il s’agit dans les deux cas de la physique moderne.

                    La position de PJ est la suivante -si j’ai correctement compris ce qu’il écrit-: les phénomènes naturels inexpliqués sont, dans les sociétés primitives, dûs à des « dieux » désignés par des noms propres (PJ cite Xévioso cause de la foudre et Sakpata cause de la variole). Le fait de désigner les causes par des noms communs est caractéristique d’un passage de la magie à la science, c’est-à-dire d’une explication des phénomènes par une construction d’un espace de modélisation (une Réalité objective) (et ceux qui réalisent ces mutations sont ceux que PJ qualifie de « jeunes turcs »).

                    Thom: « Le rapport entre magie et science apparaît essentiellement comme le rapport entre deux modes de contrôle de l’imaginaire ; dans le premier cas (la magie), l’imaginaire des prégnances se trouve contrôlé par la volonté des hommes (ou de certains hommes, les magiciens, experts en pratiques efficaces) ; dans le second (la science), le contrôle est défini par la générativité interne du langage formel qui décrit les situations extérieures, générativité sur laquelle l’homme n’a plus de prise, une fois fixées les conditions initiales. ».

                    PJ jeune turc? Pour moi incontestablement lorsqu’il écrit p.53: « J’avais pu constater personnellement, au sein du panthéon des mêmes populations Xwéda (du Bénin actuel), le regroupement des phénomènes naturels en vastes catégories reproduisant les sept « catastrophes élémentaires » de la théorie géométrique des catastrophes ce René Thom ». Il est en effet clair que pli, fronce, queue d’aronde, papillon et ombilics sont des noms très communs (bien plus communs que les fermions et les bosons que PJ cite p.192).

                    Pour terminer je ne résiste pas à la tentation de faire une analogie entre les fermions et les bosons d’une part et la pensée chinoise et la pensée grecque d’autre part. Selon PJ (premier chapitre de « Comment la vérité… »), la pensée chinoise et la pensée primitive sont essentiellement symétriques alors que la pensée occidentale est antisymétrique -miracle grec-. La MQ m’apprend que, dans un sens à préciser (2), les bosons sont symétriques et les fermions antisymétriques. Thom écrit ceci à propos des fermions et des bosons (3):

                    « Fort spéculativement on associera ces deux processus [résonance et collision] aux deux grands types de particules connus en physique: bosons et fermions. Les bosons, de nature essentiellement radiative, ont tendance à s’associer en champs où ils deviennent indistinguables et non localisables, effet dû à la résonance. Les fermions, de nature essentiellement spatiale, matérielle, devraient leur caractère répulsif et individualiste au phénomène de collision qui les sépare… ».

                    PJ s’identifiant à un fermion-yang (4)? Je trouve que ça lui irait comme un gant. Yu li s’identifiant à un boson-yin?

                    1: https://www.pauljorion.com/blog/2022/04/12/unilog-2022-godels-incompleteness-theorem-revisited-par-yu-li

                    2: https://fr.wikipedia.org/wiki/Particules_indiscernables

                    3: Apologie du logos, p.325.

                    4: Thom : « l’intelligence est la capacité de s’identifier à autre chose, à autrui ».

                    3: Apologie du logos, p.325

                  2. Avatar de BasicRabbit
                    BasicRabbit

                    @PJ. Principe d’exclusion de Paulo: « J’ai raison »; principe d’exclusion de Pauli: https://fr.wikipedia.org/wiki/Principe_d%27exclusion_de_Pauli .
                    L’analogie PJ/fermion est-elle sémantiquement acceptable ou non?

                    À la fin de « Stabilité structurelle et morphogenèse » Thom (dont je rappelle qu’il considère que sa théorie des catastrophes est une théorie -hors substrat- de l’analogie) écrit à ce propos:

                    « Entre constater la présence d’accidents morphologiques isomorphes sur des substrats différents et établir entre ces substrats un couplage fondamental pour expliquer ces analogies, il y a un pas énorme, celui qu’accomplit précisément la pensée délirante. ».

                    Vous me reprochez de ne pas penser. Soit. Mais -je m’adresse ici au PJ psychanalyste- n’y a-t-il pas dans toute pensée, éventuellement délirante, une part de vérité qui échappe à la définition qu’en donne Aristote ?

                    Thom encore :

                    « (…) notre modèle offre d’intéressantes perspectives sur le psychisme, et sur le mécanisme lui-même de la connaissance. En effet, de notre point de vue,
                    notre vie psychique n’est rien d’autre qu’une suite de catastrophes entre attracteurs de la dynamique constituée des activités stationnaires de nos
                    neurones. La dynamique intrinsèque de notre pensée n’est donc pas fondamentalement différente de la dynamique agissant sur le monde extérieur. On s’expliquera ainsi que des structures simulatrices des forces extérieures puissent par couplage se constituer à l’intérieur même de notre esprit, ce qui est précisément le fait de la connaissance. ».

                  3. Avatar de BasicRabbit
                    BasicRabbit

                    Ajout à mon précédent commentaire concernant l’opposition Thom/Jorion: Thom: « La physique est une magie contrôlée par la géométrie »; Jorion: « La physique est une religion contrôlée par des noms communs ».

                    Tout d’abord une citation thomienne confortant la position de PJ:

                    « (…) on peut penser qu’il y a chez Aristote une confiance implicite (et selon moi justifiée) dans la portée ontologique du langage naturel. » (ES, p. 249).

                    Citation suivie de deux autres, qui invitent au dialogue:

                    – « L’ambition ultime de la théorie des catastrophes, en fait, est d’abolir la distinction langage mathématique-langage naturel qui sévit en science depuis la coupure galiléenne. »;

                    – « (…) dès qu’on reconnaît aux autres l’existence, qu’on accepte de dialoguer avec eux, on s’engage ontologiquement. Pourquoi ne pas accepter alors les entités que nous suggère le langage? Quitte à contrôler les hypostases abusives, c’est là la seule manière d’apporter au monde une certaine intelligibilité. Seule une métaphysique réaliste peut redonner du sens au monde. » (fin de la conclusion de ES).

                    Thom toujours:

                    « Le métaphysicien est précisément l’esprit capable de remonter cet arbre de Porphyre jusqu’au contact avec l’Être. De même que les cellules sexuées peuvent reconstituer le centre organisateur de l’espèce, le point germinal α (pour en redescendre ensuite les bifurcations somatiques au cours de l’ontogenèse), de même le métaphysicien doit en principe parvenir à ce point originel de l’ontologie, d’où il pourra redescendre par paliers jusqu’à nous, individus d’en bas. Son programme, fort immodeste, est de réitérer le geste du Créateur). Mais très fréquemment, épuisé par l’effort de son ascension dans ces régions arides de l’Être, le métaphysicien s’arrête à mi-hauteur à un centre organisateur partiel, à vocation fonctionnelle. Il produira alors une « idéologie », prégnance efficace, laquelle, en déployant cette fonction, va se multiplier dans les esprits. Dans notre métaphore biologique ce sera précisément cette prolifération incontrôlée qu’est le cancer. » (ES, p.216).

                    Je me suis depuis longtemps demandé -et je me demande toujours- pourquoi PJ s’entête à ne voir en Thom qu’un grand mathématicien alors qu’il est également -pas que selon moi…- un grand philosophe? Blocage idéologique? La façon dont dialoguent fermions et bosons -qui constituent dans « Comment la vérité… » (p.191) l’équivalent d’un panthéon- sera peut-être pour PJ sujet de réflexion, et la perspective d’un cancer idéologique incitera peut-être Paul à parcourir enfin son chemin de Damas…

        2. Avatar de Paul Jorion

          Wikipedia en anglais :

          Constante de Planck

          En supposant que la fréquence soit suffisamment élevée pour provoquer l’effet photoélectrique, une augmentation de l’intensité de la source lumineuse entraîne l’émission d’un plus grand nombre de photoélectrons avec la même énergie cinétique, plutôt que l’émission du même nombre de photoélectrons avec une énergie cinétique plus élevée. L’explication d’Einstein pour ces observations était que la lumière elle-même est quantifiée ; que l’énergie de la lumière n’est pas transférée de façon continue comme dans une onde classique, mais seulement en petits « paquets » ou quanta. La taille de ces « paquets » d’énergie, qui seront plus tard nommés photons, devait être la même que l’ »élément d’énergie » de Planck, donnant la version moderne de la relation Planck-Einstein : E=hf.

      2. Avatar de Paul Jorion

        Wikipedia en anglais :

        Constante de Planck

        En supposant que la fréquence soit suffisamment élevée pour provoquer l’effet photoélectrique, une augmentation de l’intensité de la source lumineuse entraîne l’émission d’un plus grand nombre de photoélectrons avec la même énergie cinétique, plutôt que l’émission du même nombre de photoélectrons avec une énergie cinétique plus élevée. L’explication d’Einstein pour ces observations était que la lumière elle-même est quantifiée ; que l’énergie de la lumière n’est pas transférée de façon continue comme dans une onde classique, mais seulement en petits « paquets » ou quanta. La taille de ces « paquets » d’énergie, qui seront plus tard nommés photons, devait être la même que l’ »élément d’énergie » de Planck, donnant la version moderne de la relation Planck-Einstein : E=hf.

  14. Avatar de BasicRabbit
    BasicRabbit

    En attendant que PJ et Druuh (et d’autres) donnent leur avis sur les questions posées ailleurs (1) par Yu Li, je continue de commenter « Comment le vérité… ». Je m’intéresse maintenant aux pages 332 à 346 consacrées au calcul différentiel. Je commence par ce que je considère être le plus élémentaire, à savoir ce que PJ écrit pp.338 à 341.

    Si j’avais à réécrire le contenu de ces pages je partirais du concept de vitesse moyenne -connu de tous- qui est le rapport de la distance parcourue par le temps mis pour la parcourir. Il est naturel de tenter de définir le concept d’accélération moyenne de la même façon que celui de vitesse moyenne : différence entre vitesse finale et vitesse initiale divisée par temps de parcours ( (vb-va)/(b-a) lorsque le mouvement a lieu sur une droite -pour fixer les idées-). Le problème qui se pose saute aux yeux : pour pouvoir procéder de cette même façon il faut disposer du concept de vitesse instantanée. Pour contourner la difficulté il est alors tout naturel de faire apparaître les positions aux instants a+ε et b-ε, ε>0 arbitrairement petit et donc d’assimiler les vitesses instantanées initiale et finale à des vitesses moyennes sur des temps de parcours arbitrairement petits (de « longueur » ε).

    En tant que mathématicien Newton a initié la théorie de l’interpolation par différences divisées (ici les pôles sont a, a+ε, b-ε et b alignés sur une droite). Le rapport entre formule de Taylor (contemporain de Newton) en un point a et formule d’interpolation de Newton en a et en un halo d’une infinité de points distincts tous infiniment proches de a pose des problèmes actuellement encore non résolus (2). Newton, en même temps mathématicien et physicien, a vraisemblablement -je n’y connais rien en histoire des sciences- joué simultanément sur les deux tableaux pour formuler son principe fondamental de la dynamique.

    Philosophiquement/métaphysiquement le problème est clairement pour moi celui de l’opposition nombre arbitrairement petit « en puissance »/nombre infiniment petit « en acte ». Je n’ai pas vu PJ faire cette remarque à partir de laquelle il me semble pourtant naturel, pour un épistémologue aristotélicien, de hausser le propos.

    1: https://www.pauljorion.com/blog/2022/04/12/unilog-2022-godels-incompleteness-theorem-revisited-par-yu-li/

    2 : Conjecture de Hassler Whitney

    1. Avatar de BasicRabbit
      BasicRabbit

      Commentaires élémentaires à propos des calculs « bricolés » sur les infinitésimaux.

      1. Compensation des erreurs (haut de p.335).

      Dans ce cas fréquent, que l’on ait a – a (a fini) ou ε – ε (ε arbitrairement petit ou infinitésimal) ne change rien à l’affaire (le lecteur ne peut, selon moi, en imaginer plus sans que soit précisé le contexte de la citation de Berkeley).

      2. Le cas des développements en série est plus intéressant. Il est abordé p.337 où Einstein remarque (comme Newton auparavant dans un contexte différent) que seules les dérivées premières (les vitesses) et les dérivées secondes (les accélérations) -dérivées éventuellement partielles- apparaissent dans les équations, sans autre justification -à ma maigre connaissance- que la justification expérimentale (« Hypotheses non fingo » lançait Newton dans ses Principia mathematica). On retrouve ce problème p.341, toujours trop vaguement formulé à mon goût. Je pense que le problème de fond est tout bêtement celui de savoir si une somme infinie de quantités infiniment petites est ou non elle-même infiniment petite (donc négligeable); on est donc là face à l’indétermination 0 x ∞, bien connue depuis le lycée. Un cas particulier important car fréquent est de savoir si on peut négliger la somme d’une série entière (2) en ε (et il est connu que la réponse peut être négative : il existe en effet des séries à coefficients non tous nuls de rayon de convergence nul).

      3. Je pense qu’il aurait été judicieux de citer ici Kuhn (ce que PJ fait dans le premier chapitre) et la mécanique quantique (ce que fait PJ au chapitre III): en cas de changement de paradigme comme il y en a eu avec l’apparition du calcul différentiel et, plus tard avec l’apparition de la mécanique quantique (changements de paradigmes impulsés par les physiciens) il est pour moi normal qu’il y ait une période de flottement avant que les matheux ne trouvent un cadre qui donne une cohérence à des bricolages inexpliqués mais « qui marchent » (voir (1) pour des exemples d’application du principe de Valhinger) : cas du calcul symbolique de Heaviside, de la « fonction  » δ de Dirac, renormalisation, etc.).

      1: https://fr.wikipedia.org/wiki/S%C3%A9rie_divergente

      2: https://fr.wikipedia.org/wiki/S%C3%A9rie_enti%C3%A8re

      1. Avatar de BasicRabbit
        BasicRabbit

        PJ écrit p.346 de « Comment la vérité… » :

        « … on considère aujourd’hui que ce sont précisément les travaux de Robinson en analyse non-standard [ANS], dans les années 1960, qui établirent -enfin- le recours à la limite sur une base solide. ».

        Je viens de découvrir un blog qui me semble de bonne tenue qui traite de ces sujets (et des suites de Goodstein -et donc implicitement de l’incomplétude de l’arithmétique-, et des rapports entre récurrence et induction, etc.) :

        http://blog.kleinproject.org/?p=2210&lang=fr , où il est écrit ceci :

        « Puis Edward Nelson en 1977 trouve le moyen d’axiomatiser l’ANS. Pour cela, il ajoute au langage de la théorie des ensembles un symbole de prédicat à une place, st(x), exprimant qu’un objet x est standard, et à l’axiomatique ZFC de cette théorie, trois axiomes : les axiomes d’idéalisation, de standardisation et de transfert (1), ce qui rend l’ANS plus aisément manipulable. C’est sur cette axiomatisation dénommée IST (Internal Set Theory) que nous nous appuyons dans cette vignette. ».

        L’approche de Nelson (pendant syntaxique de l’approche sémantique de Julia Robinson) devrait pouvoir intéresser épistémologues et linguistes (voire psychanalystes…).

      2. Avatar de BasicRabbit
        BasicRabbit

        (complément oublié)

        1 : L’axiome d’idéalisation dit que pour toute relation binaire R classique (c’est à dire s’exprimant sans recours au prédicat st), les deux propositions suivantes sont équivalentes : (i) pour tout ensemble standard fini F, il existe un x tel que, pour tout y de F, on ait R(x,y) ; (ii) il existe un x tel que, pour tout y standard, R(x,y).

        L’axiome de standardisation dit que, pour toute propriété P et tout ensemble standard X, il existe une partie standard Y de X dont les éléments standards sont exactement les éléments de X qui satisfont P. Cet axiome vaut que P soit une propriété classique ou non.

        L’axiome de transfert dit que pour toute propriété classique P, P(x) est vraie pour tout x si et seulement si P(x) est vraie pour tout x standard.

    2. Avatar de BasicRabbit
      BasicRabbit

      Commentaire sur la section « Kline » (pp.344 et 345)

      Dans ce que j’appelle sa vidéo-testament (1) Thom se place en épistémologue et en philosophe des sciences dans la partie « À propos de la science » (à partir de 37’50). Et il prend le problème exactement comme PJ le fait prendre à Kline, à savoir en commençant par l’étude du projectile lancé vers le haut et qui retombe. Pour Thom la façon de considérer ce problème symbolise exactement le point où la physique moderne mathématisée se sépare de la physique aristotélicienne (2).

      PJ insiste pour ne voir dans les mathématiques qu’une physique virtuelle (c’est, je crois, la thèse qu’il défend ici). Je vois au contraire l’évolution (la progression?) du couple mathématique/physique moderne comme l’escalade d’une cheminée en montagne: progression en alternance où l’impulsion vient tantôt de la physique tantôt des mathématiques (Riemann-Ricci/Einstein et nouvelles idées d’expériences, expérience des fentes d’Young, postulats de la mécanique quantique -Heisenger, Born, Schrödinger, Dirac, von Neumann, etc.-) donnant l’idée de nouvelles expériences (Aspect…). Pour moi l’ascension se fait par alternance de périodes inductives/analogiques et de périodes déductives/catalogiques.

      Thom :

      – « J’appelle « progrès essentiel » en Science toute modification de la nomologie qui permet une résorption considérable de l’accident qui lui est expérimentalement attaché. » (1990);

      – « Ainsi la fonction originelle d’une philosophie de la nature sera-t-elle de rappeler constamment le caractère éphémère de tout progrès scientifique qui n’affecte pas de manière essentielle la théorie de l’analogie. » (1988)

      J’aime le PJ éclectique, idéologue au sens étymologique de celui qui étudie les idées (des autres comme des siennes propres), je n’aime pas le PJ idéologue au sens contemporain qui s’impose -et tente d’imposer à ses lecteurs- une vision étriquée des choses, refusant que certains -ici des matheux- aillent puiser leur intuition à d’autres puits que ceux assignés par lui (à la suite d’Aristote?).

      Thom : « Le « philosophe de la nature » que j’envisage aura un point de vue résolument anti-démarcationniste. On peut imaginer un spectre quasi-continu joignant les assertions les plus solidement établies (par exemple un théorème de mathématique) aux affirmations les plus délirantes. La pratique de notre épistémologue peut être ainsi décrite. Partant des points de contact obligés entre science et philosophie, il s’efforcera d’épaissir l’interface entre science et philosophie ; il sera donc philosophe en sciences, et scientifique en philosophie. « (1988)

      1: https://www.youtube.com/watch?v=fUpT1nal744 (on remarquera à 38’50 l’erreur d’inattention faite par Thom dans la forme de la fonction analytique (polynôme du second degré en t) -enseignée au lycée- qui régit le modèle mathématique galiléen du mouvement…).

      2: « Esquisse d’une sémiophysique », p.221.

    3. Avatar de BasicRabbit
      BasicRabbit

      Je développe un peu ici mon « Philosophiquement/métaphysiquement le problème est clairement pour moi celui de l’opposition nombre arbitrairement petit « en puissance »/nombre infiniment petit « en acte ».  » de mon commentaire du 26/05 10h10. En fait ce développement est contenu dans « Esquisse d’une sémoiphysique » cité deux ou trois fois par PJ dans « Comment la vérité… », dont une partie -en particulier le chapitre 5- est une tentative de relier mathématique et philosophie.Thom y formule et discute les axiomes ABP (l’Acte est le Bord de la Puissance) et FBM (la Forme est le Bord de la Matière). Thom y discute le problème de la définition de la tangente à une courbe plane en un point comme le bord des sécantes au voisinage immédiat de ce point. C’est donc la version géométrique du problème algébrique de la définition de la vitesse instantanée. Ce qui apparaît immédiatement géométriquement est que le point de contact est un point double, car limite de points doubles (les extrémités des segments sécants. Et, pour Thom, c’est exactement comme ça qu’Aristote voyait le problème:

      « Le point seul, isolé (disons O sur l’axe x’Ox), n’existe qu’ « en puissance »; il aspire à l’acte en se dédoublant en deux points O1, O2, O1 adhérent à gauche, O2 adhérent à droite; ces deux points étant alors distincts bien qu’ensemble.(αμα), les deux demi-segments ainsi limités accèdent alors à l’existence pleine, l’être en acte. » (ES p.13).

      J’avoue ne pas comprendre pourquoi PJ, aristotélicien convaincu et connaisseur de l’œuvre de Thom, ne fait pas cette remarque philosophique (alors que pour moi le « fond de commerce » de « Comment la vérité… » l’est évidemment.

      PJ conclut cette section concernant le calcul différentiel par: « … on considère aujourd’hui que ce sont précisément les travaux de Robinson en analyse non standard, dans les années 1960, qui établirent -enfin- le recours à la limite sur une base solide. ». Dans les modèles non standard de la droite réelle « à la Robinson » on a effectivement des infiniment petits « en acte » et non pas seulement « en puissance », fantômes de quantités disparues (pour reprendre l’expression de Berkeley).

      Ce n’est pas ici la place de discuter de l’analyse non standard « à la Robinson », que ce soit techniquement ou philosophiquement. Mais il me semble intéressant de parler d’une autre méthode, conceptuellement plus accessible, qui produit des modèles comportant des infiniment petits « en acte ». Et comme cette même méthode fournit des modèles non-standard de l’arithmétique (disons de PA1 pour fixer les idées) comportant des infiniment grands « en acte », cela permet de faire une liaison avec le théorème de complétude de Gödel et aussi de mettre en lumière une difficulté conceptuelle dans la preuve de son théorème d’incomplétude.

      Je parlerai de ça en commentaire de l’article de Yu Li.

    4. Avatar de BasicRabbit
      BasicRabbit

      Pour clore mes commentaires sur « Comment la vérité… ».

      Je pars de mon commentaire du 12/04 12h05 (« On ferait également bien de s’intéresser au paradoxe de Hempel (…) c’est-à-dire à l’emploi de la négation dans les systèmes formels. ». L’emploi de la négation est précisé en (1): considérer comme licite le raisonnement par contraposition permet de faire de l’ornithologie en chambre.

      D’une façon plus générale une xlogie (néologisme maison pour « étude d’un sujet quelconque », par exemple ici x=ornitho) doit, à mon avis se faire positivement -de l’intérieur- et négativement -de l’extérieur: thèse et antithèse.

      Thom : « Il existe au départ un obstacle à l’existence d’une philosophie de la nature : c’est celui que pose le problème de la « démarcation », à savoir l’établissement de critères permettant de distinguer la connaissance scientifique de celle qui ne l’est pas : un « Naturphilosoph » ne saurait être « démarcationniste ». Ce problème qui a eu pour l’épistémologie positive et néopositive une importance cruciale a aujourd’hui perdu beaucoup de son acuité. » (1988).

      Thom encore: « Le « philosophe de la nature » (2) que j’envisage aura un point de vue résolument anti-démarcationniste. […] La pratique de notre épistémologue peut être ainsi décrite. Partant des points de contact obligés entre science et philosophie, il s’efforcera d’épaissir l’interface entre science et philosophie ; il sera donc philosophe en sciences, et scientifique en philosophie. ». (1988)

      À la fin de l’avant-propos de « Comment la vérité… » PJ indique qu’il se situe résolument dans une perspective épistémologique de « philosophie de la nature » (celle de Hegel).

      La critique est aisée mais l’art est difficile. L’anthropologue PJ: naturphilosoph ou seulement épistémologue (x=épistémo) en chambre à ses heures?

      N’est-ce pas au fond le problème posé par le théorème d’incomplétude de Gödel : relier le dedans et le dehors?

      1: https://fr.wikipedia.org/wiki/Paradoxe_de_Hempel

      2: Cf. l’article de Thom « La philosophie naturelle : une quête de l’intelligible », Apologie du logos (Hachette, 1990)

  15. Avatar de BasicRabbit
    BasicRabbit

    Toujours dans l’attente de voir s’instaurer un débat annoncé par les deux parties entre PJ et Druuh sur cet article -comme s’est instauré le débat entre Yu Li et moi sur l’article de celle-ci-. Je continue donc ma critique du chapitre IV de « Comment la vérité… » avec les pages consacrées au théorème d’incomplétude de Gödel.

    Je commence par une remarque concernant l’arithmétique (bas de p.272 et haut de p.273), juste avant ce qui est dit à propos de la colonisation par la science moderne des catégories aristotéliciennes -en particulier celle de la qualité- par celle de la quantité discrète (1). En mathématiques il me semble que c’est Descartes qui a permis cette colonisation, colonisation que les pythagoriciens « canal historique » se refusaient de faire. Cette remarque concerne ce qu’écrit Hegel (qui avait une admiration certaine pour Pythagore, car considéré par lui comme le premier maître de l’universel).

    Pour moi 25=5² est typiquement ce que les pythagoriciens authentiques refusaient de faire, eux qui cherchaient à donner aux nombres entiers une signification géométrique (et symbolique) en distinguant soigneusement les nombres carrés (ici 5²), cubiques, triangulaires (le tetraktys) des nombres « linéaires » (ici 25). En refusant cette identification ils refusaient d’assimiler une surface 2D à une ligne 1D, surfaces et lignes ayant pour eux des qualités différentes. Pour moi un exemple typique de la colonisation moderne de la qualité par la quantité est la courbe de Peano (2) qui remplit le carré de côté 5, courbe que l’on peut -et doit à mon avis- voir comme une extension au continu de la « surface » 5² remplie par 5 « lignes » (ou « colonnes ») de longueur 5. On a là un exemple -certainement traité par les épistémologues- des problèmes du rapport entre le discret et le continu (et le bon sens comme critère de véracité!). Le théorème « paradoxal » (contre-intuitif) de Banach-Tarski (3) en est un autre, qui montre la difficulté qu’il y a à prendre la théorie des ensembles ZFC (C pour axiome du Choix) pour fonder les mathématiques (en particulier la géométrie!). En théorie des modèles formels, il faut, à mon vis, faire attention à l’utilisation de l’axiome du choix, et à ses rapports avec la compacité (4, 5) en logique formelle, compacité sans laquelle -à mon avis…- on ne peut pas parler de modèles non standards, de nombres entiers infiniment grands et de nombres réels infiniment petits.

    Pour moi les premiers pythagoriciens étaient les premiers géomètres-arithméticiens et le fameux « Tout est nombre » ne signifie pas autre chose que, dans leur vision du monde (ils avaient leurs propres catégories, différentes de celles d’Aristote), la géométrie pouvait idéalement se réduire à l’arithmétique (la vision de Grothendieck?). J’ai lu je ne sais plus où que, pour les pythagoriciens, les seuls véritables nombres étaient exclusivement les nombres entiers et que ceux auxquels ils s’intéressaient avaient un caractère sacré (la tetraktys en particulier (6)) : pour eux 5²=25 était peut-être un sacrilège!

    Remarque finale. La démonstration de l’égalité 4=2+2 (ou d’une égalité de ce type) dans l’arithmétique de Peano (7) remplit une page dans les Principia Mathematica de Russel et Whitehead. Le faire remarquer aux lecteurs aurait été, selon moi, une bonne mise en jambes pour la lecture de la suite (le théorème d’incomplétude de Gödel).

    1: Aristote distingue-t-il deux sortes de quantités : la quantité discrète et la quantité continue? C’est ce que semble dire René Guénon dans le « Le règne de la quantité… ».

    2: https://fr.wikipedia.org/wiki/Courbe_de_Peano ; https://fr.wikipedia.org/wiki/Courbe_de_Hilbert?tableofcontents=0 ;

    3: https://fr.wikipedia.org/wiki/Paradoxe_de_Banach-Tarski

    4: https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_de_compacit%C3%A9

    5: https://askfrance.me/q/le-theoreme-de-compacite-de-la-logique-mathematique-est-il-equivalent-a-l-a-144024736116

    6: https://en.wikipedia.org/wiki/Tetractys

    7: Égalité écrite sous la forme ssss0=ss0+ss0, s symbole « successeur de ».

  16. Avatar de BasicRabbit
    BasicRabbit

    Commentaire des pages 100-124, 288-291, 301.

    La compréhension de ce que sont la vérité et la démontrabilité -ainsi que leurs rapports- est évidemment cruciale pour qui a pour objectif de critiquer les théorèmes d’incomplétude de Gödel. Une approche méthodologique selon moi raisonnable consiste:

    – d’abord à préciser -ou tenter de préciser- ce que les logiciens formels modernes entendent par vérité et démontrabilité, puis à en faire éventuellement une critique argumentée (il y a matière…);

    – ensuite à éventuellement critiquer les critères de vérité et de démontrabilité choisis par ces logiciens.

    Or l’approche méthodologique de PJ est clairement inversée: imposer d’abord d’autres conceptions de la vérité et de la démontrabilité et ensuite critiquer les preuves par Gödel de ses théorèmes d’incomplétude. PJ commence donc par modifier les règles du jeu que les logiciens modernes se sont données, tout en critiquant ces mêmes logiciens (cf. p.288-291): la critique est beaucoup plus facile quand on change les règles du jeu!

    En logique formelle les théorèmes de complétude (du calcul propositionnel, du calcul des prédicats, etc.) sont centraux pour ce qui concerne les rapports entre vérité et démontrabilité, et, bien entendu, les notions de vérité et de démontrabilité y sont explicitement ou implicitement précisées dans les articles en fournissant les preuves. Le problème, en ce qui concerne la preuve par Gödel de ses théorèmes d’incomplétude, c’est que Gödel élude complètement la question de la vérité (peut-être en rapport avec ce qu’il écrit dans le brouillon de lettre mentionné par PJ p.298) et donc que l’on doit chercher dans les théorèmes de complétude (Bernays-1923 pour le calcul propositionnel, Gödel-192? pour le calcul des prédicats) ce que les logiciens modernes entendent par vérité d’un énoncé clos.

    Il suit méthodologiquement qu’épistémologues, historiens et philosophes des sciences -gens qui ont un regard extérieur sur le sujet- sachent avec la plus grande précision possible de quoi il retourne. Un nom vient tout de suite, celui de Tarski, qui a précisé tardivement (1934) la notion de vérité en logique mathématique, mais il me semble très vraisemblable que l’article de Tarski ne fait qu’entériner la notion que Gödel avait de la vérité en logique formelle. Clairement pour moi c’est à l’épistémologue d’enquêter sur ce point crucial, point que PJ semble considérer comme sans importance puisque qu’il écrit p.331 :

    « Une fois que l’on a dit, à la suite de Tarski, que « [il est vrai que] la neige et blanche si [et seulement si] la neige est blanche », on peut aussi bien rentrer chez soi: la question de la vérité et de la fausseté ne court plus aucun risque de se voir un jour éclairée. »,

    et qu’il donne sa position dans les pages 298-302 où il semble prendre celle de Ladrière : « Les énoncés vrais sont les axiomes et les théorèmes ».

    PJ parle différemment de Tarski aux pages 113-114, puisqu’il parle « des innombrables difficultés épistémologiques que ce principe comporte en lui ». Personnellement je suis en phase avec le PJ des p.113-114 et en complet désaccord avec le PJ de p.331, car la « définition » de la vérité par Tarski renvoyant quasi-directement, selon moi, au problème de l’identification signifiant-signifé dont mon gourou parle en ces termes (dans un article consacré à… la danse!):

    « Parler de signe, en l’occurrence, oblige à quitter la définition stricte de Saussure. M. Grize a raison, dans la danse, ou signifiant et signifié coîncident, on n’a plus de signe au sens saussurien classique. mais on observera qu’il y a deux cas bien connus où la distance entre signifiant et signifié s’abolit. D’abord dans les systèmes formels, où, comme Hilbert (1) l’avait vu, chaque signe s’identifie à la lettre qu’il représente; il n’y a plus alors de référent externe. ».

    Avec la position de Ladrière (et de PJ?) l’affaire est donc réglée: le premier théorème d’incomplétude est incorrect (sous la forme « Il existe une formule vraie dans le modèle standard de l’arithmétique et non démontrable dans l’arithmétique de Peano du premier ordre »), point-barre.

    Une question qui se pose alors (« il y a matière… ») est donc: avec la définition de la vérité par Tarski (supposée être celle de Gödel) a-t-on un résultat philosophiquement acceptable ou non? Un début de réponse -avec je suis entièrement d’accord- est donné par PJ p.121 -entre autres-: si l’énoncé du théorème d’incomplétude est philosophiquement acceptable alors il réduira nécessairement considérablement le champ d’application de la logique.

    (à suivre)

    1: Très vraisemblablement en rapport avec ce qu’écrit PJ p.304 : « Cette volonté d’ « éliminer la signification » est centrale au programme de Hilbert. ».

    1. Avatar de Paul Jorion

      Il y a dans Comment la vérité et la réalité furent inventées, une « archéologie » au sens de Foucault de la notion de « vérité » dans notre culture. La clarté culmine de ce point de vue dans l’université médiévale. Ensuite, il y a une lente dégénérescence, parallèle à la montée en puissance de l’arrogance de mathématiciens et de logiciens de moins en moins cultivés, de plus en plus ignorants des acquis de leur domaine et de son histoire. Quand on arrive aux Gödel, Church, Kleene, Turing, les rambardes ont entièrement disparu : ils se fient pour savoir ce qu’est la vérité à … leur « intuition », où chacun d’entre eux met ce qui lui passe par la tête.

      Je ne caricature pas, voici ce qu’écrit celui qui est loin d’être le plus crétin d’entre eux : Turing, dans sa thèse, Systems of Logic Based on Ordinals (1938). Lisez cela attentivement : c’est ce qu’écrit dans sa thèse un des héros avec Gödel de la pensée mathématique du XXe siècle.

      « Le raisonnement mathématique peut être considéré assez schématiquement comme l’exercice d’une combinaison de deux facultés, que nous pouvons appeler intuition et ingéniosité. L’activité de l’intuition consiste à porter des jugements spontanés qui ne sont pas le résultat de raisonnements conscients. Ces jugements sont souvent, mais en aucun cas invariablement, corrects (en laissant de côté la question de savoir ce que l’on entend par « correct »). Il est souvent possible de vérifier d’une autre manière la justesse d’un jugement intuitif. Nous pouvons, par exemple, juger que tous les entiers positifs sont uniquement factorisables en nombres premiers ; un argument mathématique détaillé conduit au même résultat. Cet argument fera également intervenir des jugements intuitifs, mais ils seront moins critiquables que le jugement original sur la factorisation. Je ne tenterai pas d’expliquer plus explicitement cette idée d’ »intuition ».

      L’exercice de l’ingéniosité en mathématiques consiste à aider l’intuition par des arrangements appropriés de propositions, et peut-être des figures ou des dessins géométriques. L’objectif est que, lorsque ces éléments sont vraiment bien disposés, la validité des étapes intuitives requises ne puisse être sérieusement mise en doute.

      Les rôles joués par ces deux facultés varient bien sûr d’une occasion à l’autre, et d’un mathématicien à l’autre. Cet arbitraire peut être supprimé par l’introduction d’une logique formelle. La nécessité d’utiliser l’intuition est alors grandement réduite en établissant des règles formelles pour effectuer des inférences qui sont toujours intuitivement valides. Lorsqu’on travaille avec une logique formelle, l’idée d’ingéniosité prend une forme plus définie. En général, une logique formelle sera conçue de manière à admettre une variété considérable d’étapes possibles à n’importe quelle étape d’une preuve. L’ingéniosité déterminera alors quelles étapes sont les plus rentables pour prouver une proposition particulière. » (Trad. DeepL)

      On aura noté au passage un jet de l’éponge quant à l’intuition (« Je ne tenterai pas d’expliquer plus explicitement cette idée d’ »intuition » ») et au correct (« en laissant de côté la question de savoir ce que l’on entend par « correct » [sic] »), sur quoi toute sa thèse repose cependant. Si l’on est d’humeur peu charitable, on comparera ce grand n’importe quoi au barème de la force probante de chacun des types d’arguments utilisés dans la démonstration (son degré précis de maintien de la vérité héritée du stade précédent de la démonstration) en Analytique, en Dialectique et en Rhétorique (confondus aujourd’hui, je le rappelle, dans le grand fourre-tout de la « logique »), que l’on trouve dans l’Organon d’Aristote. Le mot de « dégénérescence » que j’utilise est-il vraiment trop fort ?

      Venons-en maintenant à vos objections.

      Or l’approche méthodologique de PJ est clairement inversée: imposer d’abord d’autres conceptions de la vérité et de la démontrabilité et ensuite critiquer les preuves par Gödel de ses théorèmes d’incomplétude.

      « D’autres conceptions de la vérité » ? Non, je ressuscite l’esprit d’une époque où un sens non équivoque était attribué au concept de « vérité », ce que les Gödel, Church, Kleene, Turing et leur « intuition » et « ingéniosité » ne soupçonnaient même pas.

      PJ commence donc par modifier les règles du jeu que les logiciens modernes se sont données, tout en critiquant ces mêmes logiciens (cf. p.288-291): la critique est beaucoup plus facile quand on change les règles du jeu!

      Ce que je reproche aux logiciens modernes, c’est précisément l’inverse : avoir perdu le souvenir de l’époque où les règles du jeu avaient été découvertes et comprises. J’appelle à un réveil épistémologique, en comptant sur la honte que devrait susciter le travail bâclé 😉 .

      1. Avatar de BasicRabbit
        BasicRabbit

        @PJ. Très rapidement car je pars pour quelques jours croiser du côté de Houat, Hoedic et Belle Île -la suite de mon (à suivre) sera donc pour plus tard-.

        J’ai écrit le 24 juillet 2022 à 16 h 06 min :

         » Une approche méthodologique selon moi raisonnable consiste:

        – d’abord à préciser -ou tenter de préciser- ce que les logiciens formels modernes entendent par vérité et démontrabilité, puis à en faire éventuellement une critique argumentée (il y a matière…);

        – ensuite à éventuellement critiquer les critères de vérité et de démontrabilité choisis par ces logiciens. ».

        Vous répondez à mon « ensuite » et je n’ai rien à redire à ce que vous écrivez. Je suis en effet d’accord avec vous que la logique qui a pris naissance avec Boole n’a que très peu à voir avec la logique humaine « naturelle » : s’il y a une plage d’accord entre ces deux logiques (je mets les algèbres de Heiting, de Brouwer et de Bayes) dans le même sac que celles de Boole) cette plage est extrêmement réduite, et que ce fait réduit considérablement pour moi l’intérêt pratique des théorèmes des logiciens modernes (et je regarde avec inquiétude ce que font Dehaene et cie). Thom, pour qui la logique naturelle est embryologique, critique le point de vue des formalistes (« Avant Frege il y a eu Boole, et c’est le début de la catastrophe ») entre autres dans son article « Les mathématiques modernes: une erreur pédagogique et philosophique? », article -paraît-il le plus lu de son abondante production philosophique- que vous avez sans doute lu avec attention-, où il prend soin d’épargner la logique aristotélicienne (Apologie du logos p.565-566):

        « La logique aristotélicienne reposait, comme J. Vuillemin l’a rappelé, sur une ontologie de la substance très riche et très complexe. »,

        et où il écrit p.561 -pas mal pour un médaillé Fields!-:

        « Dans sa confiance en l’existence d’un univers idéal le mathématicien ne s’inquiétera pas outre mesure des limites des procédés formels, il pourra oublier le problème de la non-contradiction. ».

      2. Avatar de BasicRabbit
        BasicRabbit

        PJ: « Ce que je reproche aux logiciens modernes, c’est précisément l’inverse : avoir perdu le souvenir de l’époque où les règles du jeu avaient été découvertes et comprises. J’appelle à un réveil épistémologique, en comptant sur la honte que devrait susciter le travail bâclé 😉 . ».

        Je considère qu’un épistémologue qui s’intéresse aux théorèmes d’incomplétude de Gödel fait un travail bâclé s’il n’a pas de solides notions « de terrain » sur le théorème de complétude du calcul propositionnel (intuité -sinon formulé- par Bolzano(?) et démontré par Bernays en 1926), et sur le théorème de complétude du calcul des prédicats (démontré par Gödel en 1929 en s’appuyant sur les travaux de Lowenheim (1915) et Skolem , travaux sans lesquels il est impossible, à mon avis, de comprendre la preuve de Gödel -qui sera améliorée et simplifiée ultérieurement-.

        Sinon je considère qu’il y a de grandes chances qu’un tel épistémologue fasse partie de la cohorte des épistémologues en chambre (cf. le paradoxe de Hempel).

        1. Avatar de Paul Jorion

          Wittgenstein a ratatiné Gödel avec des phrases de tous les jours, simplement sur la base de ses incohérences, point barre. J’ai mis en évidence que la démonstration de Gödel est de la camelote à l’aide d’un seul outil : le barème qu’avait établi Aristote de la qualité de tous les types d’arguments que l’on trouve en science (« Analytique »), à l’Assemblée et au Palais (« Dialectique ») et au comptoir (« Rhétorique »). Là aussi : « point barre ». *

          Avec vos Bolzano, Bernays, Lowenheim et Skolem – tous très respectables (à mon goût, vous auriez dû ajouter Poincaré et Zermelo) -, vous me rappelez une vieille dame (je devais avoir 18-19 ans à l’époque), qui avait interrompu notre discussion sur Proust qui me semblait pourtant très intéressante, avec une moue de dégoût : « Ah ! Mais je m’aperçois que vous n’avez pas lu TOUT Proust ! ». Ce n’est que plus tard que j’ai compris que, perdant du terrain, elle avait préféré botter en touche.

          * Je suis bien sûr un faux ignare : je n’ignorais pas que je développais les charges contre Gödel de deux de mes maîtres : Perelman en logique et Guilbaud en mathématiques. Vous me direz que la piété me perdra. Pas seulement : ils avaient raison.

          1. Avatar de BasicRabbit
            BasicRabbit

            PJ:  » J’ai mis en évidence que la démonstration de Gödel est de la camelote à l’aide d’un seul outil : le barème qu’avait établi Aristote de la qualité de tous les types d’arguments que l’on trouve en science (« Analytique »), à l’Assemblée et au Palais (« Dialectique ») et au comptoir (« Rhétorique »). Là aussi : « point barre ». * ».

            Ça, j’ai bien compris votre position, vous la répétez assez souvent. La preuve de Gödel n’étant pas, selon vous, de ce type: poubelle! Pour moi ça ne mérite pas les dizaines de pages que vous consacrez au problème dans « Comment la vérité… », une page suffit largement.

            PJ: « vous auriez dû ajouter Poincaré et Zermelo ».

            Je n’ai cité que Lowenheim et Skolem qu’à cause du théorème éponyme. J’aurais effectivement pu également citer Cantor, Zermelo et Fraenkel à propos de l’argument diagonal, la théorie ZF étant, selon moi, indispensable pour l’étude épistémologique sérieuse de la preuve de Gödel.

            1. Avatar de Paul Jorion

              Pour moi ça ne mérite pas les dizaines de pages que vous consacrez au problème dans « Comment la vérité… », une page suffit largement.

              … ce qui souligne une fois de plus, que vous passez à côté de l’essentiel. Je n’aurai plus rien à ajouter.

  17. Avatar de BasicRabbit
    BasicRabbit

    Paul Jorion
    25 juillet 2022 à 0 h 57 min

    Il y a dans Comment la vérité et la réalité furent inventées, une « archéologie » au sens de Foucault de la notion de « vérité » dans notre culture. La clarté culmine de ce point de vue dans l’université médiévale. Ensuite, il y a une lente dégénérescence, parallèle à la montée en puissance de l’arrogance de mathématiciens et de logiciens de moins en moins cultivés, de plus en plus ignorants des acquis de leur domaine et de son histoire. Quand on arrive aux Gödel, Church, Kleene, Turing, les rambardes ont entièrement disparu : ils se fient pour savoir ce qu’est la vérité à … leur « intuition », où chacun d’entre eux met ce qui lui passe par la tête.

    Je ne caricature pas, voici ce qu’écrit celui qui est loin d’être le plus crétin d’entre eux : Turing, dans sa thèse, Systems of Logic Based on Ordinals (1938). Lisez cela attentivement : c’est ce qu’écrit dans sa thèse un des héros avec Gödel de la pensée mathématique du XXe siècle.

    « Le raisonnement mathématique peut être considéré assez schématiquement comme l’exercice d’une combinaison de deux facultés, que nous pouvons appeler intuition et ingéniosité. L’activité de l’intuition consiste à porter des jugements spontanés qui ne sont pas le résultat de raisonnements conscients. Ces jugements sont souvent, mais en aucun cas invariablement, corrects (en laissant de côté la question de savoir ce que l’on entend par « correct »). Il est souvent possible de vérifier d’une autre manière la justesse d’un jugement intuitif. Nous pouvons, par exemple, juger que tous les entiers positifs sont uniquement factorisables en nombres premiers ; un argument mathématique détaillé conduit au même résultat. Cet argument fera également intervenir des jugements intuitifs, mais ils seront moins critiquables que le jugement original sur la factorisation. Je ne tenterai pas d’expliquer plus explicitement cette idée d’ »intuition ».

    L’exercice de l’ingéniosité en mathématiques consiste à aider l’intuition par des arrangements appropriés de propositions, et peut-être des figures ou des dessins géométriques. L’objectif est que, lorsque ces éléments sont vraiment bien disposés, la validité des étapes intuitives requises ne puisse être sérieusement mise en doute.

    Les rôles joués par ces deux facultés varient bien sûr d’une occasion à l’autre, et d’un mathématicien à l’autre. Cet arbitraire peut être supprimé par l’introduction d’une logique formelle. La nécessité d’utiliser l’intuition est alors grandement réduite en établissant des règles formelles pour effectuer des inférences qui sont toujours intuitivement valides. Lorsqu’on travaille avec une logique formelle, l’idée d’ingéniosité prend une forme plus définie. En général, une logique formelle sera conçue de manière à admettre une variété considérable d’étapes possibles à n’importe quelle étape d’une preuve. L’ingéniosité déterminera alors quelles étapes sont les plus rentables pour prouver une proposition particulière. » (Trad. DeepL)

    On aura noté au passage un jet de l’éponge quant à l’intuition (« Je ne tenterai pas d’expliquer plus explicitement cette idée d’ »intuition » ») et au correct (« en laissant de côté la question de savoir ce que l’on entend par « correct » [sic] »), sur quoi toute sa thèse repose cependant. Si l’on est d’humeur peu charitable, on comparera ce grand n’importe quoi au barème de la force probante de chacun des types d’arguments utilisés dans la démonstration (son degré précis de maintien de la vérité héritée du stade précédent de la démonstration) en Analytique, en Dialectique et en Rhétorique (confondus aujourd’hui, je le rappelle, dans le grand fourre-tout de la « logique »), que l’on trouve dans l’Organon d’Aristote. Le mot de « dégénérescence » que j’utilise est-il vraiment trop fort ?

    Venons-en maintenant à vos objections.

    Or l’approche méthodologique de PJ est clairement inversée: imposer d’abord d’autres conceptions de la vérité et de la démontrabilité et ensuite critiquer les preuves par Gödel de ses théorèmes d’incomplétude.

    « D’autres conceptions de la vérité » ? Non, je ressuscite l’esprit d’une époque où un sens non équivoque était attribué au concept de « vérité », ce que les Gödel, Church, Kleene, Turing et leur « intuition » et « ingéniosité » ne soupçonnaient même pas.

    PJ commence donc par modifier les règles du jeu que les logiciens modernes se sont données, tout en critiquant ces mêmes logiciens (cf. p.288-291): la critique est beaucoup plus facile quand on change les règles du jeu!

    Ce que je reproche aux logiciens modernes, c’est précisément l’inverse : avoir perdu le souvenir de l’époque où les règles du jeu avaient été découvertes et comprises. J’appelle à un réveil épistémologique, en comptant sur la honte que devrait susciter le travail bâclé 😉 .

    @PJ. J’ai écrit le 24 juillet 2022 à 16 h 06 min : » Une approche méthodologique selon moi raisonnable consiste: – d’abord à préciser -ou tenter de préciser- ce que les logiciens formels modernes entendent par vérité et démontrabilité, puis à en faire éventuellement une critique argumentée (il y a matière…); – ensuite à éventuellement critiquer les critères de vérité et de démontrabilité choisis par ces logiciens. ».

    Vous répondez à mon « ensuite » et je n’ai rien à redire à ce que vous écrivez. Je suis en effet d’accord avec vous que la logique qui a pris naissance avec Boole n’a que très peu à voir avec la logique humaine « naturelle » : s’il y a une plage d’accord entre ces deux logiques (je mets les algèbres de Heiting, de Brouwer -et de Bayes- dans le même sac que celles de Boole) cette plage est extrêmement réduite, et que ce fait réduit considérablement pour moi l’intérêt pratique des théorèmes des logiciens modernes (et je regarde avec inquiétude ce que font Dehaene et cie). Thom, pour qui la logique naturelle est embryologique, critique le point de vue des formalistes (« Avant Frege il y a eu Boole, et c’est le début de la catastrophe ») entre autres dans son article « Les mathématiques modernes: une erreur pédagogique et philosophique? », article -paraît-il le plus lu de son abondante production philosophique- que vous avez sans doute lu avec attention-, où il écrit p.561 -pas mal pour un médaillé Fields!-: « Dans sa confiance en l’existence d’un univers idéal le mathématicien ne s’inquiétera pas outre mesure des limites des procédés formels, il pourra oublier le problème de la non-contradiction. Car le monde des Idées [platoniciennes] excède infiniment nos possibilités opératoires, et c’est dans l’intuition que réside l’ « ultima ratio » de notre foi en la vérité d’un théorème (…).».

    En 1974 Thom écrivait ceci de la Logique aristotélicienne dan « Modèles mathématiques de la morphogenèse »:

    « Pourquoi, au début de la pensée philosophique, les Présocratiques, d’Héraclite à Platon, nous ont-ils laissé tant de vues d’une si grandiose profondeur? Il est tentant de penser qu’à cette époque l’esprit était encore en contact quasi-direct avec la réalité, les structures verbales et grammaticales ne s’étaient pas interposées comme un écran déformant entre la pensée et le monde. Avec l’arrivée des Sophistes, de la Géométrie euclidienne, de la Logique aristotélicienne, la pensée intuitive a fait place à la pensée instrumentale, la vision directe à la technique de la preuve. Or, le moteur de toute implication logique est la perte en contenu informationnel: « Socrate est mortel » nous renseigne mois que « Socrate est un homme ». Il était donc fatal que le problème de la signification s’effaçât devant celui de la structure de la déduction. » (Topologie et signification, note finale, p.227),

    alors que PJ parlait en 2009 du « miracle » et du prodige du syllogisme:

    « (…) ce qui fait précisément qu’existe la pensée, c’est ce « miracle » du syllogisme, et c’est lui qui est fondateur de la pensée, » (p.167);

    « (…) si je considère que les usages d’un signifiant constituent autour de lui une zone d’influence de rayon 1, le syllogisme lui permet, grâce au moyen terme, de se constituer cette fois une zone d’influence de rayon 2. Ce n’est pas trivial, c’est tout simplement prodigieux. ».

    Ainsi ce qui est trivial pour Thom (« le moteur de toute implication logique est la perte en contenu informationnel ») est miraculeux et prodigieux pour PJ.

    Pour Thom ce n’est pas du tout le syllogisme basique (ou même plus élaboré (1)) qui est fondateur de la pensée (2).

    (à suivre)

    1: https://fr.wikipedia.org/wiki/Syllogisme

    2: Pour s’en convaincre les curieux pourront parcourir à ce sujet le dernier chapitre de Stabilité structurelle et morphogenèse (2ème ed.) intitulé « De l’animal à l’homme: pensée et langage ».

    1. Avatar de BasicRabbit
      BasicRabbit

      (Suite)

      N’étant pas d’accord avec PJ p.122:

      « Premièrement on |=PJ?] affirme que ne relèvent de la logique que les questions qui permettent de construire une table de vérité. C’est-à-dire que l’on reprend la question à la manière d’Aristote (…). »,

      je commente les pages 120 et 121 qui concernent la formalisation de la logique:

      « C’est un logicien, Bernard Bolzano, qui confirma (à son corps défendant) l’impossibilité d’une authentique formalisation de la logique, dont Aristote avait déjà établi la vacuité. ».

      Que les règles de déduction soient « forcées » sur une algèbre de Boole (pour reprendre le terme utilisé par PJ) ne fait guère de doute: il suffit de comparer ces règles aux axiomes des algèbres de Boole (mais il me semble plus correct de dire que le « forçage » s’est fait plutôt dans l’autre sens: ce sont les axiomes des algèbres de Boole qui ont été « forcés » par les règles usuelles de déduction qui avaient cours avant 1847). Ce qui, selon moi, est apparu à cette époque (première moitié du XIXème) c’est la différenciation entre deux façons de prouver, l’une -le théorème- étant plus syntaxique que l’autre -la tautologie- qui est plus sémantique (1), ces deux façons étant prouvées équivalentes en 1926 par le théorème de complétude (Bernays) du calcul des propositions -de preuve élémentaire par récurrence-, théorème qui sera suivi en 1929 du théorème de complétude (Gödel) du calcul des prédicats -de preuve plus délicate-. Est-ce Bolzano (mort en 1848) qui est au départ de cette différenciation avec sa méthode des variations qui prédique les termes/atomes qui apparaissent dans une proposition par une valeur de vérité (vrai ou faux lorsqu’on se restreint à l’algèbre de Boole triviale à deux éléments)? Peu importe qui, mais on a maintenant, grâce au théorème de Bernays, un moyen simple -mais coûteux car augmentant exponentiellement avec le nombre de propositions atomiques- de décider si une proposition est ou non un théorème (résultat important pour ceux qui s’intéressent au problème P vs NP car le problème SAT de la décision en calcul propositionnel est NP-complet).

      PJ élude donc complètement, ici et p.286 (2) le problème de la complétude. Je suis tout-à-fait d’accord avec Druuh que l’on ne peut comprendre « en profondeur » les théorèmes d’incomplétude de Gödel si l’on n’a pas au préalable compris « en profondeur » les théorèmes de complétude. Car, pour moi, les preuves de ces théorèmes doivent être examinées à la loupe (comme ceux d’incomplétude) puisqu’on est dans le voisinage immédiat -sinon en plein cœur- de ce que je considère comme étant le top de l’ontologie, à savoir l’auto-référence. Je serais curieux de savoir si Wittgenstein a écrit quelque chose à leur sujet.

      1: Thom: « (…) le problème important -en matière de philosophie du langage- n’est pas celui de la vérité (aff0aire d’accident, Sumbebèkos dirait Aristote), mais bien celui de l’acceptabilité sémantique, qui définit le monde des « possibles », lequel contient le sous-ensemble (éminemment variable) du réel. On ne cherchera pas à fondre la Géométrie dans la Logique, mais bien au contraire on regardera la logique comme une activité dérivée (et somme toute bien secondaire dans l’histoire de l’esprit humain), une rhétorique. » (Esquisse d’une Sémiophysique, p. 16)

      2: « En 1930 Kurt Gödel démontra un premier théorème mettant en évidence que « la logique des prédicats du premier ordre est complète ».; je n’en dirai pas davantage. ».

  18. Avatar de BasicRabbit
    BasicRabbit

    Complément à mon commentaire du 4 août 2022 à 11 h 14 min.

    Dans son commentaire du 11 juillet 2022 à 17 h 28 min de son propre article sur les théorèmes d’incomplétude de Gôdel, Yu Li écrit:

    « Pourquoi, alors, les gens traitent-ils les paradoxes de la théorie des ensembles si différemment de ceux de la preuve de Gödel ? ».

    C’est une question que je me suis également récemment posée sous la forme suivante, suggérée par le terme de forçage utilisé par PJ. En effet, en théorie des ensembles, on peut forcer certains énoncés vrais dans un modèle de ZF à être faux dans un autre: c’est la méthode du forcing de Cohen qui a permis de prouver l’indépendance de l’hypothèse du continu et de l’axiome du choix (la consistance de ces deux axiomes ayant au préalable été prouvée comme conséquence de ZF+ « Tout ensemble est constructible » , preuve due à Gödel (encore lui!). On peut contourner cette méthode compliquée en construisant un modèle booléen associé à une algèbre de Boole complète judicieusement choisie (l’algèbre de Boole triviale l’est mais toutes ne le sont pas, loin de là): c’est la méthode proposée par Dana Scott. Je n’ai pas entendu parler de version « à la Dana Scott » du forcing de Kripke, mais elle existe peut-être et pourrait peut-être (ça fait déjà beaucoup de « peut-être »…) s’appliquer à l’arithmétique de Peano du premier ordre et donc au premier théorème d’incomplétude? L’idée de forcer une formule vraie dans un modèle de PA1 -typiquement le modèle standard- à être fausse dans un autre est naturelle pour le praticien de la théorie des ensembles. J.L. Krivine (mon directeur de thèse) a proposé une preuve sémantique du premier théorème d’incomplétude (preuve que je n’ai jamais regardée…).

    1: https://fr.wikipedia.org/wiki/Forcing (cf. le sous-titre « Modèles à valeurs booléennes »).

  19. Avatar de Yu LI
    Yu LI

    @BasicRabbit : Tu dis, « La compréhension de ce que sont la vérité et la démontrabilité -ainsi que leurs rapports- est évidemment cruciale pour qui a pour objectif de critiquer les théorèmes d’incomplétude de Gödel. « 
    Je suis tout à fait d’accord !

    Je voudrais synthétiser tes opinions et faire une proposition :

    Avant de nous plonger dans ce que les logiciens formels modernes entendent par vérité et démontrabilité, je suggère de réfléchir à notre compréhension de la vérité et de la démontrabilité, car ces deux concepts sont issus de la vie quotidienne et que toute personne ayant une connaissance de base de la logique aura une certaine perception, et parviendra ensuite à un consensus basé sur cette perception.

    Pourquoi est-ce que je souligne la perception ? Parce que sur la base de la perception, nous pouvons utiliser notre raison avec conscience, …

    Je pense que Paul devrait essentiellement tenter de stimuler la perception plutôt que d’imposer un point de vue personnel.

    1. Avatar de BasicRabbit
      BasicRabbit

      La définition de ce qu’est une proposition indécidable préoccupe Yu Li.

      Que dit Gödel à ce sujet? Il dit p.39 de la traduction anglaise de son article que c’est une proposition A « for which neither A nor not-A are provable ».

      Que fait dire PJ à Gödel dans « Comment la vérité… » (p.301)? Il fait dire à Gödel qu’une proposition indécidable est une proposition vraie mais indémontrable.

      Que dit Yu LI dans son papier (en préparation?)? Il me semble qu’elle résume sa position en un commentaire qui dit en substance que c’est un énoncé dont la valeur de vérité (vrai ou faux) ne peut être décidée.

      Il ressort pour moi de tout ça que la position de Gödel est (purement?) syntaxique, celle de Yu Li est (purement?) sémantique et que celle de PJ est mixte (tout en décrétant que Gödel pense comme lui…).

      Il va falloir tenter de se mettre d’accord!

      Je pense qu’il est possible d’accorder les points de vue de Yu et de Gödel par l’intercession du théorème de complétude de Gödel, un énoncé dont la valeur de vérité ne peut être précisée étant un énoncé qui est vrai dans un modèle de la théorie et faux dans un autre.

      La position adoptée par PJ est pour moi typique des détracteurs de la position d’apparence exclusivement syntaxique de Gödel, position que je respecte et qui renvoie au problème que nombre d’épistémologues considèrent comme fondamental et dont Gödel a, selon moi, parfaitement conscience (1). Mais je trouve absolument inadmissible de faire dire à quelqu’un ce qu’il ne dit pas.

      Je propose de parler entre nous trois de cohérence lorsqu’il est question de syntaxe et de consistance lorsqu’il est question de sémantique. Avec cette précision de langage la position de Gödel est cohérente et celle de Yu est consistante. Dans cet ordre d’idées une théorie cohérente est alors une théorie pour laquelle il n’existe pas d’énoncé A tels que A et non-A soient tous deux des théorèmes, et une théorie consistante est une théorie qui possède un modèle. L’énoncé indécidable de Gödel (qu’on note maintenant en général G -G pour Gödel-) est consistant car vrai dans le modèle standard de l’arithmétique (on retrouve la position de PJ). Est-il cohérent? La réponse est oui si l’on invoque le théorème de complétude de Gödel. Mais peut-on l’invoquer sans rentrer dans le cycle infernal de l’auto-référence? Girard écrit à ce sujet

      « Il n’est pas possible – sans hypothèse supplémentaire – d’énoncer d’autres relations générales entre vrai et prouvable. Par exemple, si T est l’arithmétique de Peano, les axiomes de T sont vrais, les règles logiques préservent la vérité, donc tous les théorèmes de T sont vrais. La valeur épistémologique d’une telle remarque est limitée, vu que les axiomes de Peano ont été précisément choisis parce que nous croyons à leur vérité. ».

      1: « So the proposition which is undecidable in the system PM yet turns out to be decided by metamathematical considerations. » (p.41)

    2. Avatar de BasicRabbit
      BasicRabbit

      Yu Li: « Pourquoi est-ce que je souligne la perception ? Parce que sur la base de la perception, nous pouvons utiliser notre raison avec conscience, … « .

      En fouillant sur la toile pour tenter de savoir ce que Wittgenstein dit des théorèmes d’incomplétude de Gödel je suis tombé sur un article d’un dénommé Jean-François Lambert qui cite le bouquin dont est extrait la p.156 ci-dessus. Il y est question de Wittgenstein, de Lacan, de Libet, de la conscience et de l’inconscient (1). Et il est intitulé : « L’incomplétude, un nouveau paradigme », pile-poil en rapport, selon moi, avec le sujet qui nous réunit ici.

      1: http://www.uip.edu/blog/lincompletude-un-nouveau-paradigme

  20. Avatar de Yu LI
    Yu LI

    Concernant la « vérité » et la « prouvabilité » , Jean-Yves Girard a consacré une section à ces deux concepts dans le livre de la traduction française de l’article de Godel, que je reproduis ci-dessous :

    ***
    Le théorème de Godel
    Ernest Nagel, James R. Newman, Kurt Godel, Jean-Yves Girard

    p156

    Vérité et prouvabilité

    Dans ce qui suit, T désigne une théorie mathématique non spécifiée ; Godel avait utilisé le système des Principia, mais, de nos jours, on prendrait plutôt l’arithmétique dite Peano, voire la théorie formelle des ensembles. En fait, le choix de T aurait été crucial pour établir le programme ; par contre, pour une réfutation, plus T permet de méthodes abstraites, plus le résultat est convaincant.

    Si P est un énoncé décidable, alors
    i) la vérité de P implique sa démontrabilité formelle dans T,
    ii) la fausseté de P implique sa réfutabilité formelle dans T.

    Pour vérifier cette assertion, remarquons que nous disposons d’un procédé mécanique pour décider P. Tout ce qui est mécanique est formalisable : il suffit d’avoir parmi les axiomes de T de quoi refléter les calculs qui mènent à la décision de P. Si cet argument n’est pas jugé convaincant, pension à l’écriture d’un programme, qui se fait au moyen d’un langage à la syntaxe rigide, et qui est bien à sa faon un système formel.

    Soit maintenant Q = ∃x ∃y y P(x,y) un énoncé existentiel ; alors
    iii) si Q est vrai, alors il est formellement démontrable dans T.

    En effet, dire que Q est vrai veut dire que P(x,y) est vrai pour un certain choix x=n, y=m, et donc P(n,m) est démontrable ; les règles logiques permettent alors d’enchainer formellement ∃x ∃y y P(x,y) dans T.

    Soit enfin R = ∀x ∀y S(x,y) un énoncé universel ; alors
    iv) si T est consistante et si R est formellement démontrable dans T, alors R est vraie.

    En effet, la négation Q de R est existentielle; si R était fausse, alors d’après iii) Q serait démontable dans T, et T prouvant R et sa négation serait contradictoire.

    Il n’est pas possible – sans hypothèse supplémentaire – d’énoncer d’autres relations générales entre vrai et prouvable. Par exemple, si T est l’arithmétique de Peano, les axiomes de T sont vrais, les règles logiques préservent la vérité, donc tous les théorèmes de T sont vrais. La valeur épistémologique d’une telle remarque est limitée, vu que les axiomes de Peano ont été précisément choisis parce que nous croyons à leur vérité.

    Il n’est pas non plus exclu (et c’est ce que va établir le théorème de Gödel) qu’un énoncé universel vrai ne soit pas prouvable : en effet, le processus infini de vérification d’un tel énoncé ne peut pas être reflété par une démonstration formelle, finie par essence.

    1. Avatar de Paul Jorion

      Le lecteur attentif aura noté que Jean-Yves Girard et moi disons la même chose. Comme nous le disons dans des termes différents, je vais mettre en évidence l’équivalence de nos deux positions.

      Thèse qui nous est commune : « Comme un théorème n’est vrai que s’il est démontrable, quiconque affirme qu’un théorème est vrai sans être démontrable doit invoquer un autre critère de vérité que la démontrabilité ».

      Jorion (dans Comment la vérité et la réalité furent inventées (Gallimard 2009) :

      « Les deux autres critères de vérité sont que, soit, ce théorème n’est que l’un des axiomes invoqués dans sa démonstration, déguisé en sa conclusion, soit, sa vérité réside en réalité dans la réalité empirique, et l’on essaie de nous vendre en douce comme réalité mathématique, une observation d’ordre physique ».

      Dans le cas du 2d théorème d’incomplétude de Gödel, c’est le mysticisme platonicien du mathématicien en question qui sert d’abracadabra : « Les mathématiques et la physique, c’est … la même chose ! », sous-entend Gödel.

      Girard : « Il n’est pas non plus exclu (et c’est ce que va établir le théorème de Gödel) qu’un énoncé universel vrai ne soit pas prouvable : en effet, le processus infini de vérification d’un tel énoncé ne peut pas être reflété par une démonstration formelle, finie par essence. »

      Si vous avez suivi jusqu’ici mes réflexions au fil des mois sur P vs. NP, vous aurez retenu que l’injection du monde empirique se fait là selon moi, exactement de la manière à laquelle Girard fait allusion : par le biais de la vérification (qui peut ne pas pouvoir se conclure en un temps fini). Illustrations : « Le puzzle est-il terminé ? – Oui, l’image est complète » ; « Le casse-tête est-il résolu ? – Oui : avant, les deux pièces étaient imbriquées et maintenant, elles sont séparées : l’une des deux est à gauche et l’autre est à droite ». Thèse Jorion sur P vs. NP : « La solution, c’est des mathématiques, alors que la vérification, c’est de la physique = « il faut montrer que cela marche dans le monde empirique de la vie de tous les jour qui est le nôtre.

      1. Avatar de BasicRabbit
        BasicRabbit

        @ PJ;

        Euh… J’essaye d’être un lecteur attentif mais je ne trouve pas cette phrase (« Comme un théorème n’est vrai que s’il est démontrable, quiconque affirme qu’un théorème est vrai sans être démontrable doit invoquer un autre critère de vérité que la démontrabilité ») ni rien qui y ressemble dans la citation faite par Yu Li ci-dessus du bouquin de Girard. Je pense que ce dernier se garderait bien d’écrire qu’ « un théorème n’est vrai que s’il est démontrable » (Girard n’est pas Ladrière).

        Plus précisément Girard ne considère p.156 que les énoncés d’un type très particulier (les énoncés Σ1) pour lesquels vérité (dans le modèle standard de l’arithmétique) et démontrabilité (dans l’arithmétique de Peano du premier ordre) coïncident effectivement (selon le point de vue de Gödel!). Mais le fameux énoncé G de Gödel « qui dit de lui-même qu’il n’est pas démontrable » n’est pas Σ1, il est seulement (démontrablement dans PA1) équivalent à la négation d’un énoncé Σ1, si bien que le « méta-théorème » de Ladrière ne s’applique pas à G.

        Pour moi c’est ça (l’équivalence de vérité et démontrabilité pour les énoncés Σ1) le point le plus crucial à étudier à la loupe dans le premier théorème d’incomplétude de Gödel énoncé dans la proposition VI de son papier (1).

        En conclusion je pense que Yu a tout-à-fait raison de porter ici à la disputatio entre elle, vous, Druuh et moi (et toute autre personne intéressée) la question des rapports entre vérité et démontrabilité d’une part en mathématiques et d’autre part en logique formelle mathématisée. Yu m’a fait part d’un papier-soumis ou à soumettre à publication- sur ce sujet intitulé « Qu’est-ce qu’une proposition indécidable ? – Vérité et prouvabilité ». Elle est d’accord pour qu’il serve de base à la discussion, papier dont vous avez très probablement connaissance.

        1: PJ: « Dans le cas du 2d théorème d’incomplétude de Gödel… ». Ce que tout le monde dans la communauté mathématique appelle maintenant le deuxième théorème d’incomplétude de Gödel est énoncé à la proposition XI de son papier.

  21. Avatar de BasicRabbit
    BasicRabbit

    Dans son papier Yu oppose vérité et démontrabilité en mathématiques « générales » et vérité et prouvabilité en logique formelle mathématisée. Et je pense qu’elle a tout-à-fait raison lorsqu’elle écrit qu’ « il n’y a pas [dans l’article de Gödel] de section spéciale consacrée au concept de proposition indécidable qui est considéré comme une évidence ».

    Pour moi l’article de Gödel s’adresse à ses pairs (un nombre extrêmement restreint de personnes à l’époque -une vingtaine?-) pour qui ces concepts n’ont pas à être reprécisés (1). Aussi le lecteur contemporain de l’article, s’il veut y comprendre quelque chose a, selon moi, seulement deux possibilités: soit celle où le lecteur tente de se mettre dans la peau de cette vingtaine de « logiciens » (voie naturelle -selon moi- pour les épistémologues, les historiens des sciences, les philosophes des sciences, les métaphysiciens, les philosophes tout court, etc., voie choisie « naturellement » par PJ), soit celle choisie par Druuh et moi, qui abordons les théorèmes d’incomplétude à partir de la façon dont ils nous ont été enseignés (pour moi au début des années 1970 par les profs de logique formelle de Paris VII de l’époque).

    I. Vérité et prouvabilité en mathématiques générales.

    De ce que j’ai compris -ou cru comprendre- de « Comment la vérité… », je suis grosso modo d’accord avec la position aristotélicienne de PJ, à ceci près que je n’ai pratiquement rien lu d’Aristote (et encore moins retenu). Ce que j’ai cependant retenu c’est l’exemple qu’il donne de la distinction puissance/acte en mathématiques où l’énoncé non prouvé d’un théorème est « en puissance » alors qu’une preuve l’actualise: énoncé conjecturé, problème ouvert d’une part, énoncé prouvé, problème refermé d’autre part. il y a pour moi donc une mutation du yin « en puissance » au yang « en acte », la preuve actualisant la vision de celui qui l’énonce (un théorème est étymologiquement l’objet d’une vision). Je développe donc ci-après l’exemple choisi par Aristote.

    Le théorème en question affirme que la somme des angles intérieurs à un triangle du plan est un angle plat. La preuve (je n’en connais qu’une) tombe sous le sens une fois tracée la parallèle à l’un des côtés passant par le sommet opposé -disons A-. Aristote ne donne pas cette preuve dans cette partie de sa métaphysique mais je la considère comme typiquement aristotélicienne (selon PJ) car l’angle plat qui apparaît en A est somme de l’angle en A et de deux angles dont il tombe sous le sens en regardant la figure que ce sont les deux autres angles du triangle, la conclusion suivant par un argument qui ressemble fortement à un syllogisme basique: on a bien là une preuve constituée d’un enchaînement d’assertions vraies dont le dernier maillon est le théorème conjecturé.

    Yu parle également de preuve de l’irrationalité de √2. Là Aristote est plus embarrassé car il est obligé d’opérer par l’absurde (personne n’a, à ma connaissance, fait mieux depuis!), ce qui va à l’encontre d’une preuve par enchaînement d’assertions vraies préconisé par le Maître. La solution qu’il propose est à mon avis sujette à caution car c’est seulement au bout d’une descente infinie -c’est long…- qu’il arrive à la conclusion absurde que tout nombre entier est à la fois pair et impair! Je pense que les solutions proposées en (1) par soustractions réciproques ou par argument géométrique sont plus aristotéliciennes que celle d’Aristote (qui avait à sa disposition les outils nécessaires pour les trouver).

    II. Vérité et prouvabilité en logique formelle mathématisée.

    À ma connaissance c’est Euclide qui a ouvert la voie à la logique formelle mathématisée en axiomatisant la géométrie (euclidienne!) plane. Mais il a fallu attendre Lobatchevski pour comprendre ce qu’impliquait une telle axiomatisation. Je développe un peu ci-après.

    Je pense qu’Euclide, lorsqu’il a listé ses axiomes, n’imaginait pas qu’il puisse y avoir d’autre modèle que le modèle qui tombait sous le sens, à savoir le modèle standard de la géométrie plane. Aussi, lorsqu’il a essayé de prouver que le système d’axiomes qu’il proposait était minimal, il a essayé -sans succès- de prouver que l’axiome « Par chaque point du plan passe une et une seule parallèle à une droite donnée » (noté ultérieurement AdP -axiome des parallèles-)était conséquence des autres. Et il a fallu attendre Lobatchevski pour réaliser que ce système amputé avait d’autre modèles que ce modèle standard, modèles qualifiables de non standards (je n’ai pas lu ce qualificatif à ce propos -mais je n’ai pas lu grand chose à ce sujet-). Le modèle de Lobatchevski concerne la géométrie hyperbolique mais la géométrie elliptique, en particulier la géométrie sphérique, fournit également des modèles non standard de cette axiomatique amputée. Ce que je veux pointer ici c’est que dans ces deux types de modèles non standard les droites qui figurent dans les axiomes ne sont pas des droites standard mais des droites non standard (en géométrie sphérique ce sont des grands cercles). Et je veux pointer cela pour faire l’analogie Euclide/Peano et donc faire remarquer qu’il est tout-à-fait vraisemblable que le même phénomène ait lieu en arithmétique: apparition d’entiers non standard. Et c’est effectivement ce que les logiciens modernes découvrent -sans doute avec étonnement-: il y a bel et bien des modèles non-standard de l’arithmétique de Peano (du premier ordre) comme il y a des modèles non standard de l’axiomatique euclidienne amputée.

    On conçoit alors aisément qu’il faut reconsidérer ce qu’on entend par vérité et par prouvabilité car il apparaît une différenciation d’apparence schizophrénique entre preuve syntaxique (un théorème comme conséquence des axiomes logiques et non logiques de la théorie) et preuve sémantique (un théorème comme une assertion vraie dans tous les modèles de la théorie, c’est-à-dire un théorème comme une tautologie). Mais l’apparente schizophrénie disparaît grâce aux théorèmes de complétude (Bernays et Gödel): démontrable dans une théorie = vrai dans tous les modèles de cette théorie.

    Grâce à ces théorèmes de complétude on voit alors immédiatement que l’axiome AdP est indécidable au sens que lui donne Gödel au début de son article: AdP n’est pas conséquence des autres axiomes d’Euclide parce qu’il existe des modèles (géométries elliptiques ou hyperboliques) où cet axiome est mis en défaut. Et non(AdP) n’est pas non plus conséquence de ces autres axiomes parce que cet énoncé est mis en défaut dans le modèle standard (le plan euclidien).

    Il me semble que, dans son article, Yu suit plutôt la position Aristote-Ladrière-PJ (vérité et démontrabilité sont synonymes). Peut-être reconsidérera-t-elle sa position après lecture de ce commentaire? C’est en tout cas mon souhait.

    Je termine en précisant ma position dans ce débat: je me sens « évidemment » du côté des matheux, mais que l’on découvre ou non une erreur dans les théorèmes d’incomplétude m’indiffère car je pense maintenant -mais pas au moment où j’ai rédigé ma thèse!- que la logique qui a pris naissance avec Boole et Frege est artificielle. Je suis dorénavant la position de mon gourou Thom qui expose son point de vue à la fin de son article « Les mathématiques modernes: une erreur pédagogique et philosophique? ». Je suis très intéressé de savoir laquelle de ces logiques est la plus naturelle pour une chinoise qui connaît bien la position occidentale sur le sujet et qui a aussi lu cet article de Thom (qui figure dans le recueil « Apologie du logos », Hachette 1990).

    PS: Je reproduis ici mon commentaire fait à Yu de la p.156 du livre de Girard:

    « À première vue je suis d’accord avec ce qu’écrit J.Y. Girard -que j’ai connu à Paris VII dans les années 1970 en même temps que P. Dehornoy-, à ceci près que j’aurais précisé à chaque fois selon le contexte « vrai dans un modèle de PA1 » ou « vrai dans tous les modèles de PA1 » (ce qui, par théorème de complétude, équivaut à démontrable dans PA1). En particulier dans le dernier paragraphe il est pour moi indispensable de préciser « vrai dans un modèle de PA1 ».

    D’autre part il faut aussi, à mon avis, préciser que si Q est vrai DANS LE MODÈLE STANDARD DE L’ARITHMÉTIQUE alors Q est démontrable dans PA1, car si Q est vrai dans un autre modèle de PA1, m et n peuvent être des entiers non standards, conduisant à un énoncé Q(m,n) qui n’est pas un véritable énoncé du langage de PA1, mais seulement un pseudo-énoncé. C’est pour moi -et aussi, je crois, pour Dehornoy- la principale difficulté de la preuve du théorème d’incomplétude. « .

    1: https://fr.wikipedia.org/wiki/Racine_carr%C3%A9e_de_deux
    1: Je pense qu’il s’est passé à peu près la même chose avec la Physique au début du XXème siècle, où les articles n’étaient lisibles -je ne parle même pas de compréhensibles!- que par un nombre très restreint de physiciens.

    1. Avatar de BasicRabbit
      BasicRabbit

      À verser au compte de mon « Pour moi l’article de Gödel s’adresse à ses pairs (un nombre extrêmement restreint de personnes à l’époque -une vingtaine?-) pour qui ces concepts n’ont pas à être reprécisés. ». Gödel consacre une vingtaine de pages pour arriver à la cruciale proposition 5 qui concerne la décidabilité des énoncés Σ1 et écrit à ce propos (p.56) que la preuve ne comporte pas de difficultés « and is somewhat involved ». Dans (1) Dehornoy consacre une trentaine de pages à la preuve des propositions I à V (mais, à la louche, deux ou trois fois plus que l’article de Gödel si l’on compare le nombre de caractères des deux textes), en pointant pour les lecteurs basiques comme moi un certain nombre de points non triviaux (et il y en a).

      Je suis tout-à-fait d’accord avec les considérations épistémologiques de Girard, en particulier la dernière phrase qui montre qu’en définitive la preuve du théorème d’incomplétude repose sur une croyance (ce qui satisfera peut-être PJ):

      « Il n’est pas possible – sans hypothèse supplémentaire – d’énoncer d’autres relations générales entre vrai et prouvable. Par exemple, si T est l’arithmétique de Peano, les axiomes de T sont vrais, les règles logiques préservent la vérité, donc tous les théorèmes de T sont vrais. La valeur épistémologique d’une telle remarque est limitée, vu que les axiomes de Peano ont été précisément choisis parce que nous croyons à leur vérité.

      1: https://www.lmno.cnrs.fr/archives/dehornoy/Books/Ensembles/chapLI.pdf (p.259 à 292).

  22. Avatar de Jean-Paul Bentz
    Jean-Paul Bentz

    Bonjour à tous,
    Je suis un ex-physicien (« ex » à cause de mon âge, pas de ma passion 🙂 ) et donc a priori incompétent en matière de logique mathématique (bien que non nécessairement en logique tout court). J’aimerais qu’un spécialiste du domaine puisse un jour m’éclairer sur les deux points suivants à propos du théorème d’incomplétude :
    I)
    Soit une théorie formelle T seulement soumise à la condition d’être binaire et cohérente, et un métalangage formel M, lui-même supposé binaire, cohérent, et propre à rendre au moins compte du caractère démontrable (noté d(P)) d’une quelconque proposition P dans T, ou de son caractère non-démontrable dans T (noté ¬d(P)), c’est-à-dire propre à attribuer une valeur de vérité à d(P) et à ¬d(P).
    Pour TOUTE PROPOSITION P formulée dans la théorie T, la relation {P ≡ ¬d(P)} ⟶ {[P] ⋀ [¬d(P) ≡ P] ⋀ [¬d(P) ≡ ¬d(¬P)]} est alors nécessairement vérifiée dans le métalangage M. La preuve est élémentaire, mais je pourrais la détailler si nécessaire. Gödel est SUPPOSE avoir construit une proposition G affirmant son propre caractère indémontrable. Cette proposition, ou plutôt cette formule, G, est donc indiscernable de ¬d(G), ce qu’on notera G⧣¬d(G), c’est-à-dire « G non différent de ¬d(G) ». Or, cette relation formelle impose que G ≡ ¬d(G). En effet, dans le cas contraire, G et d(G) pourraient respectivement être confondues avec ¬G et d(G), et la théorie T ne serait plus cohérente.
    D’autre part, comme TOUTE AUTRE PROPOSITION de T, la formule G répond elle-même à la relation ci-dessus, c’est-à-dire : {G ≡ ¬d(G)} ⟶ {[G] ⋀ [¬d(G) ≡ G] ⋀ [¬d(G) ≡ ¬d(¬G)]}.
    Par modus ponens, la prémisse G ≡ ¬d(G) supposée résulter de la construction de Gödel conduit donc immédiatement à la conclusion : [G] ⋀ [¬d(G) ≡ G] ⋀ [¬d(G) ≡ ¬d(¬G)], à savoir que G est vraie, qu’elle est indémontrable (car ¬d(G) est également vraie), et que, si G était démontrable, sa négation ¬G le serait également (car d(G) ≡ d(¬G)).
    Tout ceci s’avère totalement conforme à la conclusion du théorème d’incomplétude.
    Mais le point critique est que la relation {P ≡ ¬d(P)} ⟶ {[P] ⋀ [¬d(P) ≡ P] ⋀ [¬d(P) ≡ ¬d(¬P)]} correspond au schéma
    FAUX ⟶ FAUX si la théorie T est complète, et au schéma VRAI ⟶ VRAI si la théorie est incomplète.
    Or, en posant G⧣¬d(G), Gödel a ARBITRAIREMENT INTRODUIT DANS LA THEORIE T LE NOUVEL AXIOME G ≡ ¬d(G) qui n’existait pas originellement, et qui IMPOSE ARBITRAIREMENT le schéma VRAI ⟶ VRAI, donc l’incomplétude de T.
    Question : comment Gödel justifie-t-il (et je n’ai pas vu où il le ferait) son droit d’introduire un tel axiome clandestin ? Et en quoi pourrait-il être surprenant qu’un axiome soit à la fois vrai et indémontrable ? ? ?

    II)
    Le nombre de Gödel de toute formule ne peut être calculé que sur la base du contenu de cette formule. Plus précisément, le calcul du nombre de Gödel d’une formule quelconque ne peut être instancié qu’une fois que le contenu de cette formule a été totalement fixé et explicité. Or, pour qu’une formule quelconque puisse faire référence à elle-même, son contenu devrait nécessairement inclure la valeur du nombre de Gödel de cette formule, c’est-à-dire de ce nombre qui, précisément, ne peut être concrètement calculé que sur la base de ce contenu. Or, ceci revient à obtenir d’un effet qu’il joue le rôle de sa propre cause, et donc à violer le principe de causalité.
    Gödel est SUPPOSE avoir réussi ce tour de force en utilisant une fonction de substitution Subst permettant de passer d’une première formule générique F affirmant le caractère indémontrable de « la » formule portant le nombre de Gödel « y », où « y » est une variable (de code 13), à la formule spécifique G affirmant son propre caractère indémontrable, en REMPLACANT FORMELLEMENT, dans la fonction Subst de la formule générique F, la variable « y » par le nombre de Gödel de la formule F. Le point critique est que la fonction de substitution Subst de la formule F est d’une complexité effroyable, au point qu’à défaut de pouvoir être calculée, elle ne peut au mieux qu’être succinctement décrite. Mais comment le fait de remplacer, dans cette fonction extraordinairement complexe, le CODE de la variable « y », c’est-à-dire 13, par le CODE de la valeur du nombre de Gödel de la formule F, pourrait-il conduire à fournir la VALEUR du nombre de Gödel de la formule G ??? Autrement dit, comment Gödel justifie-t-il (et je n’ai pas vu où il le ferait) le fait que la fonction Subst possède, comme les fonctions identité et concaténation, la propriété INSIGNE ET RARISSIME d’accepter que la valeur qu’elle prend par instanciation de sa variable « y » puisse être DIRECTEMENT OBTENUE en se bornant à remplacer le SIGNE de cette variable « y » par le SIGNE représentant la valeur spécifique affectée à cette variable ?
    Merci.

    1. Avatar de BasicRabbit
      BasicRabbit

      Bonjour Jean-Paul Bentz,

      Rapidement car je pars en voyage. Vous écrivez à la fin:

      « Autrement dit, comment Gödel justifie-t-il (et je n’ai pas vu où il le ferait) le fait que la fonction Subst possède, comme les fonctions identité et concaténation, la propriété INSIGNE ET RARISSIME d’accepter que la valeur qu’elle prend par instanciation de sa variable « y » puisse être DIRECTEMENT OBTENUE en se bornant à remplacer le SIGNE de cette variable « y » par le SIGNE représentant la valeur spécifique affectée à cette variable ? ».

      C’est pour moi le point crucial de la preuve de Gödel. Linguistiquement ce n’est pour moi possible que si le signifiant coïncide avec le signifié, le signifiant renvoyant ici à la syntaxe, la preuve mécanique, et le signifié renvoyant à la sémantique. Pour moi, typiquement, on a d’un côté 1+1=2 (évidence sémantique dans le cadre des entiers naturels, ceux que « tout le monde » connaît; d’autre part l’énoncé clos du langage de l’arithmétique adéquate (ici arithmétique de Robinson) s0+s0=ss0 est prouvable dans le cadre des axiomes de l’arithmétique de Robinson et d’une axiomatique logique classique. Une telle preuve est fournie dans le bouquin de Russell et Whitehead: elle nécessite une pleine page!

      Pour moi si le miracle se réalise c’est en regardant finement des choses de ce genre. Et, clairement pour moi, ce miracle ne peut se réaliser que pour des énoncés d’un type très particulier. Cf;.à ce sujet mes récents commentaires basiques ci-dessus ainsi -surtout- que la citation de Girard (l’actuel pape français du sujet)

  23. Avatar de Jean-Paul Bentz
    Jean-Paul Bentz

    Bonjour à tous.
    Merci BasicRabbit (et bon voyage !). Il semble donc que nous partagions la même opinion sur le caractère crucial de la question linguistique que pose la démonstration de ce théorème.
    Peut-être avons-nous toutefois – ou pas, d’ailleurs – une vision différente sur les causes de ce point critique.
    Selon moi (déformation professionnelle, sans doute), le principe de causalité gouverne non seulement le monde macroscopique concret, mais aussi le monde abstrait, et donc le langage, la logique « naturelle » qui l’imprègne, et la logique mathématique, extrapolation sophistiquée (mais à haut risque *) de la précédente. (*Je reviendrai sans doute une autre fois sur ce point, à mes yeux fondamental pour définir la notion de « vérité »).
    Par exemple, pourquoi la phrase « le nom commun de l’astre du jour comprend six lettres », qui est vraie, devient-elle fausse lorsqu’elle est traduite en anglais, le mot « soleil » implicitement invoqué dans cette phrase étant en effet silencieusement remplacé, dans sa traduction anglaise, par le mot « sun » qui ne comporte que trois lettres ?
    A mon sens parce que cette phrase viole, bien que très discrètement en l’occurrence, le principe de causalité. Plus précisément, ce principe requiert qu’à toute cause constante, aussi bien dans le monde concret que dans le monde abstrait des formes à valeur de représentation, soit attaché un seul et même effet. Or, la phrase ci-dessus associe à la forme unique et constante que constitue l’expression « astre du jour », et qui joue le rôle de cause unique lors de l’interprétation de cette phrase, deux effets distincts et très différents, à savoir d’une part la référence au soleil, résultant de l’exploitation des relations supra-linguistiques habituelles du langage, et d’autre part la référence au mot qui désigne le soleil, résultant du contenu sémantique spécifique de la phrase en question.
    Avant même de me pencher un peu plus sur la démonstration du théorème d’incomplétude et d’y découvrir le problème linguistique que nous avons évoqué, je ne comprenais pas du tout comment Gödel avait pu construire directement une formule qui se réfère exactement à elle-même, alors que son contenu et le nombre de Gödel qui lui est attribué jouent à la fois le rôle de cause et d’effet l’un vis-à-vis de l’autre, et alors qu’un tel repli causal est bien connu, dans toute autre circonstance, pour être radicalement inaccessible.
    Tel est par exemple le cas de la détermination de la position et du mouvement de chacun des corps célestes d’un système de corps célestes dont chacun adopte une position et un mouvement qui jouent à la fois le rôle de cause et le rôle d’effet vis-à-vis de la position et du mouvement de tous les autres, et dans lequel cette position et ce mouvement ne peuvent être calculés que par itérations successives et de façon seulement approximative.
    Je suis aujourd’hui convaincu, à tort ou à raison, que la réponse se résume au fait que Gödel n’y est tout simplement pas parvenu, ce dont on ne saurait le blâmer, nul n’étant tenu à l’impossible.
    Mais quand bien même y serait-il parvenu, le théorème d’incomplétude n’aurait de toute façon pas du tout, à mon avis, la portée qui lui est universellement attribuée.
    Cette opinion est fondée sur les raisons que j’ai rapidement évoquées dans mon mail précédent, mais qui méritent sans doute d’être formellement justifiées de façon plus détaillée.
    On considère une théorie axiomatique binaire et supposée cohérente, notée T, et un métalangage inclusif de T, noté M, lui aussi binaire et propre à rendre compte à la fois de toute proposition P de T et des assertions d(P) et ¬d(P), énonçant respectivement, dans M, la démontrabilité et l’indémontrabilité de la proposition P dans T.
    Dans ce contexte, on considère une proposition P ayant la propriété d’être fausse et figurant donc dans T sous la forme de sa négation ¬P, qui est vraie. Comme la cohérence de la théorie T interdit de démontrer P, qui est fausse, d(P) est également fausse dans M, et cette situation valide l’implication ¬P ⟶ (P ≡ d(P)).
    Par contraposition, cette implication peut aussi s’écrire ¬(P ≡ d(P)) ⟶ P, ou encore, en raison du caractère logiquement binaire de T, (P ≡ ¬d(P)) ⟶ P, qui sera notée IMP_1.
    Il faut cependant remarquer que IMP_1 serait également vérifiée pour toute proposition P ayant la propriété d’être vraie, puisque sa conclusion P serait alors vraie.
    En conséquence, toute proposition P de T, indépendamment de toute hypothèse a priori sur sa valeur de vérité, satisfait à l’implication IMP_1 : (P ≡ ¬d(P)) ⟶ P.
    Dans le cas où P est fausse, IMP_1 répond au schéma (Faux ≡ Vrai) ⟶ Faux, c’est-à-dire encore Faux ⟶ Faux, donc Vrai, ce qu’on abrégera en F ⟶ F, donc V.
    En revanche, dans le cas où P est vraie, la prémisse P ≡ ¬d(P) de IMP_1 est totalement indéterminée a priori et dépend exclusivement de la complétude de T. Plus précisément, la prémisse P ≡ ¬d(P) est alors respectivement vraie ou fausse selon qu’elle révèle, ou non, une incomplétude de la théorie T. En effet, P et d(P) sont toutes les deux simultanément vraies si et seulement si P est vraie et démontrable.
    On considère par ailleurs une proposition P vraie, et dont la négation ¬P est donc fausse. Comme la cohérence de la théorie T interdit de démontrer ¬P, qui est fausse, d(¬P) est également fausse dans M, et cette situation valide l’implication P ⟶ (¬P ≡ d(¬P)) qui, en raison de la binarité de T, peut aussi s’écrire P ⟶ (P ≡ ¬d(¬P)).
    Il faut cependant remarquer que cette implication P ⟶ (P ≡ ¬d(¬P)), qui sera notée IMP_2, serait également vérifiée pour toute proposition P ayant la propriété d’être fausse, puisque sa prémisse P serait alors fausse.
    Dans le cas où P est vraie, IMP_2 répond au schéma V ⟶ (V ≡ ¬F), c’est-à-dire encore V ⟶ V, donc V.
    En revanche, dans le cas où P est fausse, la conclusion P ≡ ¬d(¬P) de IMP_2 est totalement indéterminée a priori et dépend exclusivement de la complétude de T. Plus précisément, la conclusion P ≡ ¬d(¬P) est respectivement fausse ou vraie selon qu’elle révèle, ou non, une incomplétude de la théorie T. En effet, ¬P et d(¬P) sont toutes les deux simultanément vraies si et seulement si P est fausse et ¬P démontrable.
    En conséquence, toute proposition P de T, indépendamment de toute hypothèse a priori sur sa valeur de vérité, satisfait à l’implication IMP_2 : P ⟶ (P ≡ ¬d(¬P)).
    L’implication {[X⟶Y]⋀[Y⟶Z]} ⟶ {[X]⟶[X ⋀ Y ⋀ Z]} est une tautologie dans toute théorie T binaire et cohérente, et se trouve donc vérifiée pour toutes les valeurs de vérité que X, Y et Z prennent dans T.
    En assimilant X⟶Y à IMP_1 et Y⟶Z à IMP_2, il est donc possible de conclure, par modus ponens, que :
    (P ≡ ¬d(P)) ⟶ [ (P ≡ ¬d(P)) ⋀ (P) ⋀ (P ≡ ¬d(¬P)) ], qui peut aussi s’écrire :
    (P ≡ ¬d(P)) ⟶ [ (P) ⋀ (¬d(P)) ⋀ (¬d(P) ≡ ¬d(¬P)) ], qui sera noté MET_1.
    Ce méta-théorème MET_1 établit donc que toute proposition P d’une quelconque théorie binaire cohérente qui serait logiquement équivalente à l’assertion de son indémontrabilité aurait la triple propriété d’être vraie, d’être indémontrable, et d’être telle que sa négation soit elle-même indémontrable (ou, ce qui est équivalent, que la négation de cette proposition serait démontrable si cette proposition l’était elle-même, c’est-à-dire d(¬P) ≡ d(P)).
    Il serait à mon avis naïf d’imaginer que ce méta-théorème, dont la démonstration ci-dessus est élémentaire et dont la conclusion recouvre intégralement le résultat fondamental du théorème d’incomplétude, à savoir la validité de la formule G de Gödel, son indémontrabilité, et l’équivalence entre l’indémontrabilité de G et celle de sa négation ¬G, ait pu échapper à Gödel.
    Après avoir vraisemblablement établi ce méta-théorème, Gödel « n’avait plus », pour pouvoir démontrer le théorème d’incomplétude, qu’à réaliser . . . l’impossible, à savoir construire une formule G telle que G ≡ ¬d(G), c’est-à-dire logiquement équivalente à l’assertion de son indémontrabilité.
    Les défenseurs de ce théorème considèrent qu’il y est parvenu en construisant une formule indiscernable de cette assertion, à savoir G # ¬d(G), alors que les autres pensent qu’un tel repli causal n’a pas été réalisé, ou même, et c’est mon cas, que cet exploit était dès l’origine aussi voué à l’échec, et pour le mêmes raisons, que le mouvement perpétuel.
    Mais un autre point majeur jamais évoqué, à ma connaissance au moins, devrait selon moi être pris en compte pour évaluer la portée réelle qui pourrait au mieux être attribuée à ce théorème, à savoir le fait que non seulement la formule G ≡ ¬d(G) est de nature purement axiomatique, mais qu’il s’agit là d’un axiome nouveau, clandestin, et donc originellement tout aussi étranger à l’arithmétique qu’au métalangage utilisé pour l’exploiter.
    La conclusion du théorème d’incomplétude ne pourrait donc au mieux porter ni sur l’arithmétique, ni sur ce métalangage, ni a fortiori sur toute autre théorie axiomatique, mais seulement sur une théorie axiomatique altérée, dérivée de l’arithmétique par l’ajout d’un nouvel axiome originellement absent de cette théorie et qui, pour autant qu’il ait pu être construit, constituerait à lui seul l’unique cause de la conclusion de ce théorème.
    Pour moi, et dans le meilleur des cas où la formule G # ¬d(G) aurait effectivement pu être construite en violation du principe de causalité – ce qui constituerait la véritable prouesse – la portée universelle attribuée à ce théorème ne relève donc que du mythe.
    Compte tenu de la complexité de la démonstration de ce théorème, cette conclusion ne doit toutefois pas être considérée comme une quelconque injure à l’intelligence de Gödel. Elle interroge en revanche sur les mécanismes complexes d’acceptation ou de rejet des théories nouvelles, et renforce l’opinion d’Einstein, a priori très dérangeante, selon laquelle la science se réduirait à une convention sociale.

  24. Avatar de un lecteur
    un lecteur

    Je résume votre commentaire par le fait que les mathématiques sont une branche du savoir humain et aussi un outil pour l’acquisition de nouveau savoir. L’acquisition du savoir n’est pas réductible au savoir et réciproquement. La recherche du savoir « en soi » est une quête stupide, une modalité du mouvement perpétuel mal nommé (censé nous fournir de l’énergie gratuitement, du nouveau savoir..) que tous les scientifiques moquent chez les physiciens en herbe.

  25. Avatar de BasicRabbit
    BasicRabbit

    @PJ et JPB.

    Thom : « Le fait que le temps t, l’abscisse x et la vitesse v soient tous trois décrits par un même être mathématique, à savoir un nombre réel, est une sorte de miracle qui est à la base du calcul différentiel. ».

    Cette citation est extraite de l’article « Les réels et le calcul différentiel, ou la mathématique essentielle », que l’on trouve dans Apologie du logos (1990, Hachette), articlee qui va, à mon avis, tout-à-fait dans le sens (que vous défendez) des mathématiques essentielles s’enracinant dans une physique virtuelle, plus précisément dans une phusis aristotélicienne virtuelle, comme Thom le précise tout au long de la première partie de l’article, en particulier ci-dessous :

    – « En forgeant cette idéalisation [la division infinie du mouvement] (suggérée évidemment par notre intuition du mouvement uniforme), la nature diverge considérablement de la réalité physiologique… mais sans doute pas tellement de la réalité physique. » ;

    – « Il ne fait guère de doute que la réalisation de la géométrie par des agents physiques comme la lumière ne soit à la source de notre intuition géométrique. Très probablement il faut donner raison à Kant sur ce point : cette intuition de la géométrie nous est innée ; elle est créée par les mécanismes épigénétiques de l’embryologie. Comment une structure aussi idéelle que la géométrie peut être codée dans notre patrimoine génétique, et parvenir à se réaliser à la fois organiquement -comme dans la morphogénèse de l’œil- et mentalement, c’est bien là l’un des mystères les plus profonds de la biologie. Peut-être la biologie moléculaire, en insistant sur l’aspect rigide des configurations ternaires des protéines (ou des agencements supra-moléculaires qu’elles peuvent constituer) apportera ici quelques indications précieuses… « .

    On peut voir dans cette citation apparaître l’ADN et, avec un peu d’imagination (et un zeste de culture), les programmes de réparation de fichiers en biochimie/biologie… et le théorème d’incomplétude de Godel si on apporte quelque crédit à ce qu’écrit le logicien JL Krivine à propos de la correspondance preuve-programme dite de Curry-Howard :

    « La preuve du théorème d’incomplétude de Godel correspond à un programme de réparation de fichiers ».

  26. Avatar de BasicRabbit
    BasicRabbit

    @PJ.

    Je trouve vos critiques de fond sur la preuve de Gôdel du théorème d’incomplétude sont tout-à-fait fondées :

    « Such a « theorem-in-no-need-to-be-demonstrated » happens then to be true

    1° either because it is in fact an axiom in disguise (i.e. a definition) where the demonstration is a petitio principii: a circular reasoning, where what one claims to have discovered in fine was known from the start, the demonstration having been but an artful reformulation of the axiom

    2° or because an observation derived from sensory evidence, an empirical fact, is hidden in one of the axioms; in such a case, mathematicians have used mathematics to build a « virtual physics » and it is their intuition of the world around us that has guided them unbeknownst. ».

    En effet, soit on rajoute un axiome plus puissant pour prouver la cohérence de PA1 (pour fixer les idées) et son incomplétude, et alors on tombe sous le coup de 1° puisque, de manière déguisée, on rajoute l’axiome qui dit que PA1 est cohérente et que G (la fameuse formule de Gödel) est démontrable dans cette théorie plus puissante, et donc vraie dans N (par complétude); soit on dit que PA1 est consistante (et donc cohérente, toujours par complétude) parce que N en est le modèle naturel « qui tombe sous le sens », et alors on tombe sous le coup de 2°. Ce que je vous reproche -et je vous l’ai écrit je ne sais plus où que les pages de « Comment la vérité… » consacrées à la preuve de Gödel sont un ramassis de conneries- c’est qu’une critique sérieuse consiste à trouver les pages et les lignes de ces pages où Gödel est tombé sous le coup de 1° et/ou 2°… s’il y en a.

    Je pense à ce propos -je l’ai déjà écrit plusieurs fois sur ce blog- que si Gödel n’a pas utilisé le mot de théorème mais seulement celui de proposition dans son article, c’est parce qu’il n’avait pas isolé le bon cadre théorique dans lequel placer son théorème (je crois qu’on a fait des progrès depuis à ce sujet) : car pas de théorème sans théorie (pas de méta-théorème sans méta-théorie serait plus adéquat puisque ce théorème porte sur des théories -typiquement PA1- qui ont leurs propres théorèmes).

  27. Avatar de BasicRabbit
    BasicRabbit

    PJ : « The fact that Goodstein’s theorem can be demonstrated within one mathematical framework (second-order arithmetic), but not in a closely related one (Peano’s arithmetic), betrays the contrived nature of trying to mathematically prove a fact of observation. ».

    Je ne vois pas la différence avec : « Le fait que la somme des angles d’un triangle plan soit un angle plat peut être démontré en géométrie plane, mais pas en géométrie sphérique pourtant proche, trahit la nature artificielle de la tentative de prouver mathématiquement un fait d’observation. ».

    Aristote lui-même, dans sa métaphysique, donne l’exemple ci-dessus du rapport puissance/acte : c’est un fait d’observation « physique » que la somme des angles d’un triangle plan est un plat et une démonstration actualise cette conjecture en puissance. Ainsi la physique virtuelle inductive (bottom-up) et la mathématique déductive (top-down) se complètent ici harmonieusement.

    L’intérêt du théorème de Goodstein est qu’il fournit un exemple d’un énoncé d’arithmétique G (G pour Goodstein cette fois-ci) vrai dans N (parce que démontrable dans une théorie plus puissante que celle de Peano, celle-là même dans laquelle Gentzen a prouvé la cohérence de l’arithmétique de Peano) et cependant indémontrable ainsi que sa négation dans l’arithmétique de Peano (par le théorème de Kirby-Paris), et donc qu’il est une alternative au théorème d’incomplétude de Gödel restreint à l’arithmétique de Peano, alternative dont la preuve éclaire celle de ce dernier.

Répondre à Druuh Annuler la réponse

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.

Contact

Contactez Paul Jorion

Commentaires récents

Articles récents

Catégories

Archives

Tags

Allemagne Aristote bancor BCE Bourse Brexit capitalisme centrale nucléaire de Fukushima ChatGPT Chine Confinement Coronavirus Covid-19 dette dette publique Donald Trump Emmanuel Macron Espagne Etats-Unis Europe extinction du genre humain FMI France Grèce intelligence artificielle interdiction des paris sur les fluctuations de prix Italie Japon John Maynard Keynes Karl Marx pandémie Portugal psychanalyse robotisation Royaume-Uni Russie réchauffement climatique Réfugiés spéculation Thomas Piketty Ukraine ultralibéralisme Vladimir Poutine zone euro « Le dernier qui s'en va éteint la lumière »

Meta