Ingebrigt Johansson
# Ingebrigt Johansson

Ingebrigt Johansson (24 de octubre de 1904, Narvik - 24 de abril de 1987, Oslo) fue un matemático noruego. Fue el desarrollador el sistema de lógica simbólica conocido como lógica mínima (o cálculo mínimo).

## Biografía

Johansson nació en Narvik, Noruega, el 24 de octubre de 1904, siendo hijo de Isak Johansson (1849-1941) y Gjertrud Kletten (1865-1948).

En 1923 Johansson ingresó en la Universidad de Oslo para estudiar matemáticas. Después de obtener su título de Candidatus realium en 1928, continuó sus estudios en Bonn en 1929 y en Fránckfort del Meno en 1930-1931. En 1931 se recibió como Doctor en filosofía de la Universidad de Oslo por su disertación "Topologische Untersuchungen über unverzweigte Überlagerungsflächen".

Desarrolló su carrera profesional en la Universidad de Oslo: de 1931 a 1936 como becario de geometría, de 1936 a 1942 como profesor de geometría descriptiva y finalmente como profesor de matemáticas a partir de 1946 (su nombramiento data de 1942). De 1935 a 1946, Johansson fue presidente de la Sociedad Matemática Noruega. Fue elegido miembro de la Academia Noruega de Ciencias y Letras en 1937. En 1941, se casó con Gidske Jacoba Schult (1908-1994).

Dedicó gran esfuerzo a la didáctica de las matemáticas, experimentando con nuevos métodos de enseñanza e introduciendo nuevas formas de examen, como tareas de crítica y comentario. También escribió varios libros de texto y trabajó en reformas curriculares para la facultad de matemáticas de Oslo. Murió en Oslo, Noruega, el 24 de abril de 1987.

## Logros científicos

Las actividades de investigación científica de Johansson abarcaron varias áreas de las matemáticas, pero se referían principalmente a las áreas de geometría, topología y lógica simbólica:

* En geometría, Johansson dio una interpretación geométrica de los cuaterniones e investigó la geometría de Edmond Laguerre.
* En topología, trabajó en el Teorema del lazo.
* En su disertación doctoral, demostró que el grupo fundamental de una superficie no compacta debe ser siempre un grupo libre. Una aplicación de este resultado es una prueba topológica del Teorema de Nielsen-Schreier de que los subgrupos de grupos libres son siempre grupos libres.

Sus logros en el campo de la lógica intuicionista son particularmente notables. Se le considera el fundador de la lógica mínima o cálculo mínimo.

## Obras

* Johansson, Ingebrigt (1931). Topologische Untersuchungen über unverzweigte Überlagerungsflächen. Oslo: Kommisjon hos Dybwad. [Dr.gradsavhandling].
* Johansson, Ingebrigt; Solvang, Ragnar; Ytrehus, Ottar (1972). Algebra og funksjonslære: for gymnasets reallinje, reformgymnaset og toårig grunnkurs. [Oslo]: Cappelen. ISBN 8202001145.
* Johansson, Ingebrigt; Solvang, Ragnar; Ytrehus, Ottar (1974). Algebra og funksjonslære: 2. klasse. [Oslo]: Cappelen. ISBN 8202004683.
* Johansson, Ingebrigt; Solvang, Ragnar; Ytrehus, Ottar (1975). Algebra og funksjonslære: 3. klasse. [Oslo]: Cappelen. ISBN 8202007003.
