indecidibileindecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c) ...
Leggi Tutto
LOGICA POLIVALENTE
Claudio Pizzi
Viene chiamata polivalente qualunque logica che risulti completa rispetto a semantiche che ammettono più valori dei due valori di verità standard (di solito identificati [...] i tre valori sono, intuitivamente, vero, falso e indecidibile. Le matrici qui sono costruite sull'idea che quando il principio per cui se tra i componenti di un enunciato c'è un enunciato paradossale, questo è a sua volta paradossale. Tavole simili ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] il tempo siano infiniti. Anche qui al-Kindī prende le mosse enunciando quattro premesse: (1) da tutto ciò da cui si toglie però essere identità. Introdusse inoltre il concetto di problema indecidibile, quello di cui non si può "dimostrare né l ...
Leggi Tutto
risolubile
risolùbile [agg. Der. del lat. resolubilis "che si può risolvere", dal part. pass. resolutus del lat. resolvere "sciogliere di nuovo"] [ALG] Equazione algebrica r. per radicali, o r. algebricamente: [...] statistica). ◆ [ALG] [FAF] Problema non r., o indecidibile: nella logica matematica, problema logico che in linea di principio es., il problema di trovare un procedimento per riconoscere se un enunciato qualunque è o no un teorema. ◆ [ALG] Problema r ...
Leggi Tutto
risolubile
risolùbile (ant. resolùbile) agg. [der. di risolvere; cfr. lat. tardo resolubĭlis «che si può nuovamente sciogliere»]. – Che si può risolvere: dubbio, problema r.; sciarada facilmente risolubile. In partic.: 1. In diritto privato,...