MACCHINE DI TURING | HALTING PROBLEM

[@chic_luke]

Da informatico mi fa molto piacere notare che anche nelle facoltà umanistiche le parti più affascinanti della nostra materia sono trattate, peraltro con questo livello di cura. Questa è una overview molto buona sul funzionamento delle macchine di Turing e della decidibilità.

[@PaoloSeghetti]

Inopinabilmente colta e arditamente preparata. Ma, sopratutto, di un fascino mozzafiato. Se potessi ti chiederei la mano! Complimenti ancora per la tua capillare erudizione!

[@DiventiVento]

Mi è piaciuto molto tutto il video, in particolare la parte finale che finisce con una contraddizione. Non ho una laurea nè un diploma ma mi è piaciuto lo stesso seppur non abbia seguito tutto il video-corso e non ho capito forse le basi a riguardo. Sei molto brava, grazie per il bellissimo video. Un saluto!

[@Stormix1992]

Realmente vengono trattati questi argomenti ad un corso di laurea in filosofia? Naturalmente in modo (per forza di cose) più approssimativo e meno sostanziale, ma ci sta. Meraviglioso. Da ingegnere informatico non posso che apprezzare; chapeau.

[@Darkon10199]

Ingegneri quando scoprono che le facoltà umanistiche non sono "scienze delle merendine" e il loro corso di laurea non ha niente di speciale rispetto agli altri:

[@Stormix1992]

@Darkon10199 Non ho mai sminuito le facoltà umanistiche, stai sparando non sapendo, modus operandi che avrebbero dovuto insegnarti a non esercitare. Non trovi? Mai accennato alla specialità di alcune facoltà rispetto ad altre, mi spiace ma rispondo di quel che dico e non di quello che insinui.

[@philippebasten4464]

@@Darkon10199 sono uno studente di logica (vengo dalla triennale in filosofia), per commenti come i tuoi non mi sorprendo del fatto che diamo l'idea di essere frustrati e invidiosi. Quello che hai fatto tu è (se studi filosofia dovresti saperlo) un classico "argomento fantoccio": l'utente a cui hai risposto non ha detto nulla di quello che hai scritto, anzi ha riportato un qualcosa di vero, specialmente in Italia, cioè che raramente nelle facoltà di filosofia si studia logica/filosofia analitica, almeno in triennale, ed è giustamente sorpreso dalla cosa. Oltretutto il suo commento ha un tono più che positivo (ha detto "meraviglioso", "non posso che apprezzare", "chapeau"). Se io sapessi che un ingegnere ha corsi di filosofia della scienza sarei allo stesso modo felicemente sorpreso, perché è materia che in pochi casi si studia in quelle facoltà, e non sarebbe offensivo dire che quasi certamente il programma sarebbe più approssimativo e meno sostanziale del nostro.

[@Stormix1992]

@@philippebasten4464 Grazie infinite del tuo prezioso contributo, non avrei saputo spiegarlo meglio.

[@spinosauro9727]

​@@philippebasten4464 nessuno leggerà tutto questo

[@bdfg90210]

molto brava, ti auguro di diventare un' insegnante

[@jonny8874]

Stai innalzando la qualità dei tuoi contenuti in maniera esponenziale. Mi complimento con te per il percorso su questa piattaforma !

[@Zuddama]

La facoltà definitiva dovrebbe essere costituita sia da materie umanistiche che scientifiche, per cui mi fa piacere vedere queste contaminazioni informatiche alla facoltà di filosofia. Bella per te, buono studio 🤟

[@giulianobenegiamo7953]

Sono perfettamente d'accordo con te! La netta divisione tra discipline scientifiche ed umanistiche deve essere superata!

[@Zuddama]

@@giulianobenegiamo7953 Grazie. Buona domenica.

[@dsjeevkeon]

ahahah mi sa che ti ho visto a mangiare ieri sera. ottimi video

[@tanozori]

Spiegazione chiarissima! Potresti consigliarmi un libro su quest'argomento?

[@tonithebank]

un bel inizio 2025 scoprire questo canale

[@danieleboganini2609]

Sei bravissima

[@mysteriousXsecret]

Studiato tutto ciò al CdL di Informatica 🥰

[@The64Dreamer]

Chiarezza esemplare!

[@gabrieleberti18]

Ciao un curiosità, questi temi vengono affrontati in tutte le facoltà di filosofia o la tua in particolare ha un indirizzo "informatico"?

[@ali.liverani]

@@gabrieleberti18 Ciao, no io frequento regolarmente una facoltà di filosofia e ho trattato questi argomenti al corso di logica I. Sinceramente riguardo al programma delle altre facoltà non so nulla.

[@GatsuTheIllusiveMan]

manca l'armonia.

[@athosdiego3151]

🆒️🎬

[@Darkon10199]

20:20 un approfondimento sul principio di coerenza: la necessità che la quadrupla abbia sempre un unico spostamento da fare e simbolo da scrivere è una caratteristica delle macchine di turing *deterministiche*. Questo le rende più simili ai computer veri che abbiamo e all'idea di algoritmo come sequenza di istruzioni da seguire alla lettera, oltre che a semplificare un po' certe dimostrazioni. Tuttavia, sono studiate anche le macchine di turing *non* deterministiche in cui di fatto la macchina di turing può avere più strade da scegliere (sia andare a destra che a sinistra o scrivere diversi simboli). Le non deterministiche non sono particolarmente rilevanti nella teoria della computabilità (la classe di algoritmi calcolabili è la stessa), ma sono importanti per studiare la complessità degli algoritmi (vedi NP=P). Detto questo, daily reminder che dopo aver salvato gli alleati nella seconda guerra mondiale, turing si suicidò perché condannato alla castrazione chimica, reo del peccato di essere gay

[@xxxyyy-zzz2624]

Ammazza che brava che sei!!!!!!Sei laureata in filosofia o informatica?