Calcul différentiel et intégral
Principe : Unification du calcul des pentes tangentes et des quadratures d'aires par la relation de réciprocité entre dérivation et intégration.
Collectionnez les théorèmes, les savants, les structures et les méthodes de preuve dans un recueil numérique sobre, fidèle aux énoncés rigoureux et conçu sans aucune mécanique de jeu payante.
Principe : Unification du calcul des pentes tangentes et des quadratures d'aires par la relation de réciprocité entre dérivation et intégration.
Hypothèses : P ∈ ℂ[X] avec deg(P) ≥ 1.
Nombre entier caractérisant l'absence de quantité, élément neutre pour l'addition et absorbant pour la multiplication.
Formalisation de la machine universelle et de la calculabilité, cryptanalyse d'Enigma, test de Turing et modélisation chimique de la morphogenèse.
Œuvres : On Computable Numbers with an Application to the Entscheidungsproblem (1936), Computing Machinery and Intelligence (1950).