L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] . Se ora sostituiamo X con G nella proposizione precedente, abbiamo un teorema che prova la sua non-dimostrabilità! Gödel, quindi, aveva sfruttato l'esistenza dei famosi paradossi autoreferenziali in logica per dimostrare l'indecidibilità della ...
Leggi Tutto
Scienza greco-romana. La scienza del cielo nel periodo pretolemaico
Alan C. Bowen
La scienza del cielo nel periodo pretolemaico
I documenti superstiti della scienza del cielo tra il IV sec. a.C. e [...] in un determinato insieme, o il modo in cui un documento si rapporta a un altro.
Questo genere di dimostrabilità è differente da quello riscontrabile nelle consuete esposizioni narrative dedicate alla scienza del cielo pretolemaica. Queste ultime non ...
Leggi Tutto
verita
verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non credere alla v. delle parole di qualcuno;...