La Rivoluzione scientifica: i domini della conoscenza. Le innovazioni di Luca Valerio e di Bonaventura Cavalieri
Pier Daniele Napolitani
Le innovazioni di Luca Valerio e di Bonaventura Cavalieri
L'eredità [...] C+P, sono soddisfatte le condizioni della proposizione II.32. Di conseguenza il baricentro dell'iperboloide A si situa nello stesso punto del
Si farebbe un torto alla sensibilità matematica e logica di Cavalieri pensando che non si fosse reso conto ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. L'algebra e il suo ruolo unificante
Roshdi Rashed
L'algebra e il suo ruolo unificante
La seconda metà del VII sec. vede il costituirsi [...] lavoro che i loro successori li paragonano, per la logica, ad Aristotele. Ma ciò che qui ci interessa è (3x0+a−y) sono positivi. Dalle due uguaglianze [54] e [55] deduce poi che
di conseguenza, se b−x20=2x0(x0+a), si ha che f(x0)>f(x0+y) e f ...
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 [...] di Gauss trasforma un piano in un punto e che, di conseguenza, un piano ha curvatura gaussiana uguale a zero. Anche un cilindro più considerata in grado di fornire una conoscenza logicamente incontrovertibile sullo spazio. La fiducia che i matematici ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La probabilita
Eugenio Regazzini
La probabilità
Evoluzione della nozione di probabilità
La grande difficoltà in cui si dibattevano i cultori [...] congiuntamente, falso se E si verifica e B non si verifica, privo di valore logico se E non si verifica: è un modo diverso per dire che IB∣E è lavoro già citato, fu analizzata nelle sue conseguenze generali da Kolmogorov in un lavoro del 1931 ...
Leggi Tutto
L'Eta dei Lumi: matematica. Aspetti istituzionali della matematica
Gert Schubring
Aspetti istituzionali della matematica
Panorama degli sviluppi istituzionali nei secc. XVI e XVII
All'inizio dell'Età [...] la matematica fu esclusa dall'istruzione primaria e la logica e la retorica divennero le materie principali. Dopo Le due facoltà nuove avevano tre diverse funzioni e, di conseguenza, tre diverse classi di studenti: gli studenti ordinari di matematica ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] secolo si era posto per primo Gauss e che un grande logico come Gottlob Frege (1848-1925) ancora agita contro le nuove oppure è equivalente all'insieme di tutti i numeri reali, e di conseguenza al continuo" (Hilbert 1900, p. 70). La chiave della ...
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 [...] T hanno lo stesso profilo e basi M e Q, per cui R:T=M:Q. Di conseguenza P:S=R:T, ossia P:R=S:T.
A parole, il rapporto tra due solidi riduzione, l’inglese dimostra due proposizioni, l’una logica e l’altra geometrica:
Una dimostrazione ovvero un’ ...
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 [...] dopo che si sia costruito un oggetto che la soddisfi. Di conseguenza, l'intersezione di due specie è definibile soltanto se contiene almeno un elemento. In logica non esiste calcolo proposizionale, poiché soltanto le proposizioni vere hanno senso ...
Leggi Tutto
La scienza presso le civilta precolombiane. La natura della conoscenza e delle pratiche scientifiche nella civilta inca
Gary Urton
Jean-François Genotte
La natura della conoscenza e delle pratiche [...] dei processi del mondo naturale, allo scopo di adattare di conseguenza la società umana a queste qualità e a questi vincoli sono indicate come la prole di mama, ordinata per età. La logica e le relazioni di questo 'modello dei cinque' possono essere ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] , sarebbe stato possibile, in linea di principio, ripercorrendo il percorso logico delle connessioni tra gli assiomi e la proposizione in questione, determinare se essa fosse una conseguenza vera o falsa di qualunque particolare insieme di assiomi di ...
Leggi Tutto
conseguenza
conseguènza (ant. consequènza) s. f. [dal lat. consequentia, der. di consĕqui «seguire»]. – 1. a. Conclusione che si deduce logicamente da una premessa: le tue affermazioni sono giuste, ma la c. è errata; io vi ho esposto i fatti,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...