Iaskovski, Stanislav
| Stanislav Iaskovski | |
|---|---|
| Stanislaw Jaskowski | |
| Data nașterii | 22 aprilie 1906 |
| Locul nașterii | |
| Data mortii | 16 noiembrie 1965 (59 de ani) |
| Un loc al morții | |
| Țară |
Imperiul Rus → Republica Polonă → Republica Populară Poloneză |
| Sfera științifică | logica , matematica |
| Loc de munca | |
| Alma Mater | |
| consilier științific | Jan Lukasiewicz [1] |
Stanisław Jaśkowski ( poloneză: Stanisław Jaśkowski ; 22 aprilie 1906 , Varșovia - 16 noiembrie 1965 , ibid.) a fost un logician polonez . El a adus o contribuție semnificativă la dezvoltarea teoriei demonstrației și a semanticii formale .
A fost elevul lui Jan Lukasiewicz și a aparținut Școlii de logică din Lvov-Varșovia . Din 1946 - profesor, din 1959 până în 1962. - Rectorul Universității Nicolaus Copernic din Torun .
Jaskowski este considerat unul dintre fondatorii calculului natural , [2] [3] pe care l-a descoperit independent de Gerhard Gentzen în anii 1930. (Abordarea lui Gentzen este mai cunoscută). El a fost unul dintre primii, dacă nu primul, care a propus un calcul formal al logicii paraconsistente . În consecință, Jaśkowski este un pionier în studiul atât al logicii intuiționiste , cât și al logicii libere .
Proceedings
- „Despre regulile ipotezelor în logica formală”, 1934.
- „Cercetare în sistemul logicii intuiționiste”, 1936.
- „Calcul propozițional într-un sistem de inferență inconsistent”, 1948.
- „Despre conjuncția discutabilă în calculul propozițional într-un sistem de inferență inconsistent”, 1949.
- „Despre formulele în care variabilitatea non-individuală apare de mai mult de două ori”, 1966.
Note
- ↑ Genealogia matematică (engleză) - 1997.
- ↑ B. T. Dombrovsky, Școala filozofică Lvov-Varșovia (1895-1939) / Concluzie naturală Art. Iaskovski.
- ↑ K. Tvardovsky. Şcoala de Filosofie Lvov-Varşovia/Concluzie naturală Art. Yaskovsky (link inaccesibil) . Data accesului: 17 octombrie 2010. Arhivat din original la 22 decembrie 2007.
 Site-uri tematice | ||||
|---|---|---|---|---|
| ||||