Re: Review of Mueckenheims book.

Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx> writes:

On 2007-03-03, Lee Rudolph <lrudolph@xxxxxxxxx> wrote:
When I wrote "the several usual accounts of N", I was thinking of two
in particular. The less popular (but surely not totally unknown?)
has 0 = {} and s(n) = {n} for all n in N.

Not totally unknown, no.

Huh.

That every natural is also a subset of the set of naturals is just an
artefact of the usual set theoretic representation, of no mathematical
significance. It is thus perhaps not inexcusable for you to be a bit
confused here. And now we learn the situation has been rectified!

"It is thus perhaps not inexcusable..."

What a great consolation that must make! I bet Lee's all fuzzy
inside.

--
Jesse F. Hughes
"[I]f gravel cannot make itself into an animal in a year, how could it
do it in a million years? The animal would be dead before it got
alive." --The Creation Evolution Encyclopedia
.

Relevant Pages

  • Re: Review of Mueckenheims book.
    ... The less popular ... Not totally unknown, no. ... That every natural is also a subset of the set of naturals is just an ... "Wovon man nicht sprechen kann, ...
    (sci.math)
  • Re: Yet another inane amateur Godel question
    ... Aatu Koskensilta wrote: ... classical predicativist conception that there simply is no determinate ... totality of all sets of naturals. ...
    (sci.math)
  • Re: help with Godels
    ... Aatu Koskensilta wrote: ... contradiction is provable using ordinary arithmetical principles? ... The specific concern is that arithmetic of the naturals is actually ...
    (sci.logic)
  • Re: Non standard models of PA
    ... On 2007-11-05, in sci.logic, Aatu Koskensilta wrote: ... subsets of naturals A, if A is truth-like then x is in A" ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.logic)
  • Re: Newberrys Theses
    ... On Apr 23, 5:39 am, Aatu Koskensilta ... WE CAN'T understand the naturals, ... There is no need for him to appeal to a mystic understanding ... INformally (that's practically a contradiction in terms) ...
    (sci.logic)