From: Jeff Medina (email@example.com)
Date: Thu Oct 21 2004 - 14:04:34 MDT
Eliezer said: "Thank you for your suggested reading, but I'm already
quite extremely aware
that no consistent formal system can prove its own consistency. If you're
not clear on why this presents a unique challenge for reflective theorem
provers, I recommend John Harrison's "Metatheory and Reflection in Theorem
Proving: A Survey and Critique." "
I neither suggested any readings, nor made mention of the fact that no
consistent formal system can prove its own consistency (which is such
a fundamental and widely known result, I take that it goes without
saying on such a mailing list). Perhaps the flurry of replies resulted
in my name being included in a reply intended for a different
commenter. If not, I'm baffled as to how any of what you've said
applies to my recent message.
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:49 MDT