Cerca in:
Peirce, Charles Sanders
Enciclopedia on line
Filosofo statunitense (Cambridge, Massachusetts, 1839 - Milford, Pennsylvania, 1914). Nella sua opera più nota, l'articolo How to make our ideas clear, pubblicato nel Popular Science Monthly del gennaio [...] di misura standard. Si occupò anche di matematica, in special modo dei problemi dei fondamenti, di algebra lineare, di teoria degli insiemi, di aritmetica transfinita e di topologia. I suoi scritti filosofici trattano di una grande varietà di temi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Novikov, Pëtr Sergeevič
Enciclopedia on line
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] che non sempre esiste un algoritmo che riduca una data successione di elementi di un gruppo all'elemento unitario. Insieme con il suo allievo S. I. Adjan risolse negativamente il problema di W. Burnside sui gruppi periodici. Membro effettivo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
MODELLI, Teoria dei
Enciclopedia Italiana - IV Appendice (1979)
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] medesima ricerca interdisciplinare principi e metodi di varie discipline: logica matematica, assiomatica, semantica, teoria degl'insiemi, algebra, assicurando con ciò un complesso molto potente di mezzi concettuali, procedure, orientamenti, fra cui ...
Leggi Tutto
MATEMATICA NON COMMUTATIVA
Enciclopedia Italiana - VI Appendice (2000)
MATEMATICA NON COMMUTATIVA
La seconda metà del 20° secolo ha visto lo sviluppo di una molteplicità di ricerche matematiche, alcune motivate da considerazioni puramente interne, altre ispirate da problemi [...] se anche la [14] è verificata). Quindi l'idea formale di una teoria non commutativa degli insiemi finiti conduce a scoprire un legame tra algebra e teoria delle probabilità. Questo legame è più profondo di quanto non possa sembrare a prima ...
Leggi Tutto
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] di tutta la matematica alla logica e alla teoria degl'insiemi: "la logistique n'est plus stérile: elle engendre ; e Introduction to model theory and to the metamathematics of algebra (1963), di A. Robinson.
La fecondità del retaggio hilbertiano ...
Leggi Tutto
Informatica teorica
Enciclopedia della Scienza e della Tecnica (2007)
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] in due insiemi, in modo da minimizzare la differenza di valore degli insiemi stessi, oppure di programmazione ‒ come ML ‒ sono stati aggiunti meccanismi di tipo algebrico per la specifica di tipi di dati e programmi.
Semantica di processi ...
Leggi Tutto
Neopositivismo
Enciclopedia del Novecento (1979)
Neopositivismo
FFrancesco Barone
di Francesco Barone
Neopositivismo
sommario: 1. Cenni storici. 2. Fonti e precedenti del neopositivismo. 3. Prima fase del neopositivismo: analisi logica del linguaggio [...] di nuove branche di essa, come la teoria degli insiemi. E significativo il fatto, per es., che proprio dalle ricerche dei matematici inglesi di metà Ottocento sui fondamenti dell'algebra sia nata quell'‛algebra della logica' di G. Boole che segna la ...
Leggi Tutto
La logica e i fondamenti della matematica tra Ottocento e Novecento
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 [...] -Forti (aritmetica e teoria delle grandezze), Bettazzi (limiti), Fano (teoria dei numeri algebrici), Francesco Giudice (serie), Vivanti (teoria degli insiemi), Giuliano Pagliero e Tommaso Boggio (calcolo vettoriale).
Beniamino Segre (Peano ed il ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Storia della Scienza (2003)
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 [...] definizione di integrale di Riemann, ai primi passi della teoria degli insiemi di punti di Georg Cantor (1845-1918).
In Prussia, loro lavori Babbage e Herschel sviluppano un'originale algebra degli operatori, un calcolo simbolico che applicano alla ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
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 [...] senza scelta.
Il principio di scelta non interviene solamente nei lavori classificati tecnicamente come lavori di teoria degli insiemi. Nel lavoro algebrico di Richard Dedekind (1831-1916) si trovano esempi notevoli del fenomeno per cui, lavorando su ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA