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 [...] N ⊃ k.
Negli assiomi 3 e 7, il simbolo di uguaglianza è usato anche per esprimere la nozione di equivalenzalogica. Prescindendo dai quattro assiomi relativi all’uguaglianza che esprimono la proprietà riflessiva, simmetrica e transitiva, gli assiomi ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] da Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia fasci di neutroni, verificano il principio relativistico dell'equivalenza tra un sistema in moto accelerato e un campo ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] nel procedimento dimostrativo, cercando di conferirgli una logica stringente. Questa attenzione per le ipotesi di principio è implicito nella prop. 1 del trattato che asserisce l'equivalenza di un cerchio e di un triangolo rettangolo, in cui uno dei ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...]
Dimostrata la congettura di Mordell-Lang. Il logico israeliano Ehud Hrushovski dimostra la congettura di Mordell la cui energia è la maggiore sinora osservata, essendo equivalente all'istantanea conversione della massa di circa due stelle grandi ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Geometria delle coniche, luoghi, contatti e costruzioni
Philippe Abgrall
Hélène Bellosta
Geometria delle coniche, luoghi, contatti e costruzioni
L'opera [...] soltanto le ultime due, la cui continuità logica presenta una lacuna, riguardano la costruzione cercata di tipo II [10], più un punto E tale che BE2=AB∙AC.
Questa divisione è equivalente a quella di tipo I. Infatti, (fig. 19) se (A,C,E,B) è ...
Leggi Tutto
L'Ottocento: matematica. Dalla geometria proiettiva alla geometria euclidea
Jeremy Gray
Dalla geometria proiettiva alla geometria euclidea
La geometria proiettiva
La carriera del matematico francese [...] condizione è stata in seguito considerata da alcuni studiosi equivalente alla richiesta che la funzione F sia una era più considerata in grado di fornire una conoscenza logicamente incontrovertibile sullo spazio. La fiducia che i matematici vi ...
Leggi Tutto
L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] dominante di una forma f(x,y)=px2++bxy+cy2 a essa equivalente e quindi con lo stesso discriminante D=b2−4pc. D è 1978 (trad. ingl.: Mathematics of the 19th century. Mathematical logic, algebra, number theory, probability theory, edited by Andrei N ...
Leggi Tutto
L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] in serie di potenze di una funzione f(x) poteva considerarsi equivalente alla funzione se e soltanto se la serie era convergente, e Felix Klein (1849-1925) nel 1895. Il rigore logico era un elemento essenziale del pensiero matematico, affermava allora ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Algebra, geometria, indivisibili
Enrico Giusti
Primi progressi nell’algebra
Dopo un periodo di gestazione lungo tre secoli, l’algebra è la prima disciplina in cui nel Cinquecento si registrano sostanziali [...] prende l’area del triangolo ADH, stabilendo una sorta di equivalenza tra la nuova grandezza «tutte le linee» e l’area questa riduzione, l’inglese dimostra due proposizioni, l’una logica e l’altra geometrica:
Una dimostrazione ovvero un’operazione, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] a principî logici (per Frege, tale riduzione doveva includere l'aritmetica e l'analisi, ma non la geometria; per Russell doveva comprendere tutta la matematica pura). Entrambi condividevano l'idea di definire card(X) come la classe di equivalenza [X ...
Leggi Tutto
OR
‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di disgiunzione o somma logica di due o più...
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: un uomo, una donna di v., di...