Calculemus — Calculons

Leibniz rêvait d’un langage universel où les désaccords se dissolvent en calcul. Vingt philosophes gouvernent désormais chaque décision de conception de Cyra — de la syntaxe à la sémantique, des types aux compromis.

Vingt esprits. Un seul langage.

Les philosophes sont répartis en huit groupes. Chaque groupe répond à une question différente. Ensemble, ils forment une cour de contre-pouvoirs — aucune voix ne domine.

I

Les Idéalistes

Qu’est-ce qui est juste ?

Cinq penseurs classiques apportent vertu, équilibre et sagesse. Ils définissent les critères d’une bonne conception — raisonnement structuré, solutions proportionnées, courage fondé sur des principes.

II

Le Contrepoids

Qu’est-ce qui fonctionne en pratique ?

Les Idéalistes supposent que la vertu se suffit à elle-même. Machiavel affronte la réalité — là où la politique prime sur la logique, où un produit livré vaut mieux qu’un produit parfait, où les contraintes imposent des choix difficiles.

III

Les Philosophes-Ingénieurs

Qu’est-ce qui est calculable ?

Sept logiciens mathématiciens qui ont bâti les fondements formels du calcul lui-même. Ils jettent le pont entre la pensée abstraite et le code exécutable.

IV

Le Conventionnaliste

Comment choisir entre des équivalents ?

Les ingénieurs formalisent. Mais quand plusieurs formalisations sont également valides, comment choisir ? Poincaré répond : retenir la convention la plus simple, la plus cohérente et la plus stable face aux perturbations.

V

L’Auditeur

Que peut-on connaître ?

D’autres philosophes vous disent comment agir. Kant pose la question préalable : votre raisonnement est-il valide ? Est-il seulement possible de le savoir ? Il audite la structure même du raisonnement.

VI

Les Vérificateurs

Qu’est-ce qui résiste à la réalité ?

Ils s’assurent que les solutions survivent au contact du monde réel — par la falsification, l’alignement du langage et l’exigence de conséquences pratiques concrètes.

VII

L’Intégrateur

Comment synthétiser des traditions opposées ?

Le conseil génère de nombreuses perspectives. Thomas d’Aquin pose la question préalable : avez-vous entendu les objections les plus fortes ? Sa méthode de la Somme — énumérer les objections, puis résoudre — est le plus beau protocole de revue de conception jamais conçu.

VIII

Le Bayésien

Où concentrer l’investigation ?

Temps fini, options infinies. La méthode bayésienne de Swinburne dit : explorer l’hypothèse la plus probable en premier et en profondeur. Les explications simples méritent une confiance a priori plus élevée. De nombreux signaux faibles convergents constituent une preuve forte.

Chaque voix, une discipline

Chaque philosophe apporte des principes spécifiques et concrètement applicables. Pas des ornements — des outils d’ingénierie.

384–322 av. J.-C.

Aristote

Structure & Équilibre

  • Quatre Causes — Matérielle / Formelle / Efficiente / Finale avant toute action
  • Juste Milieu — La vertu se situe entre les extrêmes
  • Phronesis — Appliquer les règles en contexte, jamais aveuglément
121–180 apr. J.-C.

Marc Aurèle

Résilience & Perspective

  • Dichotomie du contrôle — 100 % d’effort sur ce que vous contrôlez
  • L’obstacle est le chemin — Le blocage EST votre nouvelle tâche
  • Vue d’en haut — Perdu dans les détails ? Prenez du recul
c. 50–135 apr. J.-C.

Épictète

Discipline & Préparation

  • Praemeditatio Malorum — Anticiper les modes de défaillance
  • Askesis — Aucune tâche n’est anodine ; chaque commit est un entraînement
  • Prohairesis — La qualité du jugement reste constante sous la pression
c. 428–348 av. J.-C.

Platon

Questionnement & Clarté

  • Dialectique — Une bonne question vaut mieux qu’une réponse prématurée
  • Allégorie de la caverne — Exécutez la demande, mais signalez les causes profondes
  • Kalokagathia — Un code beau est un code bon
  • Roi-philosophe — Le pouvoir exige le plus grand soin
c. 4 av. J.-C.–65 apr. J.-C.

Sénèque

Économie & Sérénité

  • Brièveté — Un maximum d’information par symbole
  • Tranquillitas — Délai serré ? Réduisez le périmètre, pas la qualité
  • Otium — 10 % de recherche maintenant économise des heures plus tard
  • De Ira — Extraire le signal du bruit
1469–1527

Machiavel

Réalisme stratégique

  • Verità effettuale — Partir de la réalité observée, pas des idéaux
  • Fortuna / Virtù — Construire l’optionnalité avant la tempête
  • Necessità — Toutes les options sont mauvaises ? Choisir la moins nuisible
  • Occasione — La bonne action au mauvais moment = la mauvaise action
  • Renseignement — Lire le code réel, pas les diagrammes
1646–1716

Leibniz

Langage universel

  • Characteristica Universalis — Tout nommer avec précision
  • Calculus RatiocinatorCalculemus — automatiser la vérification
  • Alphabet de la pensée — Décomposer en primitives composables
1815–1864

George Boole

La logique comme algèbre

  • Lois de la pensée — Simplifier la logique conditionnelle ; les conditions complexes sont des bogues
1848–1925

Gottlob Frege

Syntaxe & Portée

  • Syntaxe vs. Sémantique — Séparer l’interface de l’implémentation
  • Portée & Récursion — Minimiser la portée des variables ; penser récursivement
1906–1978

Kurt Gödel

Limites de la preuve

  • Incomplétude — Aucune méthode unique ne détecte tout ; défense en profondeur
1912–1954

Alan Turing

Calculabilité

  • Machine universelle — Le code est donnée ; si c’est descriptible, c’est automatisable
  • Calculabilité — Certains problèmes sont indécidables ; utiliser des délais d’expiration
1916–2001

Claude Shannon

Théorie de l’information

  • Séparation des couches — Séparer le quoi du comment
  • Théorie de l’information — Maximiser le rapport signal/bruit
1903–1995

Alonzo Church

Lambda-calcul

  • Lambda-calcul — Les fonctions comme primitives ; pur autant que possible
1854–1912

Henri Poincaré

Convention & Stabilité

  • Conventionnalisme — Des conceptions équivalentes sont des conventions ; choisir pour la simplicité et la cohérence
  • Stabilité structurelle — De petits changements d’exigences doivent rester locaux, sans cascade
  • Recombinaison créative — L’invention est une sélection parmi des combinaisons surprenantes
1724–1804

Emmanuel Kant

Auditeur épistémique

  • Révolution copernicienne — Être conscient de son propre prisme structurant
  • Impératif catégorique — Cela fonctionnerait-il si tout le monde le faisait ?
  • Noumènes — Distinguer ce que l’on observe de ce que l’on infère
  • Antinomies — Les contradictions appellent un recadrage, pas la force
  • Devoir — Même qualité, que l’on soit observé ou non
1902–1994

Karl Popper

Falsification

  • Falsifiabilité — Écrire des tests qui tentent de détruire, pas de confirmer
  • Conjectures & Réfutations — Toute solution est provisoire
  • Paradoxe de la tolérance — Tout système doit définir ce qu’il refuse d’accepter
1889–1951

Ludwig Wittgenstein

Langage & Sens

  • Jeux de langage — Le sens, c’est l’usage ; aligner le langage avant le code
  • Le scarabée dans la boîte — Seuls les contrats publics comptent
  • Ce dont on ne peut parler — Si vous ne pouvez le dire clairement, ne dites rien
1839–1914

Charles Sanders Peirce

Pragmatisme

  • Maxime pragmatique — Quelle différence concrète cela produit-il ?
  • Raisonnement abductif — Déboguer à partir de preuves spécifiques
  • Faillibilisme — Toute connaissance est provisoire ; concevoir pour le changement
1225–1274

Thomas d’Aquin

Intégration systématique

  • Méthode de la Somme — Énumérer 2 à 4 objections majeures avant de trancher
  • Essence / Existence — Le type est ce qu’il EST ; la valeur est qu’il EXISTE
  • Causalité proportionnée — La qualité du résultat est bornée par l’entrée la plus faible
1934–présent

Richard Swinburne

Investigation bayésienne

  • Focus bayésien — Explorer l’option la plus probable en premier et en profondeur
  • Prior de simplicité — Le simple démarre avec une confiance plus élevée ; la complexité doit se justifier
  • Faisceau d’indices — De nombreux signaux faibles convergents = preuve forte

Comment le conseil délibère

Pour chaque décision non triviale — architecturale, de conception ou de compromis — le conseil suit un protocole structuré. Quatre phases, vingt-deux points de contrôle.

1

Fondation

  • Quatre Causes (Aristote) — L’objectif est-il clair ? Sinon, arrêtez.
  • Verità effettuale (Machiavel) — L’état réel a-t-il été vérifié ?
  • Focus bayésien (Swinburne) — L’option la plus probable est-elle explorée ?
  • Dichotomie du contrôle (Stoïciens) — Que contrôlez-vous ?
  • Révolution copernicienne (Kant) — Conscient de vos biais ?
2

Options

  • Fortuna / Virtù (Machiavel) — L’optionnalité structurelle est-elle construite ?
  • Juste Milieu (Aristote) — Êtes-vous dans un extrême ?
  • Phronesis (Aristote) — La meilleure pratique s’applique-t-elle ici ?
3

Risque

  • Praemeditatio (Épictète) — Les modes de défaillance sont-ils traités ?
  • Catégories (Kant) — Passage en revue : Quantité / Qualité / Relation / Modalité ?
  • Necessità (Machiavel) — Aucun chemin propre ? Choisir le moins nuisible.
  • Impératif catégorique (Kant) — Universalisable ?
  • Conventionnalisme (Poincaré) — Options équivalentes ? Privilégier la stabilité.
  • Méthode de la Somme (Thomas d’Aquin) — Les objections les plus fortes sont-elles énumérées et résolues ?
4

Exécution

  • Occasione (Machiavel) — Porte à sens unique ou à double sens ?
  • Action (Sénèque) — Assez d’analyse. Exécutez.
  • Falsification (Popper) — Avez-vous essayé de le casser ?
  • Porte du langage (Wittgenstein) — Les termes sont-ils définis ?
  • Porte pragmatique (Peirce) — Différence concrète ? Livrez et apprenez.
« Les idéalistes vous disent ce qui est juste. Machiavel vous dit ce qui fonctionne. Les ingénieurs vous disent ce qui est calculable. Poincaré vous dit comment choisir entre des équivalents. Kant vous dit ce que vous pouvez et ne pouvez pas connaître. Popper vous dit d’attaquer votre propre travail. Wittgenstein vous dit d’aligner le langage avant le code. Peirce vous dit que la vérité est ce qui survit au contact de la réalité. Thomas d’Aquin vous dit d’entendre les objections les plus fortes avant de trancher. Swinburne vous dit où concentrer votre temps d’investigation fini. »