Tomasz Jarmużek

Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia dowodu tablicowego – czyli tzw. tablicy - a co za tym idzie, formalnego sformułowania pojęć pomocniczych, które towarzyszą definiowaniu systemu tablicowego. W pracy przeanalizowano m.in. pojęcia...

Wyobraźmy sobie następującą scenę. Oto pewien czcigodnie wyglądający, zatopiony w filozoficznych rozmyślaniach mąż stoi nad malowniczą, skalistą zatoką w starożytnej Grecji. Zatoka ta była już wcześniej teatrem wielu morskich potyczek, w których Ateńczycy zmagali się z wrogami. Jej obraz naturalnie nasuwa zatem skojarzenia z minionymi wydarzeniami...