Ingebrigt Johansson

Ingebrigt Johansson

Ingebrigt Johansson (Narvik, 24 de outubro de 1904 – Oslo, 24 de abril de 1987) foi um matemático norueguês. Desenvolveu o sistema lógico simbólico conhecido como lógica minimal.[1]

Vida e carreira

Johansson estudou matemática de 1923 a 1928 na Universidade de Oslo. Continuou os estudos em Bonn e Frankfurt am Main. Em 1931 obteve um doutorado na Universidade de Oslo, onde obteve um chamado para professor em 1942. Em 1937 foi eleito membro da Academia Norueguesa de Literatura e Ciências.

Foi palestrante convidado do Congresso Internacional de Matemáticos em Zurique (1932).

Bibliografia

  • Siegfried Gottwald, Hans-Joachim Ilgauds e Karl-Heinz Schlote, eds. (1990). Lexikon bedeutender Mathematiker. Thun: Verlag Harri Deutsch. 234 páginas. ISBN 3-8171-1164-9  !CS1 manut: Usa parâmetro editores (link)

Referências

  1. Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus

Ligações externas

  • Auswahl von Johansson Arbeiten im MathSciNet[ligação inativa]
Controle de autoridade
  • Wd: Q3150927
  • WorldCat
  • VIAF: 306219023
  • GND: 1080333932
  • NTA: 177227842