teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] si immerge in un gruppo finitamente presentato se, e soltanto se, l’insieme delle relazioni del gruppo è ricorsivamenteenumerabile, rendendo così esplicita l’analogia con i problemi di assiomatizzabilità e decidibilità per teorie. Su un altro ...
Leggi Tutto
esclusione
escluṡióne s. f. [dal lat. exclusio -onis, der. di excludĕre «escludere»]. – 1. L’atto, il fatto di escludere o di essere escluso: e. da un’assemblea, dagli esami; e. dal diritto di voto (in determinati casi contemplati dalla legge);...