New Godelizer

→ **MyCalcs** profile · by **AldoSacslei** » 16 May 2009, 18:28

I'm Doctor Aldo Sacslei from italy, i'm sorry, i speak only italian and english language.
I would like to ask: Do you know a software for TI-89 Titanium called "NEW GODELIZER"?
Thanks again,
A.S.

→ **MyCalcs** profile · by **AldoSacslei** » 17 May 2009, 13:22

Dear Mic,

starting from Frederik Pohl's novel "Alpha Aleph", passing for Kurt Gödel and his number of Godelization, searching on the net i found an article on NEW GODELIZER for TI-89 Titanium. This software was set up by a person for "godelization" or at least a part of Godelization. I have had a contact with this person who tell me that the NEW GODELIZER don't works very well and is impossible to find. Do you know Godelization? If not, go here:

http://en.wikipedia.org/wiki/G%C3%B6del_number

Soon and thanks for answer,

Aldo Sacslei

→ **MyCalcs** profile · by **Bisam** » 17 May 2009, 19:16

The Godel numbers are essentially theoretical and absolutely useless when one is speaking of being practical.
I can't imagine what a "Godelizer" could do.

→ **MyCalcs** profile · by **AldoSacslei** » 17 May 2009, 19:41

Yes, 2^1x3^2x5^3 = 2x9x125 = 2250
2250 means ABC (in godelization), maybe "the NEW Godelizer” did it for TI-89 Titanium.
Now i remember, when i was looking for information about TI-89 titanium, the person at TI-Italy internet official site told me about New Godelizer. Since this, i'm looking for this software, but seems to be only a "sci-fi novel".

→ **MyCalcs** profile · by **Bisam** » 17 May 2009, 20:18

I insist on some facts (I quote the article to which you refer)

A Gödel numbering is not unique, in that for any proof using Gödel numbers, there are many ways in which these numbers could be defined.

I don't know if you understand this but it means that there can't exist THE Godelizer.

In computability theory, the term "Gödel numbering" is used in settings more general than the one described above. It can refer to:

1. Any assignment of the elements of a formal language to natural numbers in such a way that the numbers can be manipulated by an algorithm to simulate manipulation of elements of the formal language.
2. More generally, an assignment of elements from a countable mathematical object, such as a countable group, to natural numbers to allow algorithmic manipulation of the mathematical object.

Also, the term Gödel numbering is sometimes used when the assigned "numbers" are actually strings, which is necessary when considering models of computation such as Turing machines that manipulate strings rather than numbers.

As mentioned, it is "computability THEORY". I don't know of any program that ACTUALLY do this and I'm pretty sure that there's a theorem that says such a program CAN'T EXIST.