Kurt Godel è stato un matematico e filosofo che nel 1931 elaborò i famosi “teoremi dell’incompletezza”. Il primo di questi, semplificando, si può riportare così:
In ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali — vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto — è possibile costruire una proposizione sintatticamente corretta che non può essere né dimostrata né confutata all’interno dello stesso sistema.
Se non lo avete capito fino in fondo …

Il 2012 è l’anno dedicato ad Alan Turing, geniale scienziato e padre dell’informatica moderna. Nato il 23 giugno 1912, quindi esattamente cento anni fa, è noto soprattutto per la cosiddetta Macchina di Turing, il dispositivo da cui origina ogni computer (che Alan descrisse quando aveva solo 24 anni!), così come per il Test di Turing, una sorta di procedimento per distinguere un umano da una macchina, o per capire se una macchina è in grado di pensare.
La macchina di Turing, molto semplicemente, …

In principio era lo sport: ti muovevi male, e ti veniva il gomito del tennista, o la tendinite. Poi sono arrivati i computer: e punta, e clicca, e clicca e punta; e tutti avevano il tunnel carpale (se non malattie sessuali, a usarlo come nella foto qui accanto).
Poi, ancora, hanno inventato la Wii. E, diabolicamente, si sono combinati i problemi di salute dovuti allo sport con quelli dovuti alla tecnologia, tanto da inventare una nuova patologia: la wiite (che, curiosamente, in inglese si scrive con tre “i”).
Non pago dei dolori …