computer assisted proof
Il Numero di Dio
Il cubo di Rubik può sermpre essere risolto in al più venti mosse. Come lo si è scoperto? Usando la forza bruta.
Altri articoli su questo argomento
Apple sta diventando il maggior produttore di computer
Il sorpasso ai danni di HP dovrebbe avvenire l'anno prossimo, principalmente grazie all'iPad
Un computer da 35 dollari per le scuole indiane
Il dispositivo è ancora un prototipo, ma il governo vuole avviarne la produzione entro pochi mesi
HP ci ripensa e non lascia i computer
Il nuovo CEO di Hewlett Packard ha deciso di non abbandonare la produzione dei PC, ma la società non sa bene dove andare
HP non farà più computer?
Hewlett Packard ha annunciato il prossimo abbandono della produzione dei pc, per concentrare gli sforzi su software e servizi per le aziende
Cultura e computer ci libereranno?
È quello che pensava Calvino, e che oggi auspica Gianni Riotta raccontando cosa manca soprattutto all'Italia berlusconata
Tutti fermi per una simulazione al computer
Il modello che ha decretato lo stop ai voli non era basato su sufficienti osservazioni empiriche del fenomeno
La Lego premia Negroponte e il suo computer da 100 dollari
Il premio, di 100.000 dollari, va a Negroponte per il suo progetto One Laptop Per Child
Il programma che ricicla la spazzatura del vostro computer
Scrivere al computer con la propria grafia
https://www.youtube.com/watch?v=pHl8UEewbN8
Chi ha un computer deve pagare il canone
In base a un decreto regio del 1938, la Rai chiede a 5 milioni di imprese e cittadini con partite IVA di pagare un canone speciale: perché hanno un computer o un videocitofono
Obama ha un computer tutto suo (video)
E lo spiega con grande efficacia comica a un intervistatore
Il Grande Maestro e il computer
La storia di Magnus Carlsen, numero due del mondo degli scacchi rivoluzionato
House of the rising sun, suonata con vecchissimi computer
Isaac Asimov e il computer
Che cos’è la sindrome da visione al computer
Riguarda moltissime persone che passano le giornate a fissare uno schermo, ma basta qualche accorgimento per tenerla sotto controllo
WhatsApp ora ha un’app per computer
Può essere installata su Windows e Mac, si sincronizza con l'app sullo smartphone e non richiede l'utilizzo del browser
Come si insegna a un computer a imparare
Guida minima al "deep learning", la tecnica più utilizzata per far sì che un computer sappia riconoscere un gatto, per esempio
“Ok Computer” cambiò delle cose, 20 anni fa
Il 21 maggio 1997 uscì il disco più famoso dei Radiohead, secondo molti l'ultimo ad aver fatto cambiare direzione al rock
