Dear Russell,
Yes, and it was Hofstädter's Gödel loops that gave me the idea of
how one might model self-referential systems. I found Jon Barwise's work on
non-well founded set theory to be the best treatment of this so far, but
there still is not a general enough logical and algebraic fra
Hi Stephen,
A very interesting post, one that I haven't fully grokked yet. I think
the question you're tackling is another facet of the problem of the
Anthropic Principle that I outlined in my book, so I wish you well in
your endeavours. One tip is that I think Hofstädter's Gödel loops are involved
2 matches
Mail list logo