Ingebrigt Johansson
Ingebrigt Johansson
Ingebrigt Johansson (antes de 1933).
| Nacimiento |
24 de octubre de 1904 Narvik ( en ) |
|---|---|
| Muerte |
24 de abril de 1987(en 82) Oslo |
| Nacionalidad | noruego |
| Actividad | Matemático |
| Trabajé para | Universidad de oslo |
|---|---|
| Miembro de | Academia Noruega de Ciencias y Letras |
Ingebrigt Johansson (24 de octubre de 1904, Narvik -24 de abril de 1987, Oslo ) es un matemático noruego .
Desarrolló el sistema de lógica simbólica conocido como lógica mínima .
Bibliografía
- 1937: Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus