Tag: Piotr Kulicki

Książka prezentuje bogactwo aksjomatycznych systemów rachunku nazw. Przedstawia, w jednolity sposób, szereg znanych systemów skonstruowanych przez jej autora. Prezentując różne systemy aksjomatyczne rachunku nazw, nie staramy się wskazywać, który z nich jest właściwy bądź lepszy od innych, pozostawiając wybór Czytelnikowi. Kryteria tego wyboru mogą być różne. Między innymi wymienić można posiadane intuicje dotyczące sensu funktorów rachunku nazw, zgodność z ich sposobem używania w języku naturalnym, zgodność z rozumieniem funktorów w ujęciu historycznym, względy praktyczne związane z budowaniem dowodów i wykonywaniem obliczeń. Przedstawione analizy powinny być pomocne w dokonywaniu wyboru kierowanego każdym z wymienionych kryteriów. Sens funktorów w przedstawianych systemach naświetlany jest wielostronnie – poprzez system aksjomatyczny, aksjomatyczny system odrzucania, teoriomodelową strukturę odpowiadającą systemowi. Z kolei dokonanie wyboru kierowane kryteriami obliczeniowymi wspierane jest przez rezultaty dotyczące rozmiaru dziedziny, w którym jest określony model dla systemu oraz rozmiaru matrycy potrzebnej do zdefiniowania procedury decyzyjnej.