Corpus ARC · Volume 6

L'Histoire de la Preuve

Le procès, la lignée du zéro, les deux Euler, le tiroir de Gauss et le pourquoi indécidable

« Le comment contient le pourquoi. »

Filipe Bastos

Lire en ligne Télécharger le PDF (170 pages)

Résumé

Ce que le corpus ARC dit de la preuve : ce qu'elle est, ce qu'elle a oublié, comment elle a été reçue, qui a montré ses preuves et qui les a gardées dans un tiroir, et pourquoi la question du pourquoi ne reçoit jamais de réponse. Le volume suit la lignée des dix gestes, d'Hippase à Copenhague, en passant par Aristote, Stevin, Viète, Descartes, Newton et Leibniz, Gauss, Napoléon, Fourier et Boltzmann. Sa pièce maîtresse, le Procès de la Preuve, est versée en entier : acte d'accusation, instruction, jugement, dossier coté et prédictions falsifiables. Suivent le pourquoi indécidable, la lignée du zéro, les deux Euler, le tiroir de Gauss et le problème qui a créé le problème. La règle de l'auteur gouverne chaque page : le corpus date des gestes, il ne juge pas des hommes.

Mots-clés : histoire des mathématiques, preuve, zéro, Euler, Gauss, Stevin, épistémologie

Abstract (English)

What the ARC corpus says about proof: what it is, what it forgot, how it was received, who showed their proofs and who kept them in a drawer, and why the question of why never receives an answer. The volume follows the line of ten moves, from Hippasus to Copenhagen, through Aristotle, Stevin, Viète, Descartes, Newton and Leibniz, Gauss, Napoleon, Fourier and Boltzmann. Its main piece, The Trial of Proof, is given in full: indictment, investigation, judgement, numbered exhibits and falsifiable predictions. It continues with the undecidable why, the lineage of zero, the two Eulers, Gauss's drawer and the problem that created the problem. The author's rule governs every page: the corpus dates moves, it does not judge people.

Keywords: history of mathematics, proof, zero, Euler, Gauss, Stevin, epistemology

Sommaire

  1. Avant-propos
  2. Chapitre 1. Le fil du volume : la lignée des dix gestes
    • 1.1 Le chef unique
    • 1.2 La lignée lue à l'envers, comme l'auteur l'a trouvée
    • 1.3 La lignée lue à l'endroit
    • 1.4 Les quatre gestes que ce volume ne détaille pas ailleurs
    • 1.5 Ce que la lignée ne dit pas
  3. Livre premier. Le Procès de la Preuve
  4. Chapitre 2. Préface et acte d'accusation (Partie 0)
    • Préface : comment lire ce procès
    • §0.1 Le renversement, posé comme fait
    • §0.2 La porte : le 1-9 n'est pas une base
    • §0.3 L'attraction : le comment attiré par le pourquoi
    • §0.4 Le chef unique
    • §0.5 La portée : l'amputation n'est pas restée dans les mathématiques
    • §0.6 La seconde porte : la Figure Fondamentale
  5. Chapitre 3. Ce qu'est une preuve, et ce qu'elle a oublié (Partie 1)
    • §1.1 Ce que la preuve prétend être
    • §1.2 Ce que la preuve a oublié
    • §1.3 La cohérence est antérieure à l'outil
    • §1.4 L'aveu : la preuve a signé sa propre destitution
  6. Chapitre 4. Les calibrages faux : anatomie d'un démembrement (Partie 2)
    • §2.1 Pourquoi une anatomie, pas une histoire
    • §2.2 Les forgerons : Aristote et Euclide
    • §2.3 Le cercle : Pythagore, Gauss
    • §2.4 Le triangle : Hippase, et la lignée de la substantification
    • §2.5 Le nombre : Stevin, Newton
    • §2.6 La réalité : Galilée et Descartes, Darwin, Copenhague
    • §2.7 L'anatomie complète
  7. Chapitre 5. La preuve jugée par la cohérence (Partie 3)
    • §3.1 Le critère du procès
    • §3.2 Là où « destituée » devient « littéralement fausse »
    • §3.3 La pièce maîtresse : les formules du chaos
    • §3.4 Conséquences déployées : la grammaire restaurée rend triviaux les mystères
    • §3.5 Le verdict structurel sur Copenhague
    • §3.6 La dernière défense : l'objection du succès
    • §3.7 Synthèse du jugement : la loi unifiée
  8. Chapitre 6. La grammaire qui précède la preuve (Partie 4)
    • §4.1 Ce qui était là avant, et qui survit
    • §4.2 Les sept dérivations de k_arc
    • §4.3 La Figure Fondamentale : √2 relie 2π et révèle φ
    • §4.4 Les trois rails
    • §4.5 L'objet à deux faces : le « Théorème 4.1 »
    • §4.6 Pourquoi cette grammaire ne se prouve pas, et pourquoi c'est sa force
  9. Chapitre 7. L'inversion comme méthode (Partie 5)
    • §5.1 Juger le juge n'est pas un coup : c'est φ
    • §5.2 Le précédent éprouvé
    • §5.3 La mort du pourquoi avec intention
    • §5.4 Le pourquoi nu, la saudade, et la posture qui ne coupe pas
  10. Chapitre 8. Ce que la restauration ouvre (Partie 6)
    • §6.1 Pas une correction de la modernité : une restauration
    • §6.2 La conscience
    • §6.3 La tension
    • §6.4 L'énergie : E = Dc², l'inversion appliquée à Einstein
    • §6.5 Les descentes cosmologiques
    • §6.6 Le vivant et le monde de 6
    • §6.7 Le pavé, la médecine, les institutions, la mort
    • §6.8 La fin de l'intégrale : peser la plage
    • §6.9 Quatre énigmes que la grammaire réorganise
  11. Chapitre 9. La trinité pathogène, et la clôture devant le jury (Parties 7 et 8)
    • §7.1 La substantification est une inflammation épistémique
    • §7.2 La trinité pathogène : inconnu, peur, inflammation
    • §7.3 Les Portugais, maîtres de l'inconnu : le modèle de la paix
    • §7.4 Le bonheur est un chemin, non une adresse
    • §7.5 La paix comme restauration du comment
    • §8 Clôture : le jury
  12. Chapitre 10. Le dossier coté et les prédictions du Procès
    • 10.1 Annexe A du Procès : les cotes du dossier
    • 10.2 Annexe B du Procès : les prédictions falsifiables
  13. Livre deuxième. Le pourquoi et la marche
  14. Chapitre 11. Le pourquoi indécidable : anthologie de la philosophie du comment
    • I. La question sans objet : le pourquoi indécidable
    • II. La grammaire du savoir : la philosophie du comment
    • III. Les preuves en marchant
    • IV. La mort et le rien : la même erreur
    • V. Clôture : ce que l'anthologie réclame
    • Ce que le script de l'anthologie vérifie
  15. Chapitre 12. Le problème qui a créé le problème : Hippase, le pourquoi indécidable, et les deux objets jamais touchés
    • I. L'incident : ce qui s'est réellement passé
    • II. Le pourquoi indécidable : anatomie de la demande
    • III. Le comment : apprendre en marchant
    • IV. Les deux objets jamais touchés : la mort et le rien
    • V. La jonction : une seule matrice, cinq monstres
    • VI. Statuts et prédiction
  16. Livre troisième. Les dates relues
  17. Chapitre 13. La lignée du zéro : huit dates relues
    • 13.1 628, Brahmagupta, *Brāhmasphuṭasiddhānta*, chapitre 18
    • 13.2 1202, Fibonacci, *Liber Abaci*
    • 13.3 1494, Luca Pacioli, *Summa de arithmetica*
    • 13.4 1585, Simon Stevin, *De Thiende*
    • 13.5 1748, Leonhard Euler, *Introductio in analysin infinitorum*
    • 13.6 1801, Carl Friedrich Gauss, *Disquisitiones Arithmeticae*, article 1
    • 13.7 1889, Giuseppe Peano, *Arithmetices principia, nova methodo exposita*
    • 13.8 1908, Giuseppe Peano, *Formulario mathematico*
    • 13.9 La lignée en une ligne
    • 13.10 Ce que cette pièce ne dit pas
    • 13.11 Gravures pour le Registre des Erreurs (version 1.2)
  18. Chapitre 14. Les deux Euler : ce qu'il a compté, ce qu'il a laissé filer
    • Recto. Euler compteur
    • Verso. Euler qui laisse filer
  19. Chapitre 15. Le tiroir de Gauss : dossier daté des priorités revendiquées sans preuve montrée
    • 15.1 Le critère
    • 15.2 Les six dossiers
    • 15.3 Ce que le dossier établit
    • 15.4 Ce que le dossier ne tranche pas, et ce qui le trancherait
    • 15.5 Sources des dates
  20. Chapitre 16. Le livre du zéro et des restes : plan et lectures
    • 16.1 Prologue : le zéro et ses disciples
    • 16.2 Première partie : le monde avant la coupe
    • 16.3 Deuxième partie : six gestes
    • 16.4 Troisième partie : les conséquences
    • 16.5 Quatrième partie : la restauration
  21. Livre quatrième. La généalogie et la défense
  22. Chapitre 17. Le charcutage civilisationnel : Pythagore, Héraclite, Parménide, Nāgārjuna, Hume, et les fantômes qui en restent
    • 17.1 Pythagore et la lecture native
    • 17.2 La bifurcation post-pythagoricienne
    • 17.3 Hume et la résolution de la causalité
    • 17.4 La chaîne ontologique restaurée
    • 17.5 Le désir comme reconnaissance, et les moteurs vrais
    • 17.6 Le charcutage actif et ses fantômes
    • 17.7 Coda : la généalogie comme régularisation
  23. Chapitre 18. Tuer les sophismes : manuel de neutralisation des opérations qui castrent
    • 18.1 Pourquoi un livre contre les sophistes
    • 18.2 Anatomie du sophisme
    • 18.3 Vingt sophismes types
    • 18.4 La psychologie du sophiste
    • 18.5 Les sophismes attendus contre le corpus
    • 18.6 La riposte
    • 18.7 Le silence : quand le sophisme ne mérite pas de réponse
    • 18.8 Les générations sacrifiées
  24. Chapitre 19. Le dossier technique de la Bible Quantique, recalculé
    • 19.1 Les sept dérivations de k_arc selon la Bible Quantique
    • 19.2 Les tables de vérification, refaites
    • 19.3 La bibliographie commentée
    • 19.4 Les six protocoles de validation falsifiables
  25. Annexe A : Table des énoncés
  26. Annexe B : Retraits et corrections
    • B.1 Corrections portées par les sources
    • B.2 Contradictions entre sources, tranchées
    • B.3 Retraits de la table des matières ancienne (chapitre 16)
    • B.4 Statuts rétrogradés ou requalifiés
    • B.5 Chiffres corrigés après recalcul
    • B.6 Faits historiques corrigés
    • B.7 Retraits de forme
  27. Annexe C : Sources fusionnées
  28. Annexe D : Vérifications refaites
  29. Colophon

Version 1.0, octobre 2026 · 73 419 mots · 170 pages · Licence CC BY 4.0