On 2/27/2013 9:14 PM, Bruno Marchal wrote:
The UD is one program. It is one string. And UD* is an infinitely complex structure, roughly equivalent to sigma_1 truth, and structured from inside by the 8 hypostases, none being boolean.
Hi Bruno,
Sigma_1 logic is more powerful than Boolean algebras, but this does not allow Sigma_N logics to escape from the necessity of satisfiability.
-- Onward! Stephen -- 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 http://groups.google.com/group/everything-list?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
