Warren comments on Visualizing Eutopia - Less Wrong

12 Post author: Eliezer_Yudkowsky 16 December 2008 06:39PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (37)

Sort By: Old

You are viewing a single comment's thread.

Comment author: Warren 16 December 2008 08:46:15PM 0 points [-]

For me Marcello's comment resonates, as does the following from _Set Theory with a Universal Set_ by Thomas Forster. I am basically some kind of atheist or agnostic, but for me the theme is religion in the etymological sense of tying back, from the infinite and paradoxical to the wonder, tedium and frustration of everyday life and the here and now. (I dream of writing a book called Hofstadter, Yudkowsky, Covey: a Hugely Confusing YES!)

(http://books.google.com/books?id=fS13gB7WKlQC)

"However, it is always a mistake to think of anything in mathematics as a mere pathology, for there are no such things in mathematics. The view behind this book is that one should think of the paradoxes as supernatural creatures, oracles, minor demons, etc. -- on whom one should keep a weather eye in case they make prophecies or by some other means inadvertently divulge information from another world not normally obtainable otherwise. One should approach them as closely as is safe, and from as many different angles as possible."

Somewhere else in the book, he talks about trying to prove a one of the contradictions (of naive set theory) in one of the axiomatic systems presumed to be consistent, and seeing what truths are revealed as the exploded bits of proof spontaneously reassemble. Things like the magic of recursion as embodied in the Y combinator.

Thus I value people like Eliezer trying to ponder the imponderable.