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
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
Kőnig, Gyula
Enciclopedia on line
Matematico ungherese (Győr 1849 - Budapest 1913). Docente universitario; membro dell'Accademia ungherese delle scienze; si è occupato in modo particolare di questioni inerenti alla teoria degli insiemi [...] e alla logica matematica. Suoi lavori: Analízis ("Analisi", 1887), Az algebrai mennyiségek általános elméletének alapvonalai ("Lineamenti fondamentali della teoria generale delle quantità algebriche", 1903). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Gentzen, Gerhard Karl Erich
Enciclopedia on line
Matematico (Greifswald 1909 - Praga 1945), prof. (dal 1944) all'univ. di Praga. Si occupò soprattutto di teoria dei numeri e di logica matematica. Tra le opere: Die gegenwärtige Lage in der mathematischen [...] Grundlagenforschung (1938) ...
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
Havel, Václav
Enciclopedia Italiana - VI Appendice (2000)
Havel, Václav
Giuseppe Dierna
Drammaturgo e uomo politico ceco, nato a Praga il 5 ottobre 1936. Esponente del movimento Charta 77, nel novembre 1989 contribuì alla nascita del Forum Civico. In seguito [...] . it. Festa agreste, 1968) compare per la prima volta quel mondo retto da leggi assurde, ma regolato da una logica matematica, che farà parlare di variante ceca del teatro dell'assurdo, formula convalidata dalla successiva Vyrozumění (1965; trad. it ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE