Denne antologien har sin opprinnelse i to internasjonale konferanser som ble holdt ved Uppsala Universitet i august 2004: 'Logicism, Intuitionism og Formalism: Hva har skjedd med dem?' etterfulgt av 'Symposium om Konstruktiv Matematikk'. Den første konferansen omhandlet de tre hovedprogrammene innen grunnlaget for matematikk i den klassiske perioden, fra Frege's Begriffs-schrift i 1879 til publiseringen av Gödels to ufullstendighetsteoremer i 1931. Her ble de tre programmene - Frege, Russell og Whiteheads logisisme, Brouwers intuitionisme, samt Hilberts formalisme og bevis-teoretiske program - gjenstand for diskusjon. Hovedformålet med konferansen var å vurdere relevansen av disse grunnleggende programmene i dagens filosofiske debatt om matematikk. Den andre konferansen, som var annonsert som et satellittarrangement til den første, fokuserte spesifikt på konstruktiv matematikk – et aktivt område innen matematikken der matematiske utsagn, spesielt eksistensutsagn, blir tolket i lys av hva som faktisk kan bevises.
