Macchine, Linguaggi e la Tesi di Church-Turing

Guarda su YouTube → 32:22 26 ottobre 2021

Basi di Informatica

Descrizione

In questo video introduco il concetto di modello di calcolo descrivendo in particolare le relazioni che sussistono tra macchine e linguaggi, finendo col discutere il ruolo della tesi di Church-Turing nella costruzione dei moderni computer digitali. ------------------------- TIMESTAMP 00:00 introduzione 00:50 ripasso video precedenti 04:25 pseudocodice e cervello 14:30 macchine e linguaggi 17:40 l'importanza della traduzione 22:30 la tesi di Church-Turing ------------------------- RIFERIMENTI - https://github.com/LeonardoE95/yt-it/blob/main/src/2021-10-26-teoria-della-computazione-linguaggi-macchine-e-la-tesi-di-church-turing ------------------------- CONTATTI - Technical blog: https://blog.leonardotamiano.xyz/ - Github: https://github.com/LeonardoE95?tab=repositories - Support my work: https://www.paypal.com/donate/?hosted_button_id=T49GUPRXALYTQ

Commenti 15

I commenti vengono da YouTube e sono aggiornati periodicamente.

@ISAIA1994 14 agosto 2025 1

grazie mille per questa playlist, io ricordo che personalmente mi ha aiutato molto imparare in parallelo 3 linguaggi, C, mentre studiavo batch perterminale windows e bash per terminale linux, questo mi ha agevolato a comprendere e assimilare bene i concetti di input/output come basi
1 risposta
1. @esadecimale Autore 14 agosto 2025
  
  ti ringrazio, si vedere come i diversi linguaggi implementano gli stessi concetti è molto utile
@LucaCanali 26 ottobre 2021 1

Ottimo video Leonardo 👍💪
@antoniopetrillo1984 26 ottobre 2021 1

Interessante come sempre 👍🏻 OffTopic: Dune è meraviglioso, sto leggendo ora il primo libro, ma ho DOVUTO già comprare tutti gli altri! OnTopic: se non hai letto Godel Escher Bach dagli un'occhiata è maledettamente interessante, parla moltissimo di argomenti del genere
2 risposte
1. @esadecimale Autore 26 ottobre 2021
  
  Adoro Godel Escher Bach, riletto di recente, sicuramente in futuro porterò del materiale al riguardo sul canale! :D
2. @antoniopetrillo1984 26 ottobre 2021
  
  @esadecimale quel libro è incredibile, da quando l'ho letto vedo collegamenti dappertutto. Prima o poi lo dovrò rileggere, sento di aver mancato troppe cose importanti.
@zerouno-dev 18 luglio 2025

Ciao Leonardo. Complimenti per la tua capacità di divulgatore e per i contenuti. Posso chiederti cosa usi per le presentazioni? Latex + altro? Grazie. 🙂
2 risposte
1. @esadecimale Autore 19 luglio 2025 1
  
  In questo video usavo: reveal.js e ox-reveal
2. @zerouno-dev 3 agosto 2025
  
  @esadecimale grazie! :-) E complimenti!
@gab-o5y2h 12 febbraio 2026

A proposito della tesi di turing : non è quindi possibile costruire una singola macchina che puo essere usata per calcolare qualsiasi sequenza computabile? PS: chiaramente era una battuta per fare un riferimento allo sfondo del canale
@andreasapone3676 17 agosto 2025

Ciao Leonardo, ho diversi dubbi riguardanti varie questioni , per ogni questione ti riporto di seguito quanto ho capito e ti chiedo perpiacere dei feedback sulla corretezza . 1)possibilità di traduzione tra due linguaggi Presi 2 linguaggi A e B e i modelli di calcolo associati a questi due linguaggi CA e CB . Sia FA l'insieme delle funzioni calcolabili da CA e FB l'insieme delle funzioni calcolabili da CB. Direi che CA e CB sono equipotenti se e solo se FA=FB. La tesi di Church turing e la macchina di turing ci forniscono un modello di calcolo universale che può essere usato per creare linguaggi che possono calcolare tutto il calcolabile(turing completi) ,quindi anche tutto cio che puo calcolare un altro linguaggio,e che quindi abbiamo le caratteristiche necessarie affinché il processo di traduzione sia possibile .(inoltre credo che per definizione il concetto di equipotenza sia relativo e che quindi anche due linguaggi non turing completi possono essere equipotenti ). 2) non mi è chiaro dato un linguaggio di programmazione quale possa essere formalmente il modello di calcolo associato . E' una macchina di turing o un altro modello (automa a stati finiti , pushdown automata ecc...) che esegue tutte e sole le istruzioni in quel linguaggio?. 3) non mi è ben chiaro come la capacità universale di calcolo di una macchina di turing universale possa essere associato a un linguaggio .forse il modello di calcolo associato al linguaggio deve essere una macchina di turing universale ? 4) il collegamento tra macchina e linguaggio della macchina. Le istruzioni,linguaggio che usa la macchina, vanno a definire le funzioni che quella macchina poi andrà ad implementare quindi esiste una equivalenza tra le due in merito a cio che è calcolabile,che il linguaggio esprime e la macchina implementa. Grazie per i contenuti di qualità🙂.
@anto_menn 12 settembre 2023

Molto interessante😊. Io avrei detto che turing ha dato una definizione di algoritmo, che nel 36 mancava. Inoltre ha scritto il primo interprere della storia, la macchina di turing universale. Il resto della storia lo conosciamo tutti, computer cellulari ecc.. P.S : L'esame di calcolabilità e complessità è tosto ma interessantissimo.
3 risposte
1. @esadecimale Autore 12 settembre 2023
  
  Grazie mille! Del lavoro di Turing ne parlo in un video successivo intitolato “La Macchina di Turing” :D
2. @anto_menn 12 settembre 2023
  
  @esadecimale si ho visto, molto molto interessante. Turing era un cazzo di genio
3. @esadecimale Autore 12 settembre 2023
  
  @anto_menn concordo pienamente