logica
Indice delle cose notevoli #2
Una lista periodica delle cose degne di nota che di recente ho visto, letto, ascoltato, imparato o ritrovato [Continua]
La fine dei ragionamenti
Nel suo ultimo libro il filosofo Ermanno Bencivenga descrive la nostra disabitudine alla logica e alla riflessione indotta dall'uso delle tecnologie contemporanee (e future)
Raymond Smullyan
È morto il più famoso logico matematico ricreativo
Sai risolvere l’indovinello del ponte?
Quattro persone si devono salvare dagli zombie superando un ponte di corda che sopporta il peso di due persone al massimo. Le quattro persone vanno a velocità diverse, devono muoversi al buio e hanno soltanto 17 minuti. Come fanno a sopravvivere?
L’indovinello del compleanno, di cui tutti parlano
Viene dalle Olimpiadi di Matematica a Singapore, riguarda un bizzarro terzetto e un compleanno, e non è per niente facile, in effetti
Il vestito della festa
Ogni tanto mi guardo la foto: nonno Antonio vestito a festa. Contadino. Vita dura, due guerre, nessuna fortuna l’ha mai toccato, vari lutti e tanta fame. [Continua]
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.
Spending review sulle operazioni
Con un po' di contorsioni, e ammettendo l'esistenza a priori di 0 e 1, è possibile definire una singola operazione dalla quale si possono ottenere le quattro usuali operazioni.
Come comunicare le informazioni scientifiche?
Con i dati oggi a disposizione, si può immaginare che la condanna dei componenti della Commissione Grandi Rischi in relazione al terremoto dell'Aquila sia dovuta al loro avere rassicurato la popolazione; ma il verbale non dice nulla del genere. C'è sicuramente stato un problema di comunicazione: si poteva fare meglio?
Vero o falso 2
Altre liste di affermazioni, finite e infinite, e altri risultati controintuitivi
Vero o falso?
Già non è sempre facile decidere se un'affermazione è vera o falsa; ma quando c'è una lista di affermazioni la cosa diventa ancora più complicata... soprattutto se la lista è infinita.
Il primo teorema di incompletezza di Gödel
La dimostrazione del teorema di incompletezza di Gödel non è complicatissima, ma è così autoreferenziale che a volte sembra di vedere Ritorno al futuro II. Ho provato a sminuzzarla e descriverla.
arriva Gödel!
Cosa dice esattamente il teorema di Gödel? E perché è così importante?
Prima di Gödel…
I teoremi di incompletezza di Gödel hanno segnato la fine della sicurezza che i matematici hanno avuto per 2500 anni. Cosa è successo prima che arrivasse lui?
I numeri naturali e gli assiomi di Peano
Uno, due, tre, quattro... più facile di così non c'è nulla, sembrerebbe. Ma anche i numeri naturali hanno una loro storia dietro.
E’ logico
Le mirabolanti proprietà dell’insieme vuoto
Nella teoria degli insiemi ci sono delle proprietà a prima vista paradossali, eppure perfettamente valide. Non bisogna mai fermarsi alle apparenze!
L’ Argomento Hopsyrano
Brancher e la logica
Dall'intervista al ministro per il non-si-sa-ben-cosa un esempio di come la logica matematica non faccia ancora parte della cultura di base.
La logica disegnata
Esce in Italia Logicomix, affascinante graphic novel che si occupa di logica e di Bertrand Russell, ammirato (davvero) dalla critica internazionale
