Loading AI tools
Из Википедии, свободной энциклопедии
Станислав Яськовский (пол. Stanisław Jaśkowski; 22 апреля 1906, Варшава — 16 ноября 1965, там же) — польский логик. Внёс значительный вклад в развитие теории доказательств и формальной семантики.
Станислав Яськовский | |
---|---|
пол. Stanisław Jaśkowski | |
Дата рождения | 22 апреля 1906 |
Место рождения | |
Дата смерти | 16 ноября 1965 (59 лет) |
Место смерти | |
Страна |
Российская империя → Польская Республика→ Польская Народная Республика |
Род деятельности | математик, философ |
Научная сфера | логика, математика |
Место работы | |
Альма-матер | |
Научный руководитель | Ян Лукасевич[1] |
Он был студентом Яна Лукасевича и принадлежал к Львовско-Варшавской школе логики. С 1946 года — профессор, с 1959 по 1962 гг. — ректор Университета Николая Коперника в Торуне.
Яськовский считается одним из основателей натурального исчисления,[2][3] которое он открыл независимо от Герхарда Генцена в 1930-х гг. (подход Генцена более известен). Он был одним из первых, если не первым, кто предложил формальное исчисление параконсистентной логики. Следовательно, Яськовский является пионером в исследовании как интуиционистской логики, так и свободной логики.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.