David Hilbert wrote:
Les mathématiques sont vérifiées car elles sont intuitives.
Pendant longtemps les concepteurs de ponts, avions et machines
à vapeur se sont contentés de leur intuition. Heureusement on
a fini par inventer la science des matériaux, la mécanique des
fluides et la thermodynamique.
Les mathématiques n'ont pas besoin de branleurs comme les logiciens
pour développer leur discipline.
Tout comme les médecins ont réussi à développer leur
discipline sans l'aide des biologistes et des chimistes:
jusqu'Ã un certain point.
Aurait-on inventé de nouvelles géométries sans une réflexion
sur les fondements logiques de la géométrie euclidienne ?
AC
