Ingebrigt Johansson (24 de octubre de 1904 en Narvik - 24 de abril de 1987 en Oslo ) fue una matemática noruega . Desarrolló el sistema de lógica simbólica conocido como lógica mínima . [1]
Referencias
- ^ Ingebrigt Johansson (1937). "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus" . Compositio Mathematica (en alemán). 4 : 119-136.