Matematyka ornamentu

Matematyka ornamentu - Stanisław Jaśkowski

"Matematyka rozwija się dzisiaj w wielu kierunkach, chociaż jej rozwój uchodzi uwadze ludzi mających nawet szerokie wykształcenie ogólne. Wśród nieznanych działów matematyki jedne są istotnie trudne i wymagają gruntownego przygotowania; często niełatwo jest zrozumieć, na czym polegają ich zastosowania praktyczne." Stanisław Jaśkowski (ur. 22 kwietnia 1906 w Warszawie, zm. 16 listopada 1965 w Warszawie), polski logik, profesor i rektor Uniwersytetu Toruńskiego. Był studentem Jana Łukasiewicza i członkiem szkoły lwowsko-warszawskiej, wniósł wkład do teorii dowodu i semantyki. Jaśkowski jest uważany za jednego z twórców dedukcji naturalnej, którą odkrył niezależnie od Gerharda Gentzena w latach trzydziestych XX wieku (ujęcie Gentzena stało się bardziej popularne). Był również jednym z pierwszych, jeśli nie pierwszym, który zaproponował formalny rachunek logiki parakonsystentnej (ang. paraconsistent logic). Ponadto Jaśkowski był pionierem w badaniu zarówno logiki intuicjonistycznej, jak i logiki wolnej.