Gödel, Kurt
Enciclopedia on line
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) [...] Princeton) e dell'Association for symbolic logic. Si è occupato prevalentemente di logica matematica, di teoria degli insiemi e of the axiom of choice and of the generalized continuum hypothesis (1940); Russell's mathematical logic (1944). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Beth, Evert Willem
Enciclopedia on line
Logico-matematico olandese (Almelo 1908 - Amsterdam 1964). Dal 1946 prof. all'univ. di Amsterdam. Dopo studi di storia della logica e della matematica (De wijsbegeerte der wiskunde van Parmenides tot Bolzano, [...] , 1944) passò a ricerche nel campo della logica matematica ottenendo importanti risultati nella teoria della definizione (teorema di definibilità), nell'analisi semantica della logica classica e di quella intuizionista (specie col suo metodo delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kaufmann, Felix
Enciclopedia on line
Filosofo (Vienna 1895 - New York 1949), prof. di filosofia del diritto all'univ. di Vienna (1922-38). Membro del Circolo di Vienna, non condivise i principî del positivismo logico. Dal 1938 prof. di filosofia [...] Kelsen (Logik und Rechtswissenschaft, 1922; Die Kriterien des Rechts, 1924); si occupò in seguito di logica matematica (Das Unendliche in der Mathematik und seine Ausschaltung, 1930); scrisse anche un'importante Methodenlehre der Sozialwissenschaften ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Thue, Axel
Enciclopedia on line
Matematico norvegese (n. 1863 - m. 1922), prof. all'univ. di Oslo. Le sue ricerche vanno dalla meccanica all'algebra e alla logica matematica. Tra le sue pubblicazioni: Über Annäherungswerthe algebraischer [...] Zahlen (1909); Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln (1914). Da quest'ultima hanno preso lo spunto altre opere (per es., di E. L. Post) nelle quali, per mezzo dei cosiddetti ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Poreckij, Platon Sergeevič
Enciclopedia on line
Matematico, astronomo, logico russo (Elizavetgrad 1846 - Žoved 1907), P. è ricordato soprattutto per i notevoli contributi alla logica moderna. Laureatosi a Tartu in matematica, studiandone i fondamenti [...] ravenstv i ob obratnom sposobe matematičeskoj logiki ("Sulle possibilità di risoluzioni di equazioni logiche e sulla conseguente possibilità di una logica matematica", 1884), nel quale, riprendendo le idee di Boole, P. avviò la trattazione del ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Zermelo, Ernst
Enciclopedia on line
Matematico (Berlino 1871 - Friburgo in Brisgovia 1953). Studiò a Gottinga e fu prof. di matematica nell'univ. di Zurigo (1910). Il suo nome è legato a importanti problemi del calcolo delle variazioni, [...] insieme può essere bene ordinato, ha suscitato la più viva discussione tra i matematici all'inizio del sec. 20º e ha condotto a un rilevante sviluppo dell'indagine critica dei fondamenti della logica matematica e della teoria generale degli insiemi. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Hamilton, Sir William
Enciclopedia on line
Filosofo (Glasgow 1788 - Edimburgo 1856). Fece i suoi studî a Glasgow e a Oxford. Insegnò (dal 1821) storia e (dal 1836) filosofia a Edimburgo. La sua filosofia fonde motivi della scuola scozzese con altri [...] le sue dottrine particolari, la "quantificazione del predicato" ha avuto influsso sul posteriore sviluppo della logica matematica e simbolica. Opere principali: Discussions on philosophy and literature (1852); Education and university reform (1852 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Ploucquet, Godefroy
Enciclopedia on line
Filosofo tedesco (Stoccarda 1716 - Tubinga 1790), di famiglia francese; prof. di logica e metafisica a Tubinga (dal 1750). Opere principali: Primaria monadologiae capita (1748), sulla monadologia di Leibniz, [...] et phaenomenis (1752), in cui si prosegue l'interpretazione critica della dottrina leibniziana; Methodus calculandi in logicis (1764), che svolge l'idea leibniziana di una logica matematica, e diede luogo a un'interessante polemica con J. H. Lambert. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Newell, Allen
Enciclopedia on line
Matematico e informatico statunitense (San Francisco 1927 - Pittsburgh 1992). Prof. di computer science alla Carnegie-Mellon University (1967), ha dato importanti contributi in intelligenza artificiale, [...] umano con processi informatici e dimostrando così, mediante l'elaborazione di diversi teoremi del calcolo, predicati del primo ordine della logica matematica. È autore, tra l'altro, di Human problem solving (in collab. con H. A. Simon, 1972). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Birkhoff, Garrett
Enciclopedia on line
Matematico statunitense (Princeton 1911 - Water Mill, New York, 1996), figlio di George David; è stato prof. alle univ. di Washington e Cincinnati. Ha dato un contributo essenziale allo sviluppo dell'algebra [...] astratta, sviluppandone i collegamenti con tutti i rami delle matematiche superiori (dalla topologia al calcolo delle probabilità fino alla logica matematica) e applicandola ad essi. Gran parte dei suoi risultati sono raccolti nel volume sui reticoli ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE