Re: A Program to Compute Gödel-Löb Fixpoints

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.

Re: Questions about the Equivalence Principle (EP) and GR

On Friday, March 1, 2019 at 10:14:02 PM UTC-7, agrays...@gmail.com wrote: > > > > On Thursday, February 28, 2019 at 12:09:27 PM UTC-7, Brent wrote: >> >> >> >> On 2/28/2019 4:07 AM, agrays...@gmail.com wrote: >> >> >> >> On Wednesday, February 27, 2019 at 8:10:16 PM UTC-7, Brent wrote: >>> >>>

A Program to Compute Gödel-Löb Fixpoints

*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

Re: A Program to Compute Gödel-Löb Fixpoints

"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

Re: Are there real numbers that cannot be defined?

On Fri, Mar 1, 2019 at 4:23 PM Lawrence Crowell < goldenfieldquaterni...@gmail.com> wrote: > There are numbers that have no description in a practical sense. The > numbers 10^{10^{10^{10}}} and 10^{10^{10^{10^{10 have a vast number of > numbers that have no description with any information