Velocity Reviews - Computer Hardware Reviews

Velocity Reviews > Newsgroups > Programming > Java > references/addrresses in imperative languages

Thread Tools

references/addrresses in imperative languages

Kaz Kylheku
Posts: n/a

SM Ryan wrote:
> "Kaz Kylheku" <(E-Mail Removed)> wrote:
> # SM Ryan wrote:
> # > # easy way to see this, is to ask yourself: how come in mathematics
> # > # there's no such thing as "addresses/pointers/references".
> # >
> # > The whole point of Goedelisation was to add to name/value references into
> # > number theory.
> #
> # Is that so? That implies that there is some table where you can
> # associate names (or whatever type of locators: call them pointers,
> # whatever) with arbitrary values. But in fact that's not the case.
> Do you really believe the Goedel number of a statement is the statement
> itself? Is everything named Kaz the same as you?

The Goedel number is a representation of the statement in a way that
the name Kaz isn't a representation of me. You cannot identify parts of
the name Kaz with parts of me; there is no isomorphism there at all. I
am not the translated image of the name Kaz, nor vice versa.

A Goedel number isn't anything like a name or pointer. It's an encoding
of the actual typographic ``source code'' of the expression. There is
nothing external to refer to other than the encoding scheme, which
isn't particular to any given Goedel number. The encoding scheme is
shallow, like a record player; it doesn't contribute a significant
amount of context. If I decode a Goedel number, I won't have the
impression that the formula was hidden in the numbering scheme, and the
Goedel number simply triggered it out like a pointer. No, it will be
clear that each piece of the resulting formula is the direct image of
some feature of the Goedel number.

Reply With Quote

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off

Similar Threads
Thread Thread Starter Forum Replies Last Post
Profiling, recursive func slower than imperative, normal? Python 1 04-17-2008 02:58 AM
imperative design Sebastian Fey C Programming 4 01-28-2007 08:50 PM
references/addrresses in imperative languages Xah Lee Python 19 06-22-2005 05:54 AM
references/addrresses in imperative languages Xah Lee C Programming 9 06-21-2005 05:50 AM
references/addrresses in imperative languages Xah Lee Perl Misc 10 06-21-2005 05:50 AM