On Fri, Dec 14, 2018 at 8:43 PM Brent Meeker <meeke...@verizon.net> wrote:
> Yes, you create a whole theology around not all truths are provable. But > you ignore that what is false is also provable. Provable is only relative > to axioms. > > 1. Do you agree a Turing machine will either halt or not? 2. Do you agree that no finite set of axioms has the power to prove whether or not any given Turing machine will halt or not? 3. What does this tell us about the relationship between truth, proofs, and axioms? Jason -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
