Нет результатов!

Ваш поиск - Jaśkowski, Stanisław - не найдены соответствующие документы.

Яськовский, Станислав

|Изображение = Яськовский.jpg |Ширина = 150px |Описание изображения = |Дата рождения = 22.04.1906 |Место рождения = |Дата смерти = 16.11.1965 |Место смерти = |Гражданство = Российская империя
Польская Республика
Польская Народная Республика |Научная сфера = логика, математика |Место работы = }} Станислав Яськовский (; 22 апреля 1906, Варшава — 16 ноября 1965, там же) — польский логик. Внёс значительный вклад в развитие теории доказательств и формальной семантики.

Он был студентом Яна Лукасевича и принадлежал к Львовско-Варшавской школе логики. С 1946 года — профессор, с 1959 по 1962 гг. — ректор Университета Николая Коперника в Торуне.

Яськовский считается одним из основателей натурального исчисления, которое он открыл независимо от Герхарда Генцена в 1930-х гг. (подход Генцена более известен). Он был одним из первых, если не первым, кто предложил формальное исчисление параконсистентной логики. Следовательно, Яськовский является пионером в исследовании как интуиционистской логики, так и свободной логики. Предоставлено Wikipedia