Diferencia entre revisiones de «Paul Lorenzen»

Contenido eliminado Contenido añadido
MetroBot (discusión · contribs.)
m Bot: desenlazando plantillas obsoletas. Dato ahora proveído por Wikidata - Plantilla:Bueno (v1.34)
EmBOTellado (discusión · contribs.)
m Reemplazando Göttingen por Gotinga, topónimo en español
Línea 1:
[[Archivo:Paullorenzen.jpg|thumb|right|Paul Lorenzen.]]
'''Paul Lorenzen''' ([[Kiel]], 24 de marzo de 1915 - [[GöttingenGotinga]], 1 de octubre de 1994) fue un [[filósofo]] y [[matemático]] [[Alemania|alemán]]. Se hizo conocido como fundador de la Escuela de Erlangen (con [[Wilhelm Kamlah]]) y como el inventor de la semántica del juego (con [[Kuno Lorenz]]).
 
== Biografía ==
Lorenzen estudió con [[David Hilbert]] en la escuela infantil y fue uno de los estudiantes de [[Hasse]] en la [[Universidad de GöttingenGotinga]] 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 ==