Jaszkovszkij, Sztanyiszlav
| Stanislav Yaskovsky | |
|---|---|
| Stanislaw Jaskowski | |
| Születési dátum | 1906. április 22 |
| Születési hely | |
| Halál dátuma | 1965. november 16. (59 évesen) |
| A halál helye | |
| Ország |
Orosz Birodalom → Lengyel Köztársaság → Lengyel Népköztársaság |
| Tudományos szféra | logika , matematika |
| Munkavégzés helye | |
| alma Mater | |
| tudományos tanácsadója | Jan Lukasiewicz [1] |
Stanisław Jaśkowski ( lengyelül: Stanisław Jaśkowski ; 1906. április 22., Varsó – 1965. november 16. , uo.) lengyel logikus . Jelentősen hozzájárult a bizonyítási elmélet és a formális szemantika fejlődéséhez .
Jan Lukasiewicz tanítványa volt, és a Lvov-Varsói Logikai Iskolához tartozott . 1946-tól professzor, 1959-től 1962-ig. - a toruni Nicolaus Kopernikusz Egyetem rektora .
Jaskowskit a természetes kalkulus egyik megalapítójának tartják , [2] [3] amelyet Gerhard Gentzentől függetlenül fedezett fel az 1930-as években. (Gentzen megközelítése ismertebb). Ő volt az egyik első, ha nem az első, aki a parakonzisztens logika formális számítását javasolta . Következésképpen Jaśkowski úttörő az intuíciós logika és a szabad logika tanulmányozásában is .
Proceedings
- "A feltételezések szabályairól a formális logikában", 1934.
- "Kutatás az intuicionista logika rendszerében", 1936.
- "Propozíciószámítás inkonzisztens következtetési rendszerben", 1948.
- "A vitatható kötőszóról a propozíciós számításban inkonzisztens következtetési rendszerben", 1949.
- „Azokról a képletekről, amelyekben a nem egyéni variabilitás kétszeresen megjelenik”, 1966.
Jegyzetek
- ↑ Matematikai genealógia (angol) - 1997.
- ↑ B. T. Dombrovsky, Lvov-Varsó filozófiai iskola (1895-1939) / Természetes következtetés Art. Jaszkovszkij.
- ↑ K. Tvardovszkij. Lvov-Varsó Filozófiai Iskola/Természetes következtetések művészete. Yaskovsky (elérhetetlen link) . Hozzáférés dátuma: 2010. október 17. Az eredetiből archiválva : 2007. december 22.
 Tematikus oldalak | ||||
|---|---|---|---|---|
| ||||