https://padlet.com/enri_erma/n7wsf2a5r4t2 Appunti lezione en-us 2017-03-29 06:29:56 UTC 2025-12-15 17:16:47 UTC hello@padlet.com enri_erma https://padlet.com/enri_erma/n7wsf2a5r4t2/wish/163323145 "Con un calcolatore non potrò risolvere tutti i problemi"
"Solo una parte dei problemi ha una soluzione"

Algoritmo
-Numero finito di passi
-Deterministico
-Univoco
-Effettivo

---------------------------------------------
>Decidibile

Viene sempre dato un risultato

>Semidecidibile

Un algoritmo, dati dei risultati, può terminare ma potrebbe anche non farlo, quindi nel caso di non determinazione perché il problema è intrinsecamente non risolvibile allora non lo risolve e non fornisce un' uscita

>Indecibilità

Se non si può dire nulla del problema (non si sa se termina o meno)

"Se avessi un algoritmo in grado di decidere se un altro algoritmo termina o non termina, sarebbe un problema da decidere?"

-------------------------------------------

LA MACCHINA NON DIMOSTRA NULLA CHE NON SIA REALIZZABILE

-------------------------------------------

Godelizzazione

"Numerazione di un algoritmo in una maniera che ci permette di dire che sono infinite le soluzioni"


>tabella a doppia entrata
>entrano i problemi (tecnica di diagonalizzazione)
>metodo Zorro-Elettroni
>mettendo gli algoritmi in un elenco li posso risolvere uno ad uno
>in base alla navigazione si associa il numero

"Ci sono dei problemi più infiniti di altri ovvero il numero degli elementi (problemi) è più grande "
"Grandezza dei problemi infiniti >>> grandezza dei problemi finiti "

"La cardinalità degli insiemi di tutti i problemi ha un ordine di infinito più grande rispetto alla Cardinalità dell ' insieme degli algoritmi che abbiamo detto sono infiniti per il teorema di Godel"

ANALISI MATEMATICA

MDT: Contenitore che estrae ed esegue un programma

La MDT-U non è in grado di risolvere tutti i problemi

La MDT-U non può pertanto rispondere a tutti i comandi (non sa se un programma può terminare-non sa quanto tempo può impiegare per rispondere)

LA MDT NON E' INTELLIGENTE  (Non decide per l' utente)

Problema indecidibilità: Non posso rispondere se un problema ha o meno una soluzione poiché certi problemi hanno di natura un problema irrisolvibile

MACCHINA DI TURING VIDEO

-Inglese non americano,
-Metodo meccanico   (crisi dei fondamenti, la matematica non può dimostrare che le formule siano coerenti e valide)
-Teorema del sistema dimostrabile in un sistema formale inventato da Hilbert nel quale non si fa alcun riferimento ad entità concrete o altre , rappresentando dentro al sistema una parte consistente dell' aritmetica anche se si troveranno elementi non correlati
-Ha lavorato per dimostrare la coerenza di una macchina che dimostri in parallelo qualcosa.


TURING E IL PROBLEMA DELLA DECISIONE

-Dimostra che il problema della decisione non ha una risposta possibile per un sistema formale non è possibile meccanizzare la definizione del sistema
-Non ha risposta
-Cardinalità di un insieme : "Numero di elementi in un insieme"
-Infiniti più grandi di un infinito hanno cardinalità maggiore di un infinito (Ordine d' infinito >> Ordine secondo d' infinito)
La macchina di Turing:
-E una riproduzione tra la cultura logica e l' informatica teorica
-Macchina ideale ma non esistente in realtà
-Idea del calcolare (noi ci fidiamo della macchina) : Dimostra  che la macchina essendo generale e capace di emulare il comportamento di una macchina di Turing, dando una serie di istruzioni
(sapere se una macchina dato un input si ferma o meno)

]]> 2017-03-29 06:30:14 UTC https://padlet.com/enri_erma/n7wsf2a5r4t2/wish/163323145 enri_erma https://padlet.com/enri_erma/n7wsf2a5r4t2/wish/169347321 2017-05-02 07:15:23 UTC https://padlet.com/enri_erma/n7wsf2a5r4t2/wish/169347321