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à.
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.
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:
@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.
@@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.
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!
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 🤟
Mitiche le lezioni del professor Minari! Logica a Firenze spacca (e grazie a dio, viste le scarse conoscenze matematiche alle facoltà di filosofia di solito).
@@sergioiacino4825 uno dei migliori insegnanti di logica in Italia. Ha poi pubblicato la "seconda parte" del suo manuale introduttivo (che ai miei tempi ancora dava solo agli studenti del corso come dispensa integrativa)?
@mattomaterialista no haha rimane ancora come dispensa (utilissima tra l'altro per quasi tutti i corsi della magistrale, soprattutto per Proof Theory). Ma tu ora di che ti occupi? Logica o altro?
Inopinabilmente colta e arditamente preparata. Ma, sopratutto, di un fascino mozzafiato. Se potessi ti chiederei la mano! Complimenti ancora per la tua capillare erudizione!
Complimenti per la capacità di memorizzazione, apprendimento e spiegazione della materia. Il mio unico dubbio è se sia davvero così necessario un linguaggio estremamente tecnico e a mio avviso “complicato”. I professori esigono questo? Semplificare le spiegazioni faciliterebbe l’apprendimento. Detto ciò, continua così. La qualità è certamente alta
Comunque tu che metodo usi all'università? A parte gli appunti integri dal libro? Come si seleziona cosa prendere dal libro? E semplicemente cosa una persona si ricorda? Come sei riuscita ad adattarti all'università? Anche a te alle superiori dicevano si sarebbero dovuti studiare interi libri?
@@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.
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
Comunque, sto ascoltando, e sei molto brava a ripetere! Sono tematiche molto di nicchia, che si, pensandoci bene secondo me ci stanno completamente con la filosofia, in quanto permettono di capire i limiti teorici dei computer (in generale, delle tecnologie digitali), un qualcosa che un filosofo secondo me dovrebbe sapere. Grazie per la condivisione
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à.
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.
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:
@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.
@@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.
@@philippebasten4464 Grazie infinite del tuo prezioso contributo, non avrei saputo spiegarlo meglio.
@@philippebasten4464 nessuno leggerà tutto questo
Brava! Insegnare agli altri è il miglior modo per studiare. Continua così e farai grandi cose. In bocca al lupo per tutto.
Stai innalzando la qualità dei tuoi contenuti in maniera esponenziale. Mi complimento con te per il percorso su questa piattaforma !
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!
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 🤟
Sono perfettamente d'accordo con te! La netta divisione tra discipline scientifiche ed umanistiche deve essere superata!
@@giulianobenegiamo7953 Grazie. Buona domenica.
Mitiche le lezioni del professor Minari! Logica a Firenze spacca (e grazie a dio, viste le scarse conoscenze matematiche alle facoltà di filosofia di solito).
Anche tu hai fatto logica con Minari? In che anni (magari ci siamo incontrati)?
@mattomaterialista pure la tesi! Anyway, tutt'ora, quindi non credo :)
@@sergioiacino4825 uno dei migliori insegnanti di logica in Italia. Ha poi pubblicato la "seconda parte" del suo manuale introduttivo (che ai miei tempi ancora dava solo agli studenti del corso come dispensa integrativa)?
@mattomaterialista no haha rimane ancora come dispensa (utilissima tra l'altro per quasi tutti i corsi della magistrale, soprattutto per Proof Theory). Ma tu ora di che ti occupi? Logica o altro?
@sergioiacino4825
Anche di logica, sì, ma fuori dai palazzi della ricerca, per il momento. A te auguro una buona laurea magistrale!
Inopinabilmente colta e arditamente preparata. Ma, sopratutto, di un fascino mozzafiato. Se potessi ti chiederei la mano!
Complimenti ancora per la tua capillare erudizione!
Nel programma trattare anche le tematiche sui limiti dei sistemi formali matematici (teoremi di incompletezza di gödel e cose annesse)?
molto brava, ti auguro di diventare un' insegnante
Complimenti per la capacità di memorizzazione, apprendimento e spiegazione della materia.
Il mio unico dubbio è se sia davvero così necessario un linguaggio estremamente tecnico e a mio avviso “complicato”. I professori esigono questo?
Semplificare le spiegazioni faciliterebbe l’apprendimento.
Detto ciò, continua così. La qualità è certamente alta
Spiegazione chiarissima! Potresti consigliarmi un libro su quest'argomento?
posso chiederti dove hai preso la lavagna?
un bel inizio 2025 scoprire questo canale
ahahah mi sa che ti ho visto a mangiare ieri sera. ottimi video
@dsjeevkeon dov’eri?
Comunque tu che metodo usi all'università? A parte gli appunti integri dal libro? Come si seleziona cosa prendere dal libro? E semplicemente cosa una persona si ricorda?
Come sei riuscita ad adattarti all'università? Anche a te alle superiori dicevano si sarebbero dovuti studiare interi libri?
Studiato tutto ciò al CdL di Informatica 🥰
Ciao un curiosità, questi temi vengono affrontati in tutte le facoltà di filosofia o la tua in particolare ha un indirizzo "informatico"?
@@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.
Sei bravissima
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
@@Darkon10199 grazie per questo approfondimento e soprattutto per quello che hai detto sul finale♥️
confermo tutto
@@onaecO non ci credo, grazie Alan🙏
Chiarezza esemplare!
Originale luogo di esposizione 🤣
Comunque, sto ascoltando, e sei molto brava a ripetere!
Sono tematiche molto di nicchia, che si, pensandoci bene secondo me ci stanno completamente con la filosofia, in quanto permettono di capire i limiti teorici dei computer (in generale, delle tecnologie digitali), un qualcosa che un filosofo secondo me dovrebbe sapere.
Grazie per la condivisione
Su certe cose meglio andarci con i piedi di piombo. Comunque, se lo fai per passione a scopo divulgativo, di certo male non fa
Solo a me sembra una giovanissima Stefania Marchi, figlia di Wanna?
🆒️🎬
se controlli il video i disegni non si vedono
manca l'armonia.
Ammazza che brava che sei!!!!!!Sei laureata in filosofia o informatica?