Aritmetica di Robinson
I teoremi di Gödel vi sembrano troppo complicati? Eccovi un modo molto semplice per trovare una proposizione indecidibile secondo certe regole aritmetiche.
assiomi
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.
Altri articoli su questo argomento
La nutella nel ventilatore
Chi commenta, rilancia o si sdegna non contrasta, ma propaga e rafforza. In altre parole: è il ventilatore [Continua]
Geometria a pallini
Punto, retta e piano sono davvero concetti così naturali da non poter essere diversi? Mica tanto.
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.
Paura, eh?
Pretendere che si imparino a memoria le definizioni formali dei concetti matematici è assurdo, a meno che non si sia matematici di professione.
Matematica e libertà
Non ho certo le capacità di interloquire con il papa emerito sui temi teologici, ma forse su quelli più prettamente matematici qualcosa posso dire.
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.
I mysteri della matematica
Ci sono tanti misteri riguardanti la matematica: provo ad elencarne qualcuno.
Quanto fa 0^0?
No, 0^0 non è una faccina con gli occhiali ma un'operazione matematica. Però non è che tutte le operazioni matematiche siano sensate...
Recensione: Pietro Greco, Homo
Non ci sono davvero due culture: arte e scienza hanno sempre avuto collegamenti e contaminazioni più o meno visibili
Geometrie non euclidee
Nel XIX secolo i matematici hanno avuto finalmente il coraggio di accettare l'idea che il postulato delle parallele non fosse necessariamente vero. Nacquero così altre due geometrie con assiomi diversi: quella ellittica e quella iperbolica.
Matematica o teologia?
Una diatriba seicentesca sull'uso degli infinitesimi potrebbe avere una radice teologica?
Il Senato ha approvato la grande riforma fiscale di Trump
Era una delle promesse centrali di Trump in campagna elettorale: prevede soprattutto tagli di imposte alle imprese e ai più ricchi
Perché le note sono sette?
Qualche considerazione non troppo seria sulle scale musicali. Non credete troppo a quello che ho scritto!
Il teorema dei quattro colori
Per colorare una mappa senze che due regioni adiacenti abbiano lo stesso colore, ne bastano quattro. C'è voluto più di un secolo per dimostrarlo, e alla fine è stato necessario usare il computer. Ma allora è una dimostrazione vera oppure no?
Il quinto postulato di Euclide
Quello delle geometrie non euclidee è un tema che non può mancare in un blog di divulgazione matematica; il difficile è riuscire a dire qualcosa di diverso dal solito. Cominciamo a vedere la storia dei tentativi di dimostrazione.
Reuben Hersh
Insomma, la matematica è creata o inventata? Hersh aveva una posizione ben precisa al riguardo.
arriva Gödel!
Cosa dice esattamente il teorema di Gödel? E perché è così importante?