Erdős, Paul
Enciclopedia on line
Matematico statunitense di origine ungherese (Budapest 1913 - Varsavia 1996). Professore presso l'Accademia ungherese delle scienze tecniche, ha insegnato in varie università europee e degli Stati Uniti. [...] intero, dimostrato in collab. con M. Kac, è alla base della moderna teoria probabilistica dei numeri; con il calcolo delle partizioni nella teoria degli insiemi, E. ha creato un nuovo campo di ricerca intermedio tra questa e la logica matematica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Cipólla, Michele
Enciclopedia on line
Matematico italiano (Palermo 1880 - ivi 1947). Prof. di analisi matematica nell'univ. di Catania (1911-23), quindi in quella di Palermo. Ha portato notevoli contributi alla teoria dei numeri, alla teoria [...] dei gruppi e dei corpi numerici. Insigne cultore di logica matematica: per evitare il postulato di Zermelo, ideò la teoria delle successioni di insiemi, che fu poi largamente usata dai cultori della teoria delle funzioni di variabile reale. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Zorn, Max
Enciclopedia on line
Matematico statunitense di origine tedesca (n. 1906 - m. Bloomington, Indiana, 1993). Prof. all'Indiana University (dal 1946), ha dato importanti contributi all'algebra, nella teoria degli insiemi e alla [...] topologia; a lui si deve un enunciato di logica matematica (lemma di Z.) equivalente all'assioma delle scelte. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Curry, Haskell Brooks
Enciclopedia on line
Matematico statunitense (Millis, Massachusetts, 1900 - Filadelfia 1982); prof. alla Pennsylvania State Univ. dal 1941. Si è occupato soprattutto di logica matematica. Tra le sue opere: Combinatory logic [...] (1958), Foundations of mathematical logic (1963). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
filosofia
Enciclopedia on line
Attività di pensiero che attinge ciò che è costante e uniforme al di là del variare dei fenomeni, con l’ambizione di definire le strutture permanenti della realtà e di indicare norme universali di comportamento.
Definizioni
La [...] e la pone accanto alle altre scienze da lui chiamate teoretiche, la matematica e la fisica, ma in posizione di privilegio rispetto a esse.
da esso i concetti maturati attraverso quelle esperienze. La logica e le f. della natura e dello spirito sono ...
Leggi Tutto
Leibniz, Gottfried Wilhelm von
Enciclopedia on line
Filosofo e scienziato (Lipsia 1646 - Hannover 1716). Dopo aver studiato filosofia a Lipsia, matematica a Jena e diritto a Altdorf, entrato in rapporto con i Rosacroce conobbe Johann Christian barone di [...] formule, pochi risultati tecnici, e invece molte geniali anticipazioni dei concetti e dei metodi della matematica moderna: dalla matematizzazione della logica (lettera a Huygens del 1679) al calcolo delle variazioni (L. si accorge - 1700 - che nel ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Putnam, Hilary
Enciclopedia on line
Filosofo statunitense (Chicago 1926 - Boston 2016). Filosofo dai molteplici interessi e dalla vasta produzione, P. è collocabile all'interno della corrente analitica così come questa si è venuta configurando [...] successivamente nella maggior parte dei settori oggetto di studio in filosofia analitica, dalla filosofia della matematica e della logica alla filosofia del linguaggio, della mente e della morale, nei quali ha fornito originali contributi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Vailati, Giovanni
Enciclopedia on line
Storico delle scienze, filosofo e matematico (Crema 1863 - Roma 1909). Figura di studioso originale, costantemente in contatto con la ricerca e la cultura europea (e statunitense) più avanzata, si occupò [...] di logica, filosofia della scienza, filosofia del linguaggio e storia della scienza (in partic. della matematica), con contributi ispirati a un acuto senso degli aspetti metodologici e linguistici dei problemi affrontati.
Vita
Laureato in matematica ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] ma piuttosto il diritto. I veri p. sono, dunque, caratterizzati dal fatto che essi si riferiscono a concetti logici o matematici: quello di Cantor e di Burali-Forti al concetto di numero cardinale e ordinale, quello di Russell alla nozione di insieme ...
Leggi Tutto
Informatica
Enciclopedia Italiana - VI Appendice (2000)
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] le capacità umane, incluso il pensiero (v. automa, V, p. 554). Un ampio ventaglio di ricerche nell'ambito della logica matematica (dall'algebra di G. Boole al concetto teorico di algoritmo di A. Turing, alle idee sull'architettura delle macchine ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI