*A Program to Compute Gödel-Löb Fixpoints* Melvin Fitting [ http://melvinfitting.org/ ]
https://www.researchgate.net/publication/285841645_A_program_to_compute_Godel-Lob_fixpoints *A loose motivation for much of Melvin Fitting's work can be formulated succinctly as follows. There are many logics. Our principles of reasoning vary with context and subject matter. Multiplicity is one of the glories of modern formal logic. The common thread tying logics together is a concern for what can be said (syntax), what that means (semantics), and relationships between the two. A philosophical position that can be embodied in a formal logic has been shown to be coherent, not correct. Logic is a tool, not a master, but it is an enjoyable tool to use.* [ https://en.wikipedia.org/wiki/Melvin_Fitting ] also (a bit offbeat): “Simply Gödel,” Phenomenology, and Monads Rudy Rucker http://www.rudyrucker.com/blog/2017/03/17/godel-phenomonology-and-monads/ - pt -- 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 firstname.lastname@example.org. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.