dimostrazioni al computer

10/10/2016

Dimostrazioni umane?

Qual è la vera differenza tra le dimostrazioni matematiche fatte dagli umani e dai computer? È una questione complicata.

19/02/2014

Una dimostrazione più grande di tutta Wikipedia

Il primo passo avanti nella dimostrazione di una congettura di Erdős è stato (forse) compiuto da un dimostratore automatico di teoremi. Ma...

Altri articoli su questo argomento

22/10/2019

Un assistente vocale diventa una spia con poco

Un gruppo di esperti di sicurezza ha dimostrato come estensioni apparentemente innocue rendano Alexa e Assistente Google piuttosto indiscreti

30/06/2017

Dovete vedere la realtà aumentata di Apple

Sugli iPhone stanno per arrivare nuove app per inserire oggetti e mondi virtuali in ambienti reali: alcune sono sorprendenti

26/10/2013

Gödel, Dio e Repubblica

Ogni tanto leggo un articolo su un quotidiano e mi chiedo perché sia stato pubblicato. I misteri della cosiddetta divulgazione scientifica.

27/03/2013

Ricondursi al caso precedente

Quella del titolo è una frase tipica da matematico e fa spesso divertire chi matematico non è, però è uno strumento molto potente quando lo si sa usare.

03/06/2013

Non è che i matematici predichino bene e razzolino male: il punto è che loro sono inconsciamente abituati a distinguere la scoperta di una proprietà dalla sua dimostrazione, ma si dimenticano di mostrare il momento della scoperta.

20/05/2016

10 dritte per usare meglio Chrome

Come salvare i video in streaming e come risparmiare memoria del computer, tra le altre cose: magari non le sapete tutte

18/01/2016

A che punto sono le auto che si guidano da sole?

Nell'ultimo anno ci sono stai grandi progressi, ma ci sono ancora diversi problemi da risolvere prima di poter fare a meno degli autisti umani

19/12/2021

L’articolo che rese famosa Elizabeth Holmes e che ora potrebbe favorirne la condanna

Lo pubblicò la rivista "Fortune" nel 2014 e contribuì alla crescita di Theranos, oggi considerata «la più grande truffa della Silicon Valley»

23/02/2012

Quando i matematici sbagliano

Perché preoccuparsi delle smentite in fisica? Persino in matematica una dimostrazione non è sempre corretta.

04/10/2022

Il Nobel per la Fisica a Alain Aspect, John F. Clauser e Anton Zeilinger

Grazie ai loro studi sui fenomeni quantistici, i tre ricercatori hanno reso possibili importanti progressi nella scienza dell'informazione

14/09/2011

Come è fatto il nuovo Windows 8

È fatto diverso, ha generato degli "oooh", ma arriva solo l'anno prossimo

16/03/2016

Perché la vittoria di AlphaGo è importante

L'intelligenza artificiale di Google ha superato il paradosso per cui sappiamo più cose di quante ne riusciamo a spiegare, racconta il New York Times

11/02/2015

Dimostrazioni a conoscenza zero

È possibile convincere qualcuno che noi conosciamo un segreto, senza effettivamente rivelarglielo? A prima vista sembra impossibile, ma esiste un modo per renderlo più che ragionevolmente certo. [Continua]

10/10/2011

Steve Jobs mi ha insegnato 13 cose

Guy Kawasaki aveva lavorato col CEO di Apple e ha imparato, tra le altre cose, che il punto d'inizio per cambiare il mondo è cambiare le idee di pochi

10/05/2016

Che cos’è Viv, il nuovo Siri

L'assistente personale ideato dagli stessi che fecero quello di Apple sembra più sveglio, capisce molte cose e vuole essere ovunque

12/05/2022

Contribuire alla ricerca sul cancro, scaricando un’app

Si chiama DreamLab: è un esempio di “scienza partecipata”, basata sulla libera collaborazione dei cittadini, ma anche dello stretto rapporto tra medicina e tecnologia