Timothy Gowers
@timothyGowers
Ce que fait réellement une preuve mathématique, c'est montrer que certaines conclusions, telles que l'irrationalité, découlent de certains prémisses, telles que le principe de l'induction mathématique. La validité de ces locaux est une question entièrement indépendante qui peut être laissée en toute sécurité aux philosophes.