[00:34] le limitazioni di incompletezza [01:51] il metodo sintattico e il metodo semantico [03:30] la logica predicativa [05:26] Entscheidungsproblem (il problema della decisione) [07:32] Alonzo Church [10:09] dimostrazione del teorema da Turing e Church [10:24] dimostrazione di Turing [12:48] la costruzione della macchina di Turing [15:30] i limiti della macchina [18:36] la metafora sul cervello elettronico [19:47] l’intelligenza artificiale [20:58] il test di Turing [25:56] l’esito dell’intelligenza artificiale
@gianelio8282 жыл бұрын
Grazie Professore.
@francescomanetti-germanica2 жыл бұрын
Bellissima la conclusione.
@milafozzi50992 жыл бұрын
Molto interessante. Grazie Professore.
@rosabarbieri51652 жыл бұрын
Grandissimo prof.
@vitodepasquale20262 жыл бұрын
Il video è stato registrato, suppongo, diversi anni fa. è ancora valida la conclusione alla luce dei recenti sviluppi nel campo dell'intelligenza artificiale?
@podifreddi2 жыл бұрын
kzbin.info/www/bejne/gHa8gGSGpcqejpo
@claudino3212 жыл бұрын
anche se il deep learning ci ha permesso di risolvere problemi prima impensabili (riconoscimento di immagini, comprensione del linguaggio naturale, etc) alcuni problemi dell’intelligenza animale rimangono ancora difficili rispetto a quelli razionali.
@andsalomoni2 жыл бұрын
@@claudino321 La comprensione del linguaggio naturale, che implica una coscienza capace di comprensione del senso, è fuori dalla portata dell'intelligenza artificiale, che è mera computazione.
@claudino3212 жыл бұрын
@@andsalomoni non sarei così categorico, nlp sta facendo passi da gigante…
@andsalomoni2 жыл бұрын
@@claudino321 Ho dovuto cercare cosa significa: "natural language processing". Può fare i passi da gigante che vuole, resterà sempre computazione ("processing", mero rimescolamento di bit di informazione) priva di coscienza, quindi incapace di senso. Qualche programma NLP capisce le barzellette? Gli viene da ridere?
@lorisg2 жыл бұрын
Un discorso inizialmente complesso, ma il finale è davvero sconcertante e comprensibile.