Yaskovsky, Stanislav
| Stanislav Yaskovsky | |
|---|---|
| Stanislaw Jaskowski | |
| Fødselsdato | 22. april 1906 |
| Fødselssted | |
| Dødsdato | 16. november 1965 (59 år) |
| Et dødssted | |
| Land |
Det russiske imperium → den polske republik → den polske folkerepublik |
| Videnskabelig sfære | logik , matematik |
| Arbejdsplads | |
| Alma Mater | |
| videnskabelig rådgiver | Jan Lukasiewicz [1] |
Stanisław Jaśkowski ( polsk : Stanisław Jaśkowski ; 22. april 1906 , Warszawa - 16. november 1965 , ibid.) var en polsk logiker . Han ydede et væsentligt bidrag til udviklingen af bevisteori og formel semantik .
Han var elev af Jan Lukasiewicz og tilhørte Lvov-Warszawas logikskole . Siden 1946 - professor, fra 1959 til 1962. - Rektor for Nicolaus Copernicus Universitetet i Torun .
Jaskowski anses for at være en af grundlæggerne af naturlig calculus , [2] [3] som han opdagede uafhængigt af Gerhard Gentzen i 1930'erne. (Gentzens tilgang er bedre kendt). Han var en af de første, hvis ikke den første, der foreslog en formel beregning af parakonsistent logik . Derfor er Jaśkowski en pioner inden for studiet af både intuitionistisk logik og fri logik .
Proceedings
- "Om reglerne for antagelser i formel logik", 1934.
- "Forskning i systemet for intuitionistisk logik", 1936.
- "Propositionalregning i et inkonsistent slutningssystem", 1948.
- "Om den diskutable konjunktion i den propositionelle beregning i et inkonsistent slutningssystem", 1949.
- "Om formler, hvor ikke-individuel variabilitet optræder mere end to gange", 1966.
Noter
- ↑ Matematisk genealogi (engelsk) - 1997.
- ↑ B. T. Dombrovsky, Lvov-Warszawas filosofiske skole (1895-1939) / Naturlig konklusion Art. Yaskovsky.
- ↑ K. Tvardovsky. Lvov-Warszawa School of Philosophy/Naturlig Konklusion Art. Yaskovsky (utilgængeligt link) . Dato for adgang: 17. oktober 2010. Arkiveret fra originalen 22. december 2007.
 Tematiske steder | ||||
|---|---|---|---|---|
| ||||