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
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] creativo. 11. Relazioni d'ordine. 12. L'interpretazione delle costanti logiche. 13. L'induzione completa. 14. Nozioni che dal punto di vista classico sono equivalenti. 15. Misura e integrazione. 16. Matematica senza negazione. 17. Conclusioni ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] modi si può ottenere (di solito a meno di una 'equivalenza' che deve essere specificata con precisione). Se il numero dei incompleteness in Peano arithmetic, in: Handbook of mathematical logic, edited by Jon Barwise, Amsterdam, North-Holland, 1977 ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] che compare in Z(M) è calcolato su tutti i campi di gauge a meno di equivalenza di gauge. L'espressione formale dell'integrale e la sua logica interna hanno fatto ritenere che nel modello proposto esista un'ampia classe di invarianti topologici di ...
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
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] desiderosi di sapere come si possano superare le difficoltà logiche create dalla presenza di tali termini non definiti [...]. misure definite attraverso le densità numeriche, le misure equivalenti, le misure esterne legate alla dualità degli spazi ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] però un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. Post, e trasformarlo in un uno confluente senza alterare la relazione di equivalenza. Dovuto a Donald E. Knuth e Peter B. Bendix ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] ) nei primi anni Ottanta del secolo. Nel caso di una curva algebrica vi è una corrispondenza biunivoca (a meno di un'equivalenza birazionale) tra la curva e il campo delle funzioni razionali su di essa definite, e ciò significa che ci si può limitare ...
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...