Arcoiris TV
Arcoiris TV

la Chiesa dice che la Terra è piatta, ma io so che è rotonda, perché ne ho visto l'ombra sulla Luna, ed ho più fiducia in un'ombra che nella Chiesa (Ferdinand Magellan) - traduzioni

Fondazione Logos
326 utenti


Libri.itAMICHE PER LA VITA - Nuova edizioneEDMONDO E LA SUA CUCCIAPOLLICINOTILÙ BLU NON VUOLE PIÙ IL CIUCCIOTILÙ BLU VUOLE BENE ALLA SUA MAMMA
Emergency

Fai un link ad Arcoiris Tv

Fai un link ad Arcoiris Tv

Utilizza uno dei nostri banner!












Categoria: Scienza e Tecnologia (3453)

Categoria: Scienza e Tecnologia

Sottocategorie (3370)

Totale: 83

Tutti i filmati ordinati per

Tra segni e significati: un'introduzione alla Teoria dei Modelli

Tra segni e significati: un\'introduzione alla Teoria dei Modelli 
Fare matematica significa utilizzare continuamente un linguaggio simbolico, che ha determinate regole formali. Tale è la sintassi. Però, fare matematica significa anche dare un significato - o anche più di un significato - a tali simboli e tali regole. Tale è la semantica. La teoria dei modelli è una specie di gioco a ping-pong tra sintassi e semantica, tra logica e strutture algebriche. Scopriamola insieme con Simone Ramello, dottorando presso l'Università di Münster. Intervistato: Simone Ramello, Dottorando WWU Münster Intervistatore: Francesco Genovese

Visita: meetscience.it

ChatGPT: L'intelligenza artificiale riesce a passare Analisi 1?

ChatGPT: L\'intelligenza artificiale riesce a passare Analisi 1? 
ChatGPT è una l'intelligenza artificiale che sta spopolando, capace di rispondere a domande di ogni tipo. La metteremo alla prova cercando di vedere se riesce a prendere 18 all'esame di analisi 1 e di fisica 1.

Visita: meetscience.it

Confutazioni e dimostrazioni matematiche

Confutazioni e dimostrazioni matematiche 
La matematica sembra la disciplina del rigore e delle verità più cristalline, ma è davvero così? Qual è il reale processo con il quale si costruiscono i teoremi e le dimostrazioni che siamo abituati a trovare nei libri? Lo scopriremo leggendo insieme le prime pagine di un classico della filosofia della matematica: "Dimostrazioni e confutazioni" (originale: "Proofs and Refutations) di Imre Lakatos

Visita: meetscience.it

Digital Health: Un incontro tra medicina, informatica ed intelligenza artificiale

Digital Health: Un incontro tra medicina, informatica ed intelligenza artificiale 
"Digital health" non è un termine molto conosciuto in Italia, ma fa parte di un cambio di paradigma per quanto concerne la medicina e la nostra salute.
In questo episodio di Meet Science affronteremo questa evoluzione, grazie ad esperti nel settore dell'intelligenza artificiale e della medicina.
Anna Monreale, esperta di data privacy e big data, direttrice del master in Big Data.
Giuseppe Prencipe, si occupa di ricerca in informatica fra cui digital health.
Giusy Sgandurra, specializzata in neuropsichiatria infantile, ricerca nuove tecnologie per migliorare la ... continua

Visita: meetscience.it

Quanto non capiamo nulla di fisica nucleare (difficoltà 2/3)

Quanto non capiamo nulla di fisica nucleare (difficoltà 2/3) 
"Un nuovo esperimento conferma: non capiamo ancora nulla dei nuclei atomici" titolano le testate. Una nuova misura degli stati eccitati del semplice sistema di un nucleo di Elio con 4 particelle rivela che le migliori teorie non prevedono neppure il corretto raggio. Tante anomalie e incomprensioni si celano nel mondo della fisica nucleare, e un universo da scoprire si cela dentro a ogni atomo. Ne parliamo con Andrea, professore di fisica nucleare teorica, e Daniele, a cui non è mai piaciuta la fisica nucleare.

Visita: meetscience.it

IA, ChatGPT e modelli linguistici, flamma anche gli effective altruists

IA, ChatGPT e modelli linguistici, flamma anche gli effective altruists 
Andrea parla di intelligenza artificiale, spiegando i modelli linguistici e provando a usare il modello di Meta allenato su contenuti scientifici: Galactica www.galactica.org
e lo stuzzica con dei piccoli test divertenti. Questa live e' uscita poco prima del nuovissimo ChatGPT, ma tante discussioni al suo interno riflettono lo stato e il funzionamento di tutti i modelli linguistici come Gattaca, ChatGPT, Bing, Bard.
Verso la fine fa anche qualche stoccata all'effective altruism, commenta come se ne è parlato su YouTube Italia da parte di Rick DuFer e Entropy For ... continua

Visita: meetscience.it

Perché si diventa complottisti? con Lorenzo Gagliardi

Perché si diventa complottisti? con Lorenzo Gagliardi 
In questo episodio di Meet Science abbiamo parlato di teorie del complotto: cosa sono, come sono definite, ed in che modo i bias le rendono credibili.
Per ogni grande evento della storia esiste almeno una teoria del complotto: dalle piramidi egizie alla pandemia.
Per quanto bizzarre, le teorie del complotto offrono un ottimo caso studio per le scienze cognitive e comportamentali.
Se si diventa complottisti è perché si cade preda di cortocircuiti cognitivi (bias) oppure di meccanismi di auto-difesa?
Ne parliamo con Lorenzo Gagliardi, dottorando ... continua

Visita: meetscience.it

Senza perdere di generalità: la giornata di un matematico a caso

Senza perdere di generalità: la giornata di un matematico a caso 
Cosa significa fare ricerca in matematica? Qual è la giornata tipo di un matematico? Live di domande e risposte.

Visita: meetscience.it

Un invito alle categorie superiori

Un invito alle categorie superiori 
Il concetto di ""uguaglianza"" o ""identità"" può sembrare così banale da non doverci perdere neanche un po' di tempo: ogni cosa è uguale a sé stessa, fine. Ma è davvero tutto così semplice? Sull'orologio analogico, le ore 6 e le ore 18 sono rappresentate allo stesso modo, eppure non sono ""uguali"".
C'è di più: immaginiamo, partendo da mezzanotte, di spostare la lancetta dell'orologio avanti di tre ore per due volte: semplicemente, 3*2 = 6. Se però spostiamo la lancetta avanti di quindici ore per due volte? 15*2=30, e ciò (provate) ci porta ancora la ... continua

Visita: meetscience.it

Il vero complotto contro il nucleare e regolamentare GPT

Il vero complotto contro il nucleare e regolamentare GPT 
Condividetelo che l'algoritmo lo sopprimerà a 0 (e i poteri forti lo bloccheranno).
Parliamo dei segreti che circondano alcune parti della fisica nucleare, sia di base che applicata. In particolare, approfondiremo il programma Plowshare, un progetto degli anni '60 che voleva utilizzare le armi nucleari per applicazioni pratiche come la costruzione di canali e miniere, ma che è stato cancellato per paura di proliferazione nucleare. Venite a vedere come esistano veramente i complotti, e come il nostro benessere e la lotta al cambiamento climatico ne abbia sofferto ... continua

Visita: meetscience.it