Heinrich Behmann - Heinrich Behmann

Heinrich Behmann, 1930 a Jena

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 .