Jump to content

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

(Перенаправлено со Станислава Ясковского )
Станислав Ясковский
Рожденный ( 1906-04-22 ) 22 апреля 1906 г.
Умер 16 ноября 1965 г. (1965-11-16) (59 лет)
Национальность Польский
Альма-матер Варшавский университет
Известный естественный вычет
паранепротиворечивая логика
теория доказательств
формальная семантика
Научная карьера
Поля Логика
Учреждения Университет Николая Коперника в Торуни

Станислав Ясковский ( польское произношение : [staˈɲsvaf jaɕˈkɔfskʲi] ; 22 апреля 1906, Варшава — 16 ноября 1965, в Варшаве) — польский логик , внесший важный вклад в теорию доказательств и формальную семантику . Он был учеником Яна Лукасевича и членом Львовско-Варшавской школы логики . Его считают одним из основоположников естественной дедукции , которую он открыл независимо от Герхарда Генцена в 1930-х годах. [1] Он также известен своими исследованиями паранепротиворечивой логики . [2] После его смерти его имя было добавлено к Стене славы гениев. Он был президентом (ректором) Университета Николая Коперника в Торуни .

Жизнь и карьера [ править ]

Он родился в 1906 году в Варшаве в семье Феликса Ясковского и матери Казимеры (в девичестве Дзержбицкой). В 1924 году он окончил среднюю школу в Закопане и поступил в Варшавский университет для изучения математики . Он обучался математической логике у Яна Лукасевича и участвовал в съездах польских математиков во Львове (1927 г.) и Вильнюсе (1931 г.).

После начала Второй мировой войны он участвовал в Сентябрьской кампании в качестве волонтера. В 1942 году он был ненадолго арестован немцами. В 1945 году он продолжил научную карьеру в Торуньском университете , где защитил хабилитацию и занял должность заведующего факультетом математической логики.

С 1950 года сотрудничал с Государственным институтом математики Польской академии наук (ПАН). В 1959–1962 годах он занимал пост ректора университета. Он был одним из основателей и первым президентом отделения Польского математического общества в Торуни.

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

Он умер в 1965 году в Варшаве и был похоронен на Повонзком кладбище . [5]

Работает [ править ]

  • О правилах предположений в формальной логике Studia Logica 1, 1934, стр. 5–32 (перепечатано в: Storrs McCall (ed.), Polish Logic 1920–1939 , Oxford University Press, 1967, стр. 232–258).
  • Исследования системы интуиционистской логики , 1936 г. (перевод: Сторрс МакКолл (ред.), Polish Logic 1920–1939 , Oxford University Press, 1967, стр. 259–263).
  • Исчисление высказываний для непоследовательных дедуктивных систем , 1948 г. (перепечатано в: Studia Logica, 24, 1969, стр. 143–157 и в: Logic and Logical Philosophy 7, 1999, стр. 35–56)
  • О дискуссионном соединении в исчислении высказываний для непоследовательных дедуктивных систем , 1949 г. (перепечатано в: Logic and Logical Philosophy 7, 1999, стр. 57–59)
  • О формулах, в которых ни одна индивидуальная переменная не встречается более двух раз , Журнал символической логики , 31, 1966, стр. 1–6)
на польском языке
  • О симметрии в декоре и природе - математическая теория орнаментов (английское название: On Symmetry in Art and Nature ), PWS, Варшава, 1952 (книга 168 страниц)
  • Математическая теория орнаментов (английское название: Mathematical Theory of Ornaments ), PWN, Варшава, 1957 (книга 100 страниц)

См. также [ править ]

Ссылки [ править ]

  1. ^ «Системы естественной дедукции в логике» . plato.stanford.edu . 29 октября 2021 г. Проверено 2 мая 2023 г.
  2. ^ Рикардо Артуро Николас-Франциско. «О польском подходе к паранепротиворечивости с помощью модализации» (PDF) . edukacja-filozoficzna.uw.edu.pl . Проверено 2 мая 2023 г.
  3. ^ Ясковский, Станислав (1934). «О правилах предположений в формальной логике». Польская логика 1920–39 .
  4. ^ Инджейчак, Анджей (2018). Станислав Ясковский и системы естественной дедукции . Исследования по универсальной логике. стр. 465–483. дои : 10.1007/978-3-319-65430-0_33 . ISBN  978-3-319-65429-4 . Проверено 2 мая 2023 г. {{cite book}}: |website= игнорируется ( помогите )
  5. ^ «Варшавские исторические могильные памятники» (на польском языке). Архивировано из оригинала 22 апреля 2019 г. Проверено 2 мая 2023 г.

Источники [ править ]

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 9e1c669e377c3b861247d654f4ce4600__1704887700
URL1:https://arc.ask3.ru/arc/aa/9e/00/9e1c669e377c3b861247d654f4ce4600.html
Заголовок, (Title) документа по адресу, URL1:
Stanisław Jaśkowski - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)