Soddisfacibilità costruttiva Francesco Ciraulo — 2008 La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana