>>> rp-matep.htm EPISTEMOLOGIA DELLA MATEMATICA
>>> rp-qrif.htm INVITO A QUADRI DI RIFERIMENTO


ESEMPIO DI LEMMARIO SULLO
"STATUTO EPISTEMOLOGICO DELLA MATEMATICA"
DA rp-mep1b.pdf

(Gabriele Lucchini, 2013-09-12)

.1   Come esempio propongo una sistemazione dei dati di
      >>> rp-mepib.pdf,
      strutturando in sezioni i dati del quadro
      (omettendo date e gerarchizzazione);
      ovviamente, potrebbero essere aggiunte classificazioni
      del tipo di contributi (ricerca, storia, promozione culturale, ...).
TEMI
altro (rispetto a quelli elencati)
assiomatica
completezza e  indecidibilità
geoometrie non euclidee
teorie filosofiche
utilizzabilità

PERSONE (per la collocazione v. >>> rp-mepib.pdf)
Barrow
Beltrami
Croce
Einstein
Enriques
Euclide
Fourier
Galilei
Gödel
Heiberg
Hilbert
Jacobi
Manara
Pieri
Poincaré
Russell
Ulam
Villani
Wigner
.2   Segnalo la possibilità di ampliamenti con:
      -- lemmi di testi leggibili in pagine di MIFP in WGL
            -- Euclide: elementi, definizioni, postulati, nozioni comuni, proposizioni, ...
            -- Hilbert: fondamenti, citazione di Kant, introduzione, gruppi di assiomi
                             coerenza, assiomi, intuizione dello spazio, proposizioni,
                             completo, semplice, dedurre, ...
            -- ... (assiomatica [classica, moderna], non contraddittorietà, verità, ...
      --- autori citati e altri autori
            -- A. Conte, L. Pepe, Frajese-Maccioni, ...
            -- in particolare: autori di testi dei quali c'è l'indice in WGL
                             v. ... Casari Cellucci Formica Geymonat Lolli Longo Odifreddi
            -- in particolare: autori peri quali c'è rimando a internet
      --- altri lemmi
            -- in particolare: di indici in WGL (indicando le fonti)
            -- assioma della scelta, ...

.3   Segnalo:
      >>> rp-matf2.htm
      >>> rp-indc.htm.