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 [...] . In primo luogo non si possono esprimere esattamente, per mezzo dellinguaggio, delle può essere falso, poiché ciò implicherebbe a = 0.
11. Relazioni d'ordine
Una specie S è ordinata dalla relazione ⟨ se per ogni coppia di elementi a, b di S vale ...
Leggi Tutto
Scienza greco-romana. La scienza greca e l'Oriente
André Pichot
La scienza greca e l'Oriente
La scienza e la filosofia sono state a lungo considerate il frutto del 'miracolo greco', un frutto incomparabile [...] , proponendo il primo una dialettica e l'altro una logica, nel tentativo di dare ordine proprio al pensiero discorsivo nato dall'emergere di un linguaggio grammaticale autonomo, a discapito dellinguaggio della poesia e del mito. Ma cosa ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] "Con questi mezzi il linguaggio dei profeti diventerà certo e della Natura.
Sulla scia delprimo tentativo fallito di ripetere l gravitatione, in particolare il paragone tra l'ordine delle parti del tempo e quelle dello spazio, l'assurdità ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La tradizione araba del Libro X degli Elementi
Marouane Ben Miled
La tradizione araba del Libro X degli Elementi
La storia delle letture [...] che, iniziata con la traduzione in arabo (e in linguaggio algebrico) di Qusṭā ibn Lūqā dell'Aritmetica di Diofanto, sfocerà cerchio le grandezze irrazionali delprim'ordine (radici quadrate), con due cerchi quelle del second'ordine (radici quarte) e ...
Leggi Tutto
Scienza greco-romana. La matematica nel V secolo
Reviel Netz
La matematica nel V secolo
Il titolo di questo capitolo è di per sé problematico. Decidere se al di là di alcuni lavori isolati si possa [...] scienziato). Invertendo l’ordine cronologico, discuteremo prima il ruolo dei saggi delle origini; ciò ci porterà a considerare il legame fra le origini greche e la matematica del Vicino Oriente antico.
I saggi delprimo periodo
Per comprendere la ...
Leggi Tutto
Numeri, teoria dei
Larry Joel Goldstein
La teoria dei numeri è il settore della matematica dedicato allo studio delle proprietà degli interi, cioè dell'insieme ℤ costituito dai numeri
…, −4, −3, −2, [...] primo non ramificato. Allora è possibile costruire un elemento [(F/ℚ)/p] del gruppo di Galois di F su ℚ con la seguente proprietà: se pOF=P1…Pg e f1=…=fg=f, allora [(F/ℚ)/p] ha ordine l'uso sempre maggiore dellinguaggio e degli strumenti della ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica
Pascal Crozet
Aritmetica
Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] 10 date da al-Karaǧī nel linguaggio da lui introdotto. Si ha prima di lui, li espone però secondo un ordine che partecipa dello stesso desiderio di razionalizzazione mostrato dalla pratica aritmetica, e che si trova particolarmente più nell'ambito del ...
Leggi Tutto
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] delle relazioni di incidenza nel linguaggio delle coordinate, due fatti che delle coordinate che non va oltre le forme del secondo ordine (e dunque, nel piano, oltre le , sebbene vi si parli solamente delprimo quoziente differenziale, e non siano ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] ciò che oggi sa uno studente delprimo anno d'università, e cioè il un'equazione in un'incognita, cioè in linguaggio moderno alla ricerca degli zeri di una osserva subito empiricamente che le differenze di ordine m+1 si annullano, come d'altra ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni [...] (o fondamentali) E di un operatore ellittico L, che nel linguaggio della teoria delle distribuzioni è
[16] L(E) = δ0
dove delprimo tipo furono ottenuti con i seguenti metodi: (1) uso delle soluzioni fondamentali per operatori ellittici di ordine ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
ordinare
v. tr. [dal lat. ordinare «mettere in ordine, dare assetto» e poi anche con i sign. del n. 3; der. di ordo -dĭnis «ordine»] (io órdino, ecc.). – 1. a. Mettere in ordine, collocare un insieme di oggetti, di elementi, ciascuno al posto...