Jaskovski, Stanislav
| Stanislav Yaskovsky | |
|---|---|
| Stanislaw Jaskowski | |
| Syntymäaika | 22. huhtikuuta 1906 |
| Syntymäpaikka | |
| Kuolinpäivämäärä | 16. marraskuuta 1965 (59-vuotias) |
| Kuoleman paikka | |
| Maa |
Venäjän valtakunta → Puolan tasavalta → Puolan kansantasavalta |
| Tieteellinen ala | logiikka , matematiikka |
| Työpaikka | |
| Alma mater | |
| tieteellinen neuvonantaja | Jan Lukasiewicz [1] |
Stanisław Jaśkowski ( puola: Stanisław Jaśkowski ; 22. huhtikuuta 1906 , Varsova - 16. marraskuuta 1965 , ibid.) oli puolalainen logiikka . Hän vaikutti merkittävästi todistusteorian ja muodollisen semantiikan kehittämiseen .
Hän oli Jan Lukasiewiczin oppilas ja kuului Lvov-Varsovan logiikkakouluun . Vuodesta 1946 - professori, 1959 - 1962. - Torunin Nicolaus Copernicus -yliopiston rehtori .
Jaskowskia pidetään yhtenä luonnonlaskennan perustajista , [2] [3] jonka hän löysi Gerhard Gentzenistä riippumatta 1930-luvulla. (Gentzenin lähestymistapa tunnetaan paremmin). Hän oli yksi ensimmäisistä, ellei ensimmäinen, joka ehdotti muodollisen parakonsistentin logiikan laskentaa . Näin ollen Jaśkowski on edelläkävijä sekä intuitionistisen logiikan että vapaan logiikan tutkimuksessa .
Proceedings
- "Formaalisen logiikan oletusten säännöistä", 1934.
- "Tutkimus intuitionistisen logiikan järjestelmässä", 1936.
- "Propositiolaskenta epäjohdonmukaisessa päättelyjärjestelmässä", 1948.
- "Käsiteltävästä konjunktiosta propositiossa epäjohdonmukaisessa päättelyjärjestelmässä", 1949.
- "Kaavoissa, joissa ei-yksittäinen vaihtelu esiintyy enemmän kuin kahdesti", 1966.
Muistiinpanot
- ↑ Matemaattinen sukututkimus (englanniksi) - 1997.
- ↑ B. T. Dombrovsky, Lvov-Varsovan filosofinen koulukunta (1895-1939) / Luonnollinen johtopäätös Art. Jaskovski.
- ↑ K. Tvardovski. Lvov-Varsovan filosofian koulu/luonnollinen johtopäätös Art. Yaskovsky (pääsemätön linkki) . Käyttöpäivä: 17. lokakuuta 2010. Arkistoitu alkuperäisestä 22. joulukuuta 2007.
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| ||||