Matematico e logico inglese (Lincoln 1815 - Cork 1864). Già nel 1844 ebbe riconoscimenti dalla Royal Society; prof. di matematica dal 1849 al Queen College di Cork. Autore di ricerche sulle equazioni differenziali [...] differenze finite, è tuttavia principalmente noto per i suoi studî di logicamatematica che lo pongono a fondatore dell'algebra della logica (The mathematical analysis of logic, 1847; An investigation of the laws of thought, 1854). Egli introdusse ...
Leggi Tutto
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 logicamatematica. ...
Leggi Tutto
Filosofo francese (Parigi 1868 - Ris-Orangis, Essonne, 1914). Insegnò nelle univ. di Tolosa e di Caen e nel Collège de France. Propugnatore di una lingua internazionale artificiale, tentò quella riforma [...] dell'esperanto che condusse alla creazione della lingua internazionale detta ido. Contribuì allo sviluppo della logicamatematica, o "logistica". Tra le opere: De l'infini mathématique (1896); Les nouvelles langues internationales (1900); La logique ...
Leggi Tutto
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 logicamatematica: 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
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 logicamatematica (lemma di Z.) equivalente all'assioma delle scelte. ...
Leggi Tutto
Matematico statunitense (Millis, Massachusetts, 1900 - Filadelfia 1982); prof. alla Pennsylvania State Univ. dal 1941. Si è occupato soprattutto di logicamatematica. Tra le sue opere: Combinatory logic [...] (1958), Foundations of mathematical logic (1963). ...
Leggi Tutto
Economista (Parigi 1848 - Céligny, Ginevra, 1923), figlio di Raffaele e di madre francese. Dal 1893 professore di economia politica presso l'univ. di Losanna. È noto per la definizione, divenuta fondamentale [...] in cui trovò la dimensione di rigore e di logica che non individuava nella realtà. Dal 1890 al 1905 del 1909 differisce dalla prima per l'affinamento dell'Appendice matematica); Les systèmes socialistes (1902) preparano il Trattato di sociologia ...
Leggi Tutto
Scienza greco-romana. Archimede
Reviel Netz
Archimede
Archimede è l’unico dei matematici greci di cui abbiamo notizie storiche; questa eccezionalità è dovuta in parte ai risultati da lui ottenuti, [...] del liceo, al contrario della precedente formula equivalente data da Dijksterhuis, ed è invece più vicina alla logicamatematica moderna: astratta, complicata e rigorosa. Ciononostante, non è opportuno concludere che Archimede mancasse del moderno ...
Leggi Tutto
DE VITI DE MARCO, Antonio
Antonio Cardini
Nacque a Lecce il 30 sett. 1858.
Il padre, Raffaele De Viti, era stato adottato da un De Marco, per cui aveva assunto il titolo di marchese e il cognome De [...] pol. economy, XLV [1937], p. 713), ma anche, al contrario, che "il nesso logico [nel D.] è rigorosissimo e dà un vero godimento spirituale specie a menti educate alla logicamatematica" (A. Cabiati, La "Finanza" di A. D., in Giorn. degli economisti e ...
Leggi Tutto
GEYMONAT, Ludovico
Girolamo De Liguori
Nacque a Torino l'11 maggio 1908, da Giovanni, valdese, e da Teresa Scarfiott, cattolica, entrambi di famiglia piemontese. Conseguì la laurea in filosofia, presso [...] , scritta in Italia, pensata in stretto dialogo con le scienze fisico-matematiche e logiche). Direttore nel 1960 del primo gruppo di logicamatematica del Consiglio nazionale delle ricerche, diresse contemporaneamente le collane di filosofia della ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...