l-curry
(Gabriele Lucchini, 2010-07-21)

Haskell B. Curry
Osservazioni sulla definizione
e sulla natura della matematica

pp. 153-159 di

Carlo Cellucci (a cura di)
La filosofia della matematica
Bari, Laterza, 1967, 324 pp.
[v. l-celluc.txt]

153     [presentazione]
154  1. Il problema della verita` matematica         [realismo, idealismo]
155  2. La definizione formalista della matematica   [formalismo]
157  3. Verita` e accettabilita`
159  4. Matematica e logica