
Re: Torkel Franzen argues
Posted:
May 4, 2013 12:07 PM


Nam Nguyen wrote: > > On 26/04/2013 11:09 AM, Nam Nguyen wrote:
> > On 20130425, FredJeffries <fredjeffries@gmail.com> wrote: > >> > >> Now PA has been proved consistent in ZF or NBG, but then that > >> brings the consistency of axioms for set theory. > > Exactly right. And exactly my point. > > Somewhere, somehow, a circularity or an infinite regression > of _mathematical knowledge_ will be reached,
How does one reach an infinite regression?
> and at that point > we still have to confront with the issue of mathematical relativity.
It is not the case that either we go round in a circle or we regress forever.
> There's really no escape to it, I'm afraid from what I could gather.
 When a true genius appears in the world, you may know him by this sign, that the dunces are all in confederacy against him. Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting

