On Monday, June 24, 2019 at 3:22:45 AM UTC-5, Bruno Marchal wrote: > > > Keep in mind that by “non provable” I mean “need to be assumed” for > proving …. Even the tautologies are not all provable. You need to assume > some axioms and/or rules. > > > All proofs are spoofs.
[ Reincarnating Rorty. :) ] @philipthrift -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/878c73ec-eec4-4783-b265-e42264f758a4%40googlegroups.com.
