L'usage des ordinateurs et la conviction que penser consiste à appliquer mécaniquement les règles d'une logique ensembliste-identitaire contribuent à faire négliger l'intuition. Les formes les plus élaborées d'intuitionnisme constituent cependant une réserve féconde d'idées en théorie des fondements des mathématiques.