Logique
- Fondements de la théorie du traitement de l'information : logique combinatoire et lambda calcul.
- Logique combinatoire symbolique
- Divers formalismes logiques
- Logique combinatoire
- Extensionalité en logique combinatoire
- Multilevel abstraction
- Logique modale
- Théorème de Gödel, transfini et intelligence créative
- Logical reflection (in english)
- Les systèmes de logique de Turing basés sur les ordinaux
- Example of formal system with reflection
- Réflexion dans les systèmes formels
- Symbolic Lambda Calculus - New unified formalism
- Simplified Symbolic Lambda Calculus
- From Combinatory Logic to Symbolic Lambda Calculus
- From Combinatory Logic to Proof Logic
- Note about definition of LTR in Simplified Symbolic Lambda Calculus
- Proof Logic versions - Les versions de la logique démonstrative
- Proof Logic v1 - Initial version
- Proof Logic v2 - New symmetric version
- Proof Logic v3 - Extended version
- Proof Logic v4 - New version with generalized transitivity with reduction
- Proof Logic v5 - New version with new syntax for transitivity
- Proof Logic v9
- Tutorial presentation of Proof Logic (v3) - New version with generalized transitivity with reduction (v4) - New version with new syntax for transitivity (v5) - New version with named proofs (v8)
- La logique démonstrative (v3) - Nouvelle version avec transitivité généralisée avec réduction (v4) - Nouvelle version avec nouvelle syntaxe pour la transitivité (v5)
- Proof Logic extensions - New version (v5) - v8 version
- Fuzzy Proof Logic (v7)
- Proof Logic v8 new features
- Proof Logic v10 with unknowns
- Proof Logic v11 with coroutines
- Proof Logic v12
- Graphic lambda calculus and chemlambda
- Large numbers
- Large numbers and ordinals
- Ordinaux transfinis
- Diaporama sur les nombres transfinis (ordinaux et cardinaux) et leurs notations - Source LaTeX
- Résumé des notations pour ordinaux transfinis - Version longue
- Summary of notations for transfinite ordinals - Long version
- Notations for transfinite ordinals
- A Tutorial Overview of Ordinal Notations LaTeX source Old versions : V1 PDF LaTeX V2 PDF LaTeX V3 PDF LaTeX V4 PDF LaTeX V5 PDF LaTeX V6 PDF LaTeX V7 PDF LaTeX V8 PDF LaTeX V9 PDF LaTeX
- Ordinal collapsing functions and Taranovsky ordinal notation - laTeX source
- Links about transfinite ordinals
- Cardinaux transfinis
- Le robot mathématicien
- Discussion : les régularités existent-elles objectivement ou sont-elles le produit de notre esprit ? Perception des régularités et intelligence non mécanisable, théorème de Gödel, réflexion, ordinaux transfinis
- Intelligence créative, régularités et compression
Informatique
Mathématiques
- Projection
- Diagonalisation de matrices
- Multiplicateurs de Lagrange - Source LaTeX
- Commande optimale - Source LaTeX
- Optimisation et jeux différentiels : Version PDF - Version HTML pour Internet Explorer
- Régression linéare mobile exponentielle
- Régression polynomiale
- Analyse en composantes principales - Source LaTeX
- Analyse canonique - Source LaTeX
- Analyse canonique généralisée - Source LaTeX
- Analyse factorielle universelle - Source LaTeX
- Analyse de données - Source LaTeX
Physique et métaphysique
Felix qui potuit rerum cognoscere causas...
- Réflexions métaphysiques
- Metaphysical reflections
- Commentaires sur les réflexions métaphysiques
- Fondements ontologiques de mes réflexions métaphysiques
- Le mystère de la chambre chinoise
- Reflections about quantum mechanics
- Reflections about the many worlds theory
- Chat de schrodinger et mondes multiples , lettre proposant à M. Haroche, physicien, une expérience pour tester la théorie des mondes multiples.
- Théorie des mondes multiples
- Commentaires sur la thèse de doctorat de Bruno Marchal "Calculabilité, physique et cognition"
- A thought experiment : transmit faster than light and modify the past ?
- Spirit, consciousness, free will and infinite nesting
- Le paradoxe du lapin blanc - Simplicité cachée de l'univers et théories d'univers mathématiques
- Réalité virtuelle
- Connexion affine et courbure - Source LaTeX
- Gauge fields, Kaluza Klein theory, least action principle, relativity, string theory
- Electromagnétisme et gravitation relativistes, champs de jauge et théorie de Kaluza-Klein - Source LaTeX
- Monopôles magnétiques - Source LaTeX
- Champs de jauge et théorie de Kaluza Klein - HTML version for Windows
- Gauge fields and Kaluza Klein theory - HTML version for Windows
- The Dirac Equation
- Rishons
- Discussions sur la physique avec ChatGPT - Source LaTeX
- Discussion sur la théorie quantique des champs avec ChatGPT - Source LaTeX
Philosophie
- Idées philosophiques de A à Z (en cours d'écriture)
Esotérisme
Poèmes
Politique et économie
- Discussions sur le chômage, la lutte des classes, la mondialisation, l'inflation... récupérée sur la messagerie minitel 3615 NESS.
- Fichier de capture des codes télétel
- La conversion des codes télétel au format HTML a été effectuée grâce à CVTNESS
- Un point de vue sur le port du foulard islamique au lycée
Linguistique
Intelligence artificielle
Divers
Message à la postérité