(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] dei domini n-dimensionali. D'altra parte era nota, fin dal 1962, una congettura di W.H. Fleming sulla dimostrabilità in ogni dimensione di un famoso enunciato bidimensionale di S. Bernstein del 1910: oltre alle funzioni a gradiente costante, non ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] vecchi) con particolari caratteristiche o le proprietà dei modelli ricorsivamente saturi o risplendenti o, ancora, la non dimostrabilità in AP di enunciati che, diversamente da quelli utilizzati da Kurt Gödel nel suo teorema d'indecidibilità, non ...
Leggi Tutto
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] dalla geodesia, si arriverà solamente con Gauss a partire dal 1828.
Il problema delle parallele
Il problema della dimostrabilità, a partire dagli altri assiomi, del quinto postulato di Euclide (in sostanza l'affermazione dell'unicità della retta ...
Leggi Tutto
verita
verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non credere alla v. delle parole di qualcuno;...