Pour la première fois de l'histoire (des sciences), Mathématique, Logique, Informatique, Linguistique, Psychanalyse, Psychologie, Neurologie se trouvent plus que jamais reliés par un concept mathématique imaginé dans les années 1930: Le lambda-calcul. Cette théorie montre que du flux neuronal incessant émerge un premier langage logique structuré dont nous ne sommes pas conscient, le lambda-calcul. Nos langues naturelles, puis les mathématique, puis l'informatique (par ordre chronologique d'apparition) en seraient des sur-couches. Ce langage structuré de base serait faconné par l'évolution naturelle depuis les origines de la vie au sein de nos cerveaux... ce qui expliqueraient pourquoi les linguistes remarquent des similitudes troublantes entre toutes les langues et dialects de notre espece, mais aussi pourquoi les mathématque semblent si bien "coller" à la réalité naturelle. Enfin une réponse tangible à l'intérogation de Kant !? Le travail colossal de Krivine est d'avoir compris que toutes les disciplines citées plus haut sont des interprétations et études différentes des niveaux supérieurs issus du lambda-calcul, des lors formalisables en programmes de type logique (objets d'étude du lambda-calcul). La démonstration du fameux Théorème d'Incomplétude de Godel serait, traduite en lambda-calcul, enfouie au fond de nos cerveaux ! Vertigineux...