.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.