dimostrazioni al computer
Dimostrazioni umane?
Qual è la vera differenza tra le dimostrazioni matematiche fatte dagli umani e dai computer? È una questione complicata.
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
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
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
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.
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.
matematica per analogie
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.
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
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
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»
Quando i matematici sbagliano
Perché preoccuparsi delle smentite in fisica? Persino in matematica una dimostrazione non è sempre corretta.
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
Come è fatto il nuovo Windows 8
È fatto diverso, ha generato degli "oooh", ma arriva solo l'anno prossimo
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
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]
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
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
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
I visori per la realtà virtuale non stanno vendendo molto
Prezzi alti e pochi contenuti di qualità frenano la domanda, fatta eccezione per un inatteso successo di Sony
