Diferencia entre revisiones de «Paul Lorenzen»
Contenido eliminado Contenido añadido
Detalles aún necesarios |
Traduccion del apartado "Theory" en Wikipedia en Ingles. |
||
Línea 4:
==Biografía==
Lorenzen estudió con [[David Hilbert]] en la escuela infantil y fue uno de los estudiantes de [[Hasse]] en la [[Universidad de Göttingen]] hasta 1938. Se convirtió en discípulo de Krull en la [[Universidad de Bonn]]. Su obra principal fue sobre los fundamentos de las matemáticas, en la [[teoría de la demostración]]. Creó y modificó el [[Constructivismo (matemáticas)|constructivismo matemático]]. Lorenzen enseñó en [[Universidad Stanford|Stanford]], en la [[Universidad de Texas]] y en la [[Universidad de Boston]], en los EE.UU. Fue profesor de las "John Locke Lectures" en [[Universidad de Oxford|Oxford]] durante el curso 1967/1968.
==Teoría==
Lorenzen llego a la Universidad de Erlangen en 1962, fundando allí la Escuela de Erlangen de filosofía. Escribio con Kamlah su famoso libro Logical Propaedeutic ("Logische Propädeutik") y trabajo en semantica del juego (en "Dialogische Logik") con Kuno Lorenz. Con Peter Janicj invento la protofisica del tiempo y el espacio. Desarrollo una logica constructiva, una teoria de los tipos constructiva y un analisis constructivo.
Su obra sobre Calculo Diferencial e Integral está dedicada a Hermann Weyl. Lorenzen uso la tecnica de Weyl para desarrollar un analisis predicativo, que puede reconstruir el analisis clasico, sin el principio de medio excluido o el Axioma de Elección. Trabajo tambien con Gerhard Gentzen buscando una manera de continuar con el programa de Hilbert luego de los resultados de Godel.
En la Teoría de la Geometría y la Fisica, el autor fue influenciado por Hugo Dingler. Siguio a Dingler en la construccion de una geometria y una fisica sin operaciones primitivas. Tambien tomo una interpretación temprana de Steven Winberg (Gravitation and Cosmology, 1972) para trabajar sus dudas acerca de los elementos geometricos de la relatividad general, creyendo que las ecucaciones de Maxwell debian ser modificadas como una instancia de la relatividad general.
Tambien fue influenciado por la hermeneutica de Wilhem Dilthey, y le gustaba citarlo diciendo que el conocimiento no puede ir detras de la vida. La Lebensphilosophie de Dilthey era una descripcion de las condiciones de la experiencia ordinaria que construimos con abstraccion de la matematica y la fisica.
Como John Locke Lecturer invento una Logica normativa como base para una argumentación etica y politica.
==Obras principales ==
| |||