Лоренца преобразованияЛОРЕНЦЕН Пауль

ЛОРЕНЦЕН

Найдено 1 определение:

ЛОРЕНЦЕН

Lorenzen), Пауль Петер Вильгельм (р. 24 марта 1915) – нем. логик и математик, д-р естествознания, проф. ун-та в Киле (с 1956). Работает в области математич. логики, оснований математики и алгебры. В соч. "Введение в оперативную логику и математику" ("Einf?hrung in die operative Logik und Mathematik", 1955) Л. построил систему "оперативной логики", к-рая является попыткой обосновать употребляемые во мн. системах математич. логики аксиомы и правила вывода. С этой целью Л. строит логику без аксиом, как общую теорию исчислений. Система Л. при этом сама оказывается исчислением, в к-ром выводимы все аксиомы и правила вывода интуиционистской логики. Л. разработал также "логику спора", близкую по своему характеру к т.н. дедуктивным таблицам голл. логика Э. Бета. "Логика спора" является одним из обоснований интуиционистской логики. Соч.: Logical reflection and formalism, "J. Symbolic Logic", 1958, v. 23, No 3; Logik und Agon, в кн.: Atti del XII Congresso internazionale di Filosofia, [Venezia, septembre 1958 ], v. 4, Firenze, 1960; Die Entstehung der exakten Wissenschaften, В., 1960; Ein dialogisches Konstruktivit?tskriterium, в сб.: Infinitistic methods. Proceedings of the symposium on foundations of mathematics. Warszawa, 2–9 September, 1959, Oxf.–Warsz., 1961, p. 193–200; Formale Logik, [2 Aufl. ] B., 1962. В. Донченко. Москва.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

Найдено схем по теме ЛОРЕНЦЕН — 0

Найдено научныех статей по теме ЛОРЕНЦЕН — 0

Найдено книг по теме ЛОРЕНЦЕН — 0

Найдено презентаций по теме ЛОРЕНЦЕН — 0

Найдено рефератов по теме ЛОРЕНЦЕН — 0