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
Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...] un gruppo libero è libero. Sotto ipotesi di finitezza si può migliorare l'enunciato dicendo che, se G è libero con n generatori ed H è un matematica odierna, questo problema è assolutamente indecidibile.
Le consuete definizioni di estremo superiore ...
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,...