La connaissance formelle, autrement dit les mathématiques et la logique - auxquelles il convient d'ajouter, de nos jours, cette cousine proche qu'est l'informatique théorique -, est souvent ressentie comme la part la plus austère de la connaissance. Elle suscite pour ce motif des sentiments ambivalents. C'est à un tel sujet que sont consacrés l'"Introduction à la philosophie des mathématiques" de Marco Panza et Andrea Sereni, et "Le Nécessaire et l'universel" de Brice Halimi.

Il n'est pas nécessaire de bien connaître les mathématiques pour se demander comment elles fonctionnent. Par exemple : que fait le mathématicien, des inventions ou des découvertes ?