definibilita
definibilità termine che designa uno dei principali oggetti di studio della logica matematica, insieme con la dimostrabilità e la calcolabilità; consiste in una riflessione sul concetto [...] geometria (Grundlagen der Geometrie, 1899), in cui Hilbert si proponeva di dare una sistemazione assiomatica alla geometriaeuclidea è 1, se lʼn-esima cifra decimale dellʼn-esimo numero di Richard non è 1, e la cui n-esima cifra decimale è 2, se lʼn ...
Leggi Tutto
GIUSEPPE MARIA da Cento (Figatelli, Giuseppe Maria)
Cesare Preti
Nacque a Casumaro, nei dintorni di Cento nel Ferrarese, l'11 marzo 1611 da Giuseppe Figatelli e da Bartolomea Laurenti e fu battezzato [...] Trevigiani nell'ufficio di fabbriciere, occupandosi non solo del restauro di conventi della provincia Biblioteca Estense di Modena), è un breve compendio di geometriaeuclidea, che presenta come sapere complementare a quello aritmetico. Infine ...
Leggi Tutto
Hilbert, assiomi di
Hilbert, assiomi di assiomi della geometria introdotti da D. Hilbert nel 1899 nel testo Grundlagen der Geometrie (Fondamenti della geometria) per superare alcune contraddizioni e [...] ai postulati e alle nozioni comuni degli Elementi di Euclide, permettono di fondare in modo rigoroso e formale la geometriaeuclidea. In essi non c’è alcun tentativo, a differenza di quanto accade negli Elementi, di descrivere direttamente e in base ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] ) del 1899, dove Hilbert aveva presentato un’assiomatizzazione della geometriaeuclidea rimuovendo il significato intuitivo che attribuiamo alle comuni nozioni geometriche di punto, retta, piano: non sono altro che enti che, legati da certe relazioni ...
Leggi Tutto
CARAVELLI, Vito
Ugo Baldini
Nacque a Montepeloso, oggi Irsina (Matera), nel 1724. Ancora giovane, divenne sacerdote e si dedicò allo studio e poi all'insegnamento della matematica; l'interesse di ricerca [...] euclidea l'opera tenta di fornire una trattazione più breve, ed insieme più sistematica e intrinsecamente certa, della geometria la sua opera, continuando a scrivere libri che, se non presentano novità concettuali di rilievo, con la loro sobrietà e ...
Leggi Tutto
verita
verità nella logica proposizionale, proprietà di una formula ben formata esprimibile attraverso due possibili valori: l’uno corrispondente all’attribuzione di tale proprietà, l’altro alla sua [...] del pensiero matematico tra la fine del xix e il xx secolo, influenzato anche dalla nascita delle geometrienoneuclidee, che pone l’attenzione sulla costruzione formale coerente della matematica piuttosto che sul suo riferimento interpretativo alla ...
Leggi Tutto
spazio euclideo
spazio euclideo spazio ambiente della geometria elementare, definito dagli assiomi della → geometriaeuclidea. In tal senso, costituisce il primo e forse più significativo esempio di [...] loro intrinseca e inopinabile evidenza e per oltre venti secoli lo spazio euclideo è risultato l’unico modello matematico di spazio, fino a che, con la scoperta delle → geometrienoneuclidee, non se ne è assunta la relatività di modello adatto a una ...
Leggi Tutto
sistema ipotetico deduttivo
sistema ipotetico deduttivo locuzione con cui si indica una determinata modalità di strutturare una teoria scientifica. In un sistema ipotetico deduttivo sono assunti come [...] vennero alla luce a più riprese nel corso della storia del pensiero matematico, per esempio con la nascita delle geometrienoneuclidee e con la crisi dei → fondamenti della matematica. Tali eventi hanno dato luogo a un’evoluzione del concetto di ...
Leggi Tutto
teorema
teorema in matematica e in logica, enunciato per il quale esiste una dimostrazione a partire da un insieme di → assiomi; esso può cioè essere dedotto da tali assiomi attraverso regole di deduzione [...] » e può essere dimostrato nell’ambito della geometriaeuclidea;
• il teorema fondamentale dell’aritmetica riguarda i ha dato una dimostrazione (per esempio, il teorema di Desargues).
Non tutti i teoremi sono di tipo costruttivo. Alcuni si limitano ad ...
Leggi Tutto
invariante
invariante in geometria, una proprietà di una figura di uno spazio ambiente S si dice invariante rispetto a un gruppo G di trasformazioni su S se la figura trasformata da ciascun elemento [...] gruppo fondamentale che definisce la geometria. Per esempio, nella geometriaeuclidea metrica, due triangoli sono inclusi e tale proprietà invariante è caratteristica di tale gruppo se non risulta invariante per tutti i gruppi in cui esso è contenuto. ...
Leggi Tutto
geometria
geometrìa s. f. [dal lat. geometrĭa, gr. γεωμετρία, comp. di γῆ «terra» (v. geo-) e -μετρία «misurazione» (v. -metria)]. – 1. In senso ampio e generico, lo studio dello spazio e delle figure spaziali, originariamente sviluppatosi...
euclideo
euclidèo (ant. euclìdico) agg. – Relativo al matematico greco Euclide, vissuto intorno al 300 a. C.; in partic., di ente geometrico, o meglio di un sistema ipotetico-deduttivo, soddisfacente i postulati di Euclide: geometria e., v....