continuo, ipotesi del
continuo, ipotesi del o congettura di Cantor, assioma della teoria degli insiemi (→ Zermelo-Fraenkel, assiomi di) che si formula come segue: non esistono insiemi di cardinalità [...] si riuscisse sempre ad ampliarla in modo da costringere qualsiasi enunciato assegnato a essere vero o falso. Il modello ottenuto se l’ipotesi del continuo è vera o falsa. Indecidibile è stata dimostrata anche la cosiddetta ipotesi del continuo ...
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,...