Mal´cev, Anatolij Ivanovič
Enciclopedia on line
Algebrista e logico russo (Mišeronskij, Mosca, 1909 - Novosibirsk 1967). È stato tra i primi ad applicare la logica all'algebra. Nel 1936 enunciò il principio di finitezza (oggi noto, in formulazione un [...] po' diversa, come teorema di compattezza): "Se per ogni sottinsieme finito F di un insieme T costituito da enunciati del calcolo predicativo del prim'ordine esiste una struttura che soddisfa gli enunciati ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ROBINSON, Abraham
Enciclopedia Italiana - IV Appendice (1981)
ROBINSON, Abraham
Matematico e logico, nato a Waldenburg (Baden-Württemberg) il 6 ottobre 1918, morto l'11 aprile 1974. Studiò a Gerusalemme, a Parigi e a Londra. È stato professore di matematica applicata [...] . In matematica applicata si è interessato di meccanica dei fluidi. I suoi contributi più importanti riguardano i rapporti tra logica e matematica. Egli infatti intorno al 1950 ha creato la teoria dei modelli e nel 1960 la Nonstandard analysis ...
Leggi Tutto
Russell, Bertrand Arthur William, conte
Enciclopedia on line
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo [...] , 1914, trad. it. 1966; The analysis of mind, 1921, trad. it. 1955; The analysis of matter, 1927, trad. it. 1964; Logic and knowledge: essays 1901-1950, 1956, trad. it. 1961). L'ulteriore filosofia di R. più che elaborare precise teorie fu dedicata ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] affondano nell'analisi. Gli esempi dai quali prende le mosse, e che ne costituiscono la preistoria, sono la ben nota formula di Euler V−S+F=2 per poliedri convessi, l'invariante integrale per i links di ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento
Jeremy Gray
Problemi di analisi complessa alla fine dell'Ottocento
La teoria generale [...] delle funzioni complesse
Nel corso del XIX sec., a lungo si è scritto un integrale ellittico nella forma
dove il parametro k è detto modulo. I periodi della corrispondente funzione ellittica, e quindi ...
Leggi Tutto
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] teoria matematica originaria trovi il corrispettivo in una proposizione deducibile nella teoria formale. Nella scelta del calcolo logico da includere nella teoria si farà in modo che questo sia non solo sufficientemente potente per esprimere tutte ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
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
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 [...] moderni. Al nome di P. restano legati soprattutto la costruzione di un utile e rigoroso formalismo logico; la rigorosa critica logico-formale dei fondamenti dell'aritmetica, della geometria proiettiva, della teoria generale degli insiemi; il primo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Il Rinascimento. Il metodo e l'ordine del sapere
Storia della Scienza (2001)
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] del diritto, una sorta di filo di Teseo per orientarsi nel labirinto delle leggi e delle costituzioni e ancor più lo sarà la logica popolare, adattata all'uso della vita umana, di cui Ramo ci ha fatto dono (un dono divino), in una lingua chiarissima ...
Leggi Tutto
Richard, Jules
Enciclopedia on line
Matematico francese (n. 1862 - m. 1956), prof. al liceo di Digione, autore di varie ricerche di matematica, fisica matematica e logica matematica; tra le sue opere principali: Sur la philosophie des mathématiques [...] (1903). È specialmente noto per aver enunciato (1905) un paradosso in cui compaiono particolari numeri naturali, detti numeri di R ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE