Wikipedia

Ingebrigt Johansson

matemático noruego

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]​

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 Ver y modificar los datos en Wikidata
[editar datos en Wikidata]

Biografía

editar

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

editar

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:

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

editar

Libros

editar
  • 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

editar
  • 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

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

Véase también

editar
Obtenido de «https://es.wikipedia.org/w/index.php?title=Ingebrigt_Johansson&oldid=162460186»