Pascal's major contribution to the philosophy of mathematics came with his De l'Esprit geometrique ("Of the Geometrical Spirit"), originally written as a preface to a geometry textbook for one of the famous "Petites-Ecoles de Port-Royal" ("Little Schools of Port-Royal"). The work was unpublished until over a century after his death. Here, Pascal looked into the issue of discovering truths, arguing that the

The Lettres provinciales (Provincial letters) are a series of eighteen letters written by French philosopher and theologian Blaise Pascal under the pseudonym Louis de Montalte. Written in the midst of the formulary controversy between the Jansenists and the Jesuits, they are a defense of the Jansenist Antoine Arnauld from Port-Royal-des-Champs, a friend of Pascal who in 1656 was condemned by the Faculté de Théologie