Visiblement, l’auteur n’a jamais étudié la philosophie des mathématiques, les fondements des mathématiques, et encore moins l’approche neurologique des mathématiques.
Le mot « démonstration » n’apparaît même pas dans cet article.
Tant qu’à dire que les mathématiques n’ont rien à voir avec les algorithmes... zomg... Hilbert, Church et Turing doivent se retourner dans leur tombe. Jamais entendu parler de la
correspondance de Curry Howard ?