Skolem, Turalf
| Turalf Albert Skolem | |
|---|---|
| Thoralf Albert Skolem | |
| Nombrar al nacer | Bokmål Thoralf Albert Skolem |
| Fecha de nacimiento | 23 de mayo de 1887 [1] [2] [3] […] |
| Lugar de nacimiento | Sunsver , Buskerud |
| Fecha de muerte | 23 de marzo de 1963 [1] [2] [3] […] (75 años) |
| Un lugar de muerte | |
| País | |
| Esfera científica | lógica matemática |
| Lugar de trabajo | |
| alma mater | |
| consejero científico | Axel jueves [4] |
| Estudiantes | Mineral de Oistin |
| Conocido como | Demostrado el teorema de Löwenheim-Skolem |
| Premios y premios | Premio Fridtjof Nansen a la investigación significativa en matemáticas y ciencias naturales [d] ( 1938 ) Medalla Gunnerus [d] ( 1962 ) |
| Archivos multimedia en Wikimedia Commons | |
Turalf Albert Skolem ( noruego Thoralf Albert Skolem , en las primeras traducciones transcrito como Thoralf Skolem ; 23 de mayo de 1887 , Sansver - 23 de marzo de 1963 , Oslo) - Matemático noruego , obra principal - en el campo de los fundamentos de las matemáticas y la lógica matemática, también hizo una contribución significativa al álgebra general (teorías de redes y anillos ), la teoría de números ( la teoría de las ecuaciones diofánticas ) y la filosofía de las matemáticas .
Una de las declaraciones clave en la teoría de modelos está asociada con su nombre : el teorema de Löwenheim-Skolem , la paradoja filosófica y matemática de Skolem , así como la forma normal de Skolem en lógica de primer orden , el teorema de Skolem en combinatoria , el Teorema de Skolem-Noether - resultado fundamental en la teoría de álgebras simples centrales . Profesor de la Universidad de Oslo (1938-1957), presidente de la Sociedad Matemática Noruega en la década de 1950.
Biografía
Nació el 23 de mayo de 1887 en el pequeño pueblo de Sansvær ( noruego: Sandsvær ) en el condado de Buskerud (ahora parte de Kongsberg ). El padre, Even Skolem, era maestro de escuela primaria, pero la familia se dedicaba principalmente a la agricultura [5] . En 1905 se graduó de la escuela secundaria en Christiania , después de terminar la escuela ingresó inmediatamente a la universidad . Mientras estudiaba en la universidad, desde 1909 trabajó como asistente del físico Christian Birkeland , las primeras publicaciones científicas pertenecen al mismo período: artículos conjuntos con Birkeland sobre la reproducción de laboratorio de la aurora . En 1913 se graduó de la universidad con un diploma en álgebra lógica ( noruego: Undersøkelser innenfor logikkens algebra ).
En el período 1915-1916 se formó en Göttingen , en 1916 volvió a la Universidad de Christiania, donde en 1918 recibió el puesto de profesor asistente de matemáticas. Los principales trabajos de esa época son el desarrollo de la teoría de modelos , la prueba en 1920 de la afirmación de Löwenheim de que si un conjunto de oraciones en un lenguaje contable de primer orden tiene un modelo infinito, entonces también tiene un modelo contable , que se convirtió en conocido como el teorema de Löwenheim-Skolem , en un artículo de 1922 llamó la atención sobre el juicio contradictorio asociado con esta declaración, más tarde llamado paradoja de Skolem .
En Noruega en ese momento, no se requería un título para los puestos de enseñanza e investigación, por lo que Skolem no defendió su tesis durante mucho tiempo. Recién en 1926 recibió un doctorado con una disertación sobre soluciones enteras de algunas ecuaciones y desigualdades algebraicas (en alemán: Einige Sätze über ganzzahlige Lösungen gewisser Gleichungen und Ungleichungen ), Axel Thue (quien murió 4 años antes de la defensa - en 1922 ) fue considerado el supervisor científico formal ).
De 1930 a 1938 trabajó como investigador en el recién creado Instituto Michelsen en Bergen , el principal trabajo de esos años fue una monografía sobre ecuaciones diofánticas . En 1938 volvió a la Universidad de Oslo como profesor , donde permaneció hasta su jubilación en 1957. Después de su retiro, continuó en activo, realizó varios viajes a universidades estadounidenses [6] .
Publicó un total de unos 200 artículos de matemáticas [7] , 48 de ellos durante los últimos diez años de su trabajo en la universidad (1948 a 1957, mayores de 60 años) [8] . Los trabajos más importantes sobre lógica en 1970 fueron publicados por la Universidad de Oslo como un libro separado [9] .
Notas
- ↑ 1 2 3 4 5 6 MacTutor Archivo de Historia de las Matemáticas
- ↑ 1 2 Thoralf Albert Skolem // Norsk biografisk leksikon (libro) - Kunnskapsforlaget . — ISSN 2464-1502
- ↑ 1 2 Albert Thoralf Skolem // Enciclopedia Brockhaus (alemán) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Genealogía matemática (inglés) - 1997.
- ↑ Fenstad, 1996 , Su padre, Even Skolem, enseñaba en la escuela primaria, pero la familia estaba formada principalmente por agricultores, p. 99
- ↑ Fenstad, 1996 , Skolem se jubiló en 1957 y luego visitó universidades estadounidenses en varias ocasiones, p. 100.
- ↑ Fenstad, 1996 , Un recuento aproximado revela que escribió cerca de 200 artículos, p. 101.
- ↑ Fenstad, 1996 , De 1948 a 1957, es decir, de los 61 a los 70 años, publicó 48 artículos, p. 106.
- ↑ Thoralf Skolem, Jens Erik Fenstad. Obras escogidas de lógica. - Oslo: Universitetsforlaget, 1970. - 732 p. — ISBN 9788200061274 .
Enlaces
- Fenstad, Jens Erik. Thoralf Albert Skolem 1887-1963: un bosquejo biográfico . Revista nórdica de lógica filosófica, 1, pp 99-106 (1996). Consultado el 2 de enero de 2013. Archivado desde el original el 26 de enero de 2013.
- Skolem, Turalf // Cártamo - Soan. - M .: Enciclopedia soviética, 1976. - S. 515. - ( Gran enciclopedia soviética : [en 30 volúmenes] / editor en jefe A. M. Prokhorov ; 1969-1978, v. 23).
 sitios temáticos | ||||
|---|---|---|---|---|
| diccionarios y enciclopedias | ||||
| ||||