"Fixed point" here is a term in the subject of provability logic (PL):
https://plato.stanford.edu/entries/logic-provability/#FixePoinTheo How this relates to a Brouwer fixed point - * how does provability logic relate to topology* - is a subject that is interesting but is outside what I know about. Fixed points, monads, monoids, all arise in PL and PLT. So what do they have to do with qualia of experience? TBD. - pt On Saturday, March 2, 2019 at 7:19:01 AM UTC-6, Lawrence Crowell wrote: > > I guess I am not sure what a Gödel-Löb fixed point is. Is this somehow > analogous to a Brouwer fixed points in maps or diffeomorphisms of spaces? > > I read Rucker's *Infinity and the Mind* last spring, after having read it > many years ago. I could tell he had a penchant for various mystical ideas. > This tends blog entry of his suggests he has ideas similar to what Gödel > thought, and which I think were a part of leading him into paranoid > delusions. When I clicked on this for some reason I thought this was about > monoids, and was a bit disappointed to see it is more philosophical. > However, I think the Kant noumena is not really directly knowable, and I > think from quantum mechanics we can't know this as either purely epistemic > or ontic. I am not sure how ideas of mind fit into this. > > LC > > On Saturday, March 2, 2019 at 3:26:18 AM UTC-6, Philip Thrift wrote: >> >> >> >> *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 >> >> <https://www.google.com/url?q=https%3A%2F%2Fwww.researchgate.net%2Fpublication%2F285841645_A_program_to_compute_Godel-Lob_fixpoints&sa=D&sntz=1&usg=AFQjCNFQ4ORDwOhT81xzkzLgV9unsTybRg> >> >> >> *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 email@example.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.