Hacker News new | past | comments | ask | show | jobs | submit login

Re. "logic of truth" vs. "logic of resources". Reminds me of Carl Hewitt. Seen this? http://arxiv.org/abs/0812.4852

(search for { contra godel, direct logic }) Can't find it but he quotes a really interesting exchange between Wittgenstein and Turing (who was attending his class) where W in his inimitable style just waves away paradoxes and says "so what?"




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: