Gregory Chaitin, Kurt Gödel, Paradox, Algorithmic Information, Conservation Laws.
“God exists since mathematics is consistent, and the Devil exists since we cannot prove it.” Do you think undecidability can be useful in bridging the gap between logic and ethics, between passion and reason? GC: My views are different. Exaggerating a bit, consistent mathematics is boring, because