Ingebrigt Johansson

Ingebrigt Johansson
Información personal
Nacimiento	24 de octubre de 1904; Narvik, Noruega
Fallecimiento	24 de abril de 1987; Oslo, Noruega
Nacionalidad	Noruega
Educación
Educado en	Universidad de Oslo
Información profesional
Ocupación	Matemático
Empleador	Universidad de Oslo
Miembro de	Academia Noruega de Ciencias y Letras
	[editar datos en Wikidata]

Ingebrigt Johansson (24 de octubre de 1904, Narvik - 24 de abril de 1987, Oslo) fue un matemático noruego. Fue el desarrollador de la lógica mínima (o cálculo mínimo).^[1]^[2]^[3]

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áncfort 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" (Investigaciones topológicas de superficies superpuestas no ramificadas).

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).

En 1960, fue representante noruego en el Comité Nórdico para la Modernización de las Matemáticas Escolares.^[4] Su colaboración se vería objetivada en Matematikk for reallinjen: Algebra og funksjonslære 1 (Matemáticas para la línea real: Álgebra y teoría funcional 1), libro de texto escrito por Johansson, Ragnar Solvang y Ottar Ytrehus, publicado por Cappelens Forlag en 1968. Sería el primer volumen de una trilogía que sería publicada en Cappelen.

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.^[5]^[6]^[7]

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.^[8] Johansson fue el primero en utilizar los métodos de Gerhard Gentzen.^[9] Se le considera el fundador de la lógica mínima o cálculo mínimo (Minimalkalkül):^[10]

Este cálculo se diferencia de un cálculo de la lógica clásica solo en que la regla de eliminación para la doble negación, es decir, la sustitución de ¬(¬a), es reemplazada. El cálculo estándar de la lógica intuicionista reemplaza la regla de eliminación de la doble negación por ⊥ ⇒ a. En el cálculo minimalista dorado ⊥ ⇒ a.

Jörg Neunhäuserer

La reductio ad absurdum débil es la regla de prueba: si Σ, A ⊢¬ A entonces Σ ⊢¬ A ; la cual es válida tanto en la lógica mínima de Johansson, una forma de debilitamiento de la lógica intuicionista, como en la Lógica de la Paradoja de Graham Priest.^[11]

Obras seleccionadas

Libros

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.

Artículos

Johansson, Ingebrigt (1930). Ein Beitrag zur ebenen Geometrie von Laguerre. Math Z 32:259–290.
Johansson, Ingebrigt (1932). Eine Repräsentation der zweireihigen Matrizen (und der Quaternionen) durch Geraden des Raumes. Acta Math. 59:443–453.
Johansson, Ingebrigt (1935). Über singuläre Elementarflächen und das Dehnsche Lemma. Math Z 110: 312–320.
Johansson, Ingebrigt (1937). Der minimalkalkül, ein reduzierter intuitionistischer formalismus. Compositio Matematica. 4:119–136.
Johansson, Ingebrigt (1938). Über singuläre Elementarflächen und das Dehnsche Lemma II. Mathematischen Annalen, 115:658–669.
Johansson, Ingebrigt (1953). Sur le concept de “le” (ou de “ce qui”) dans le calcul affirmatif et dans les calculs intuitionnistes. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris, pp. 65–72.

Referencias

↑ von Plato, Jan (2017). Part I: A sketch of Gentzen’s life and work. Springer International Publishing. p. 30. ISBN 978-3-319-42119-3. doi:10.1007/978-3-319-42120-9_1. Consultado el 13 de septiembre de 2024.
↑ Odintsov, Sergei P. (2008). Constructive negations and paraconsistency. Trends in logic. Springer. ISBN 978-1-4020-6867-6. |fechaacceso= requiere |url= (ayuda)
↑ Anellis, Irving H. (2012-12). «Jean van Heijenoort’s Contributions to Proof Theory and Its History». Logica Universalis (en inglés) 6 (3-4): 417. ISSN 1661-8297. doi:10.1007/s11787-012-0061-x. Consultado el 13 de septiembre de 2024.
↑ Bjarnadóttir, Kristín (2023). De Bock, Dirk, ed. Nordic Cooperation on Modernization of School Mathematics, 1960–1967 (en inglés). Springer International Publishing. pp. 239-266. ISBN 978-3-031-11165-5. doi:10.1007/978-3-031-11166-2_12. Consultado el 13 de septiembre de 2024.
↑ Steenstrup, Bjørn. «287 (Hvem er Hvem? / 1973)». runeberg.org (en noruego). Consultado el 24 de octubre de 2023.
↑ Linnebo, Øystein; Duenger Bøhn, Einar (18 de marzo de 2020). «Interview with Dagfinn Føllesdal». Norsk filosofisk tidsskrift (en noruego) 55 (1): 46-79. ISSN 0029-1943. doi:10.18261/issn.1504-2901-2020-01-05. Consultado el 24 de octubre de 2023.
↑ «Norske Matematikere». web.archive.org. 12 de abril de 2008. Archivado desde el original el 12 de abril de 2008. Consultado el 24 de octubre de 2023.
↑ Segerberg, Krister (1968-04). «Propositional Logics Related to Heyting's and Johansson's». Theoria (en inglés) 34 (1): 26-61. ISSN 0040-5825. doi:10.1111/j.1755-2567.1968.tb00337.x. Consultado el 13 de septiembre de 2024.
↑ 9. The Perfection of Pure Logic. Princeton University Press. 31 de diciembre de 2017. p. 308. ISBN 978-1-4008-8503-9. doi:10.1515/9781400885039-011. Consultado el 13 de septiembre de 2024.
↑ Neunhäuserer, Jörg (2021). Intuitionismus (en alemán). Springer Berlin Heidelberg. p. 87. ISBN 978-3-662-63713-5. doi:10.1007/978-3-662-63714-2_8. Consultado el 13 de septiembre de 2024.
↑ Milne, P. (1 de julio de 2013). «Not every truth has a truthmaker II». Analysis (en inglés) 73 (3): 474-475. ISSN 0003-2638. doi:10.1093/analys/ant037. Consultado el 13 de septiembre de 2024.

Véase también

Datos: Q3150927
Multimedia: Ingebrigt Johansson / Q3150927

[1] von Plato, Jan (2017). Part I: A sketch of Gentzen’s life and work. Springer International Publishing. p. 30. ISBN 978-3-319-42119-3. doi:10.1007/978-3-319-42120-9_1. Consultado el 13 de septiembre de 2024.

[2] Odintsov, Sergei P. (2008). Constructive negations and paraconsistency. Trends in logic. Springer. ISBN 978-1-4020-6867-6. |fechaacceso= requiere |url= (ayuda)

[3] Anellis, Irving H. (2012-12). «Jean van Heijenoort’s Contributions to Proof Theory and Its History». Logica Universalis (en inglés) 6 (3-4): 417. ISSN 1661-8297. doi:10.1007/s11787-012-0061-x. Consultado el 13 de septiembre de 2024.

[4] Bjarnadóttir, Kristín (2023). De Bock, Dirk, ed. Nordic Cooperation on Modernization of School Mathematics, 1960–1967 (en inglés). Springer International Publishing. pp. 239-266. ISBN 978-3-031-11165-5. doi:10.1007/978-3-031-11166-2_12. Consultado el 13 de septiembre de 2024.

[5] Steenstrup, Bjørn. «287 (Hvem er Hvem? / 1973)». runeberg.org (en noruego). Consultado el 24 de octubre de 2023.

[6] Linnebo, Øystein; Duenger Bøhn, Einar (18 de marzo de 2020). «Interview with Dagfinn Føllesdal». Norsk filosofisk tidsskrift (en noruego) 55 (1): 46-79. ISSN 0029-1943. doi:10.18261/issn.1504-2901-2020-01-05. Consultado el 24 de octubre de 2023.

[7] «Norske Matematikere». web.archive.org. 12 de abril de 2008. Archivado desde el original el 12 de abril de 2008. Consultado el 24 de octubre de 2023.

[8] Segerberg, Krister (1968-04). «Propositional Logics Related to Heyting's and Johansson's». Theoria (en inglés) 34 (1): 26-61. ISSN 0040-5825. doi:10.1111/j.1755-2567.1968.tb00337.x. Consultado el 13 de septiembre de 2024.

[9] 9. The Perfection of Pure Logic. Princeton University Press. 31 de diciembre de 2017. p. 308. ISBN 978-1-4008-8503-9. doi:10.1515/9781400885039-011. Consultado el 13 de septiembre de 2024.

[10] Neunhäuserer, Jörg (2021). Intuitionismus (en alemán). Springer Berlin Heidelberg. p. 87. ISBN 978-3-662-63713-5. doi:10.1007/978-3-662-63714-2_8. Consultado el 13 de septiembre de 2024.

[11] Milne, P. (1 de julio de 2013). «Not every truth has a truthmaker II». Analysis (en inglés) 73 (3): 474-475. ISSN 0003-2638. doi:10.1093/analys/ant037. Consultado el 13 de septiembre de 2024.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]