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
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] risultati si fa largo uso della condizione di compattezza di Palais-Smale enunciata tre anni prima.
Teoremi di punto fisso. M.F. Atiyah e calcolo a meno di catene finite di semplificazioni è indecidibile. Scott trova un modello del λ-calcolo che ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] da una macchina di Turing che si ferma sempre. Un tipico linguaggio indecidibile è l'insieme delle coppie (⟨M⟩, x), dove M è , il 'Dimostratore' e il 'Verificatore'; l'input è un enunciato da dimostrare. Le due macchine comunicano a ogni passo e il ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] 'analisi dei condizionali controfattuali. Per esempio, la forma dell'enunciato 'se il naso di Cleopatra fosse stato più lungo Roma Per Kleene 1/2 significa indecidibile (si applica quindi alle proposizioni indecidibili dell'aritmetica), mentre 1/2 ...
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,...