Heinrich Behmann - Heinrich Behmann
Heinrich Behmann (10 gennaio 1891 a Brema -Aumund - 3 Febbraio 1970 a Brema-Aumund) è stato un tedesco matematico . Ha svolto ricerche nel campo della teoria degli insiemi e della logica dei predicati .
Behmann ha studiato matematica a Tubinga , Lipsia e Gottinga . Durante la prima guerra mondiale , fu ferito e ricevette la Croce di Ferro di 2a classe . David Hilbert ha supervisionato la preparazione della sua tesi di dottorato, Die Antinomie der transfiniten Zahl und ihre Auflösung durch die Theorie von Russell und Whitehead . Nel 1922 Behmann dimostrò che il calcolo del predicato monadico è decidibile. Nel 1938 ottenne la cattedra di matematica ad Halle (Saale) . Nel 1945 fu licenziato per essere stato membro del NSDAP .
link esterno
- Biografia (in tedesco)
- Heinrich Behmann al Progetto Genealogia Matematica
- Mancosu, Paolo (settembre 1999). "Tra Russell e Hilbert: Heinrich Behmann sui fondamenti della matematica" . Il Bollettino della Logica Simbolica . 5 (3): 303-330. doi : 10.2307/421183 . JSTOR 421183 . Estratto 2007-08-07 .