Le lambda-calcul (Lambda Calculus) et les origines de la programmation fonctionnelle : De la théorie d'Alonzo Church à Lisp et Haskell
Tags
11 pages
Histoire
Kurt Gödel : Les théorèmes d'incomplétude et la trajectoire d'un génie mathématique
Évariste Galois : Le génie tragique et l'aube des mathématiques modernes
Karl Weierstrass : Le père de l'analyse moderne et sa vie
Niels Henrik Abel : Le Génie Tragique qui a Nié la Formule de l'Équation Quintique
René Descartes : Père de la philosophie moderne et fondateur de la géométrie analytique
Leonardo Fibonacci : Le génie qui a apporté la lumière des mathématiques à l'Europe médiévale
Preuves diverses du théorème de Pythagore : De la géométrie et l'algèbre à Einstein
Théorie de Galois - Pourquoi les équations de degré 5 et plus n'ont pas de formule de résolution et la naissance de la théorie des groupes
Histoire du développement Low-code et No-code (des années 1980 à aujourd'hui) | De HyperCard aux outils récents
Histoire des mathématiques et anciens problèmes difficiles : Découvrir les trois problèmes de l'Antiquité et la spirale d'Archimède
