IT ( Calcolabilita' ~ Indice argomenti )

Gino Cappelli 1) NUMERABILITA' 2) DOVETAILING 3) THEOREM (DI CANTOR) 4) PARADOSSO RUSSEL 5) DEFINIBILITA' 6) PARADOSSO BERRY 7) RICORSIONE 8) ITEARARE UN ITEARATORE 9) SISTEMA T DI GODEL 10) INTERPRETE 11) INCOMPLETTEZZA ALGORITMICA FORMALISMI TOTALI 12) AUTO-APPLICAZIONE 13) MODELLI DI CALCOLO 14) TESI DI CHURCH 15) MACCHINA DI TURING 16) MACCHINA DI TURING UNIVERSALE 17) NUMERAZIONI ACCETTABILI 18) RIDUCIBILITA' DI ENUMERAZIONI 19) THEOREM (DI EQUIVALENZA DI ROGER) 20) PREDICATO T DI KLEENE 21) FORMA NORMALE DI KLEENE 22) TERMINAZIONE 23) TOTALITA' 24) EQUIVALENZA ESTENSIONALE DI PROGRAMMI 25) RICORSIVITA' 26) R.E. 27) ENUMERABILITA' CRESCENTE 28) THEOREM (DI COMPLEMENTAZIONE) 29) CARATTERIZZAZIONI EQUIVALENTI DEGLI INSIEMI R.E. 30) SEMIDECIDIBILITA' 31) ENUMERAZIONE INSIEMI R.E. 32) THEOREM (DI PROIEZIONE) 33) CHIUSURA INSIEMI R.E. 34) CHIUSURA RISPETTO A FUNZIONI 35) UNIONI E INTERSEZIONI INFINITE 36) INSIEMI ESTENSIONALI 37) THEOREM (DI RICE) 38) MONOTONIA E COMPATTEZZA 39) THEOREM (DI RICE-SHAPIRO) 40) THEOREM (DEL PUNTO FISSO DI KLEENE) 41) THEOREM (SECONDO TEOREMA DI RICORSIONE DI KLEENE) 42) APPLICAZIONI TEOREMA PUNTO FISSO 43) DIM ALTERNATIVA TEOREMA DI RICE 44) RIDUCIBILITA' 45) UN ESEMPIO: K0 =m K 46) M-COMPLETEZZA 47) INSIEMI PRODUTTIVI E CREATIVI 48) IL PROBLEMA DI POST 49) INSIEMI IMMUNI E SEMPLICI 50) COMPLESSITA' DI KOLMOGOROV 51) NUMERI RANDOM 52) ARITMETICA 53) THEOREM (TUTTE LE FUNZ. CALCOLABILI SONO ARITMETICHE) 54) THEOREM (OGNI INSIEME R.E. E' ARITMETICO) 55) THEOREM (L'INSIEME DELLE FORMULE ARITMETICHE VERE NON E' R.E.) 56) THEOREM (DI INCOMPLETEZZA DI GODEL) 57) LE CLASSI , , 58) PROPRIETA' DELLA GERARCHIA ARITMETICA 59) IL PROBLEMA DELL'EQUIVALENZA 60) THEOREM (DI KURATOWSKI) 61) QUANTIFICAZIONE LIMITATA 62) THEOREM (LA GERARCHIA ARITMETICA CONTIENE ESATTAMENTE GLI INSIEMI ARITMETICI) 63) THEOREM (DI ENUMERAZIONE) 64) COMPLETEZZA NELLA GERARCHIA ARITMETICA 65) THEOREM (DELLA GERARCHIA ARITMETICA)