misure di fuzziness
Settimio Termini
Sia ℒ(X) l’insieme di tutti gli insiemi fuzzy f:X→I dove X è un insieme arbitrario e I l’intervallo [0,1] della retta reale. Introduciamo adesso nell’intervallo [...] reali non negativi, che soddisfa alcune condizioni che dipendono dal sistema considerato. Gli assiomi base che ogni misura di fuzziness fuori dalle misure ottenibili all’interno dello schema assiomatico delineato prima, perché in tutti i casi in ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] ai punti di contatto fra Aristotele ed Euclide a proposito del metodo 'assiomatico' o a Naṣīr al-Dīn al-Ṭūsī, il quale si rifà tra filosofia e matematica sono essenziali per poter ricostruire il sistema di al-Kindī (IX sec.). È proprio a questa ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] per opera di Robert W. Floyd, Peter Naur e, in particolare, Hoare. Nel sistema formale proposto da Hoare (chiamato logica di Hoare o, a volte, semantica assiomatica) viene data particolare enfasi all'analisi della correttezza di un programma rispetto ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] , a cui egli aveva fatto cenno per la prima volta ne I principii e che s’imporrà nel Novecento in ogni sistemazioneassiomatica, non si coniuga però con un analogo l’interesse verso la problematica metateorica che terrà banco all’inizio del nuovo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] si presenta nella forma tipica di quella fase del metodo assiomatico; è svolta in un linguaggio intuitivo in cui si dice se ce ne fosse uno, l'insieme di quelli minori formerebbe un sistema in cui non ce n'è nessuno; argomento suggerito da Zermelo e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] (ibidem).
I GG si aprono con una 'spiegazione' che chiarisce la concezione hilbertiana del metodo assiomatico. "Consideriamo tre diversi sistemi di oggetti", che chiameremo 'punti', 'rette' e 'piani', afferma Hilbert. Essi stanno in "certe relazioni ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] di Galois, Dedekind spiegava in modo molto chiaro, quasi assiomatico (nel senso moderno del termine), la natura di questo concetto di sezione Dedekind intende chiarire l'idea di continuità del sistema dei numeri reali, con quello di catena l'idea di ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Christiaan Huygens
Gianfranco Mormino
Christiaan Huygens
Gli anni di formazione e le prime ricerche
Christiaan Huygens, appartenente a un'importante famiglia [...] e delineano anzi una completa trattazione della meccanica in forma assiomatico-deduttiva.
Sempre in Olanda egli inizia a trattare in manovella, che fornisca un modello di facile comprensione del sistema copernicano, al quale egli aderisce da sempre e ...
Leggi Tutto
PADOA, Alessandro
Clara Silvia Roero
PADOA, Alessandro. – Nacque a Venezia il 14 ottobre 1868 da Pellegrino, commerciante, e da Pasqua Levi.
Dopo aver compiuto gli studi superiori nella sezione fisico-matematica [...] ). È noto per aver codificato la struttura formale delle teorie assiomatico-deduttive e aver ideato un metodo (che oggi porta il e alla geometria. In aritmetica dimostrò l’indipendenza del sistema di assiomi di Peano per i numeri naturali e riuscì ...
Leggi Tutto
assiomatico
assiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Di assioma, che ha carattere di assioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, trattazione a. (di una data questione),...
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...