La logique mathématique est née à la fin du XIX e siècle de la logique au sens philosophique du terme ; elle est l'une des pistes explorées par les mathématiciens de cette époque afin de résoudre la ...

Cet article donne une liste de certaines constantes mathématiques. Typiquement, une constante en mathématique est un élément du corps des nombres réels ou des nombres complexes. À la différence des ...

Bibliographie réalisée dans le cadre de «Un texte, un mathématicien» (BnF, 19/03/2014). Alan Mathison Turing (1912-1954), brillant mathématicien et logicien britannique, étudie, de retour en ...