Пауль Лоренцен

• Биография Пауля Лоренцена

  • Немецкий философ и математик, основатель Эрлангенской школы и изобретатель семантики игр. 
  • Обучался в Геттингенском университете, защитил докторскую диссертацию в 1938 году. 
  • Вступил в СА и NSDStB, стал членом нацистской партии в 1933 году, призван в армию в 1940 году. 
  • Работал над проектом расшифровки Бави с 1940 по 1941 год. 
  • Преподавал в Стэнфорде, Техасском университете и Бостонском университете, читал лекции по Джону Локку. 

• Теория и вклад в математику

  • Основал Эрлангенскую школу эпистемологического конструктивизма в 1962 году. 
  • Совместно с Вильгельмом Камлахом написал “Логическую пропедевтику” и работал над семантикой игр. 
  • Изобрел протофизику времени и пространства с Питером Яничем. 
  • Разработал конструктивную логику, теорию конструктивных типов и конструктивный анализ. 
  • Использовал методику Вейля для предикативного анализа и устранения сокращений Гентцена. 
  • Оказал влияние на теорию геометрии и физики, следовал примеру Хьюго Динглера. 

• Основные работы и влияние

  • Опубликовал книги по формальной логике, нормативной логике и конструктивной теории науки. 
  • Влиял на преподавание Джона Локка и разработал нормативную логику как основу этики и политической аргументации. 

• Рекомендации и внешние ссылки

  • Упомянуты книги и внешние ссылки, связанные с Лоренценом и его работами.