SKOLEM, Thoralf
Carlo Cattani
Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre [...] principi è considerato uno dei fondatori della teoria dei modelli e uno dei più profondi artefici della teoria assiomatica degli insiemi per aver dimostrato, tra l'altro, che nessun insieme finito di assiomi può definire i numerinaturali in modo da ...
Leggi Tutto
Scienza greco-romana. Nascita delle scienze e relazioni tra discipline
Giuseppe Cambiano
Nascita delle scienze e relazioni tra discipline
Sapere globale e distinzioni tra discipline
Nella Grecia antica, [...] il primato della geometria sull'aritmetica deinumerinaturali, dato dalla scoperta dell'incommensurabilità. Questo di Archita. Ai suoi occhi la gerarchia sussiste piuttosto fra l'insieme delle cinque discipline e la dialettica, che è il loro " ...
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 [...] di rappresentazione (funzione) concepiti come concetti logici. Nella famosa definizione 71, Dedekind arriva a caratterizzare il sistema deinumerinaturali come un insieme N su cui è data una funzione iniettiva f da N a N. (l’operazione di passaggio ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Umberto Bottazzini
Immagini della matematica nell'Ottocento
Il panorama della matematica negli ultimi decenni del XIX sec. è per molti [...] di integrale di Riemann, ai primi passi della teoria degli insiemi di punti di Georg Cantor (1845-1918).
In Prussia, figure il rigore assoluto che può assicurare l'aritmetica deinumerinaturali. È una concezione condivisa da Kummer, Kronecker e ...
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 [...] fermamente convinto dell'opposto, per esempio nel caso dell'insiemedeinumeri reali, probabilmente per una sorta di ripugnanza a deformare in modo così totale l'ordine naturaledei reali.
L'assioma di scelta
Il problema del buon ordinamento ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] origine a una serie potenzialmente infinita di numeri, ossia alla serie deinumerinaturali (Physica, 207b 1-8). È e così via, e quand'anche si fossero potute considerare tutte insieme le parti costitutive di un continuo (omnes simul sumptae), sarebbe ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] costruita mediante tali procedure a partire dai numerinaturali: "Il buon Dio ci ha dato i numeri; tutto il resto è opera dell' stata "anche la dimostrazione dell'esistenza matematica dell'insiemedeinumeri reali, ovvero del continuo". Come il primo, ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. Aritmetica e geometria
Menso Folkerts
Aritmetica e geometria
Le discipline matematiche del quadrivio
Tra il 500 e il 1100 ca., [...] deinumeri: la derivazione deinumeri (naturali) a partire dall'unità, la loro suddivisione in pari e dispari, i numeri primi, i numeri composti e i numeri primi relativi, e i numeri raccolte di esercizi dei monasteri. Insieme con altri problemi ...
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 [...] sono concepite. In questo caso egli non considera un insieme arbitrario per introdurvi una relazione d'ordine definita in modo continuità del sistema deinumeri reali, con quello di catena l'idea di successione deinumerinaturali. Nella stessa ottica ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] costruttivamente posto in corrispondenza biunivoca con una parte iniziale deinumerinaturali). Abbiamo così trovato un controesempio debole all'asserzione 'un sottoinsieme di un insieme finito è finito'.
Scegliendo in modo opportuno i problemi ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
numerabile
numeràbile agg. e s. m. [dal lat. numerabĭlis]. – Che può essere numerato, cioè distinto con numeri, oppure calcolato esattamente: ci darà la quantità esatta delle ore e minuti ..., se la frequenza fusse da noi n. (Galilei). In...