Cerca in:
Euclide
Enciclopedia on line
Matematico greco, autore di numerosi trattati, operò attorno al 300 a. C. nella colonia di Alessandria, allora di recente fondazione. E. è particolarmente noto per un'opera, gli Elementi (v.), contenente [...] , del metodo stesso con cui veniva insegnata. Ma, al di là del ruolo paradigmatico degli Elementi come fondamento della matematica, l'influenza esercitata sul pensiero occidentale dall'idea del metodo assiomatico e del suo status di verità suprema ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
dimostrazione
Enciclopedia on line
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] da premesse, modellato sul tipo della d. matematica (R. Descartes, G. Leibniz). Nuovo impulso ha ricevuto lo studio della d. con lo sviluppo dell’assiomatica (➔ assioma) e delle ricerche sui fondamenti della matematica fino al costituirsi di un ...
Leggi Tutto
Finito
Enciclopedia Italiana - VI Appendice (2000)
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] a discussioni sui fondamenti della matematica nell'Ottocento, le quali ripropongono problemi in parte tralasciati dalla matematica dell'infinito e del continuo, come quelli della decidibilità e della costruibilità degli enti matematici in un numero ...
Leggi Tutto
CATEGORIA:
ALGEBRA
SKOLEM, Thoralf
Enciclopedia Italiana - V Appendice (1994)
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 [...] naturali in modo da caratterizzarli completamente.
Notevoli e sostanziali sono stati i risultati ottenuti da S. nei fondamenti della matematica e nella logica. Estendendo un risultato di L. Löwenheim (1915), ha dimostrato che se un insieme finito ...
Leggi Tutto
Enrìques, Federigo
Enciclopedia on line
Matematico, filosofo e storico della scienza italiano (Livorno 1871 - Roma 1946). È da considerarsi, insieme a G. Castelnuovo e a F. Severi, tra i fondatori della scuola italiana di geometria algebrica. [...] direttore della sezione di matematica dell'Enciclopedia Italiana; collaboratore dell'Encyclopedia Il suo interesse per la critica dei fondamenti incominciò con la sistemazione rigorosa della geometria proiettiva (Lezioni di geometria proiettiva, 1894 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Peano, Giuseppe
Enciclopedia on line
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani [...] rigorosa critica logico-formale dei fondamenti dell'aritmetica, della geometria proiettiva, della teoria generale degli insiemi; ). Tra le sue opere: Calcolo geometrico (1888), Principi di logica matematica (1891), Formulario mathematico (1894-1908). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
DE GIORGI, Ennio
Dizionario Biografico degli Italiani (2014)
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] secondo luogo, che la matematica non è in grado di fondare sé stessa: la convinzione che i postulati fondamentali della matematica non sono contraddittori deve essere attinta dal matematico al di fuori della scienza formalizzata, da qualche altra ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Metodo
Enciclopedia del Novecento (1979)
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] lontano" (K. Popper). Una particolare sfida ha rappresentato anche la crisi dei fondamenti della matematica, l'insorgere di antinomie connesse soprattutto con la nascita della teoria degli insiemi. Come risposta a questa sfida è nata la cosiddetta ...
Leggi Tutto
L'Ottocento: matematica. Analisi complessa
Storia della Scienza (2003)
L'Ottocento: matematica. Analisi complessa
Jeremy Gray
Analisi complessa
Lo sviluppo dell'analisi complessa è una delle caratteristiche salienti della matematica del XIX secolo. Lo studio di funzioni [...] soddisfazione, l'argomento. Questa è una chiara prova del fatto che il dibattito sui fondamenti della matematica e i problemi di ricerca nella teoria delle funzioni fossero argomenti ben distinti.
L'altro caso da considerare è quello di Gauss ...
Leggi Tutto
Giochi, teoria dei
Enciclopedia delle scienze sociali (1994)
Giochi, teoria dei
Dario Fürst
1. Introduzione e cenni storici
La teoria dei giochi venne presentata per la prima volta, con questo nome e in modo sufficientemente organico, nel celebre trattato del [...] che prevedono infinite mosse. La loro importanza è soprattutto teorica e matematica, e il loro studio ha portato a interessanti sviluppi concernenti i fondamenti della matematica: in sostanza ha portato a individuare una contraddizione tra il teorema ...
Leggi Tutto
CATEGORIA:
MATEMATICA APPLICATA