Introduction à la philosophie des mathématiques, et technie de l'algorithmie