Date: Jun 19, 2013 5:11 AM
Author: David Petry
Subject: Re: Joel David Hamkins on definable real numbers in analysis
On Tuesday, June 18, 2013 7:26:58 PM UTC-7, fom wrote:
> Joel David Hamkins answer to the question in
> this link seems relevant to some of the discussions
> that have been in various threads recently
That link includes the following quote:
"...the concept of definability is a second-order concept, that only makes sense from an outside-the-universe perspective"
I think Mueckenheim would tell us that the phrase "an outside-the-universe perspective" would only make sense to a math-theologian.
Is he not right?