# Gödel Number Usefulness to Determine an Infinite Set's Completeness

• MHB
• Look
In summary, Gödel numbers are a method used to encode wffs of formal systems that are strong enough to deal with Arithmetic. They are used to syntactically represent the bijective membership function of a set A, which is postulated to be infinite. By adding semantics, models can be established, such as Model 1 where A is taken as a complete whole and is shown to be inconsistent, and Model 2 where G is an axiom in A and therefore does not require a proof. The question at hand is whether Gödel numbers can be used to determine the usefulness of an infinite set as a complete whole. However, the use of G as an unproven wff or a wff that needs a proof would result
Look
Gödel numbers are used to encode wffs of formal systems that are strong enough in order to deal with Arithmetic.

In my question, Gödel numbers are used to encode wffs as follows:

Syntactically (by formalism without semantics) there is set A (the set which is postulated to be infinite), such that the empty set is a member of A, and such that whenever any x is a member of A, the set formed by taking the union of x with its singleton {x}, is also a member of A.

So, syntactically xxU{x} is the bijective membership function of A.

(Some remark

xU{x} can be replaced by {x}, as follows:

Syntactically (by formalism without semantics) there is set A (the set which is postulated to be infinite), such that the empty set is a member of A, and such that whenever any x is a member of A, the set formed by {x}, is also a member of A.

In this post xU{x} is used, but it can easily be replaced by {x} without changing the context of the question)Now we are using also Semantics (adding some meaning) by establish some models about this function, as follows:Model 1:

Let any x be an axiom (wff that is not proven) in A.

Let any xU{x} be a theorem (wff that is proven) in A.

Let A be an infinite set of wffs, where Infinity is taken in terms of Actual Infinity (A is taken as a complete whole).

Each wff (wff that is proven (some xU{x})) is encoded by a Gödel number, where one of these wffs, called G, states: "There is no number m such that m is the Gödel number of a proof in A, of G".

Since all wffs are already in A and therefore all Gödel numbers are already in A (because Infinity is taken in terms of Actual Infinity) there is a Gödel number of an axiom (some x) that proves G (some xU{x}) in A, which is a contradiction in A. Therefore, A is inconsistent.Model 2:

Let any x or any xU{x} be axioms (wffs that are not proven) in A.

G axiom states: "There is no number m such that m is the Gödel number of a proof in A, of G"

Since G is already an axiom in A (where A is an infinite set of axioms, such that Infinity is taken in terms of Actual Infinity) it is actually a wff that is true in A, which does not have any Gödel number that is used in order to encode G's proof (since axioms are true wffs that do not need any proof in A).

But then no proof is needed and mathematicians are out of job (therefore it is an unwanted solution).

---------------------------

So, in both models infinitely in terms of Actual Infinity (an infinite set that is taken as a complete whole) does not establish an interesting formal system.

---------------------------

My question is:

Do Gödel numbers can be used in order to determine the usefulness of an infinite set as a complete whole (according to the given models)?

Since A is a set of infinitely many wffs that are taken as a complete whole (this is exactly what Actual Infinity is about) there cannot be a Gödel number that is not already in A, whether some wff is an axiom or a theorem in A (see Model 1). So, one can't use G as a wff that is unproven in A, as done in case of GIT, since if one does this, one deduces in terms of Potential Infinity, which is not a part of my question.

Last edited:
Also, in Model 2, since G is already an axiom in A (where A is an infinite set of axioms, such that Infinity is taken in terms of Actual Infinity) it is actually a wff that is true in A, which does not have any Gödel number that is used in order to encode G's proof (since axioms are true wffs that do not need any proof in A). So, one can't use G as a wff that needs a proof in A, as done in case of GIT, since if one does this, one deduces in terms of Potential Infinity, which is not a part of my question.I would like to find out if Gödel numbers can be used in order to determine the usefulness of an infinite set as a complete whole (according to the given models).Thanks in advance.

## 1. What is a Gödel number?

A Gödel number is a unique number assigned to each symbol, word, or concept in a formal system, which allows for the representation of mathematical and logical statements and their relationships.

## 2. How is Gödel number usefulness determined?

The usefulness of Gödel numbers is determined by their ability to represent and encode complex mathematical and logical statements, allowing for the analysis and proof of the completeness of an infinite set.

## 3. What is the significance of using Gödel numbers to determine an infinite set's completeness?

Using Gödel numbers allows for the application of mathematical and logical principles to analyze and prove the completeness of an infinite set, which would otherwise be difficult to demonstrate through traditional methods.

## 4. Can Gödel numbers be used in other areas of science?

Yes, Gödel numbers have been applied in various fields such as computer science, linguistics, and artificial intelligence, to represent and analyze complex systems and their relationships.

## 5. Are there any limitations to the usefulness of Gödel numbers?

While Gödel numbers have proven to be a useful tool in many areas of science, they are limited in their ability to represent and analyze highly complex or abstract systems, and may not be applicable to all situations.

Replies
40
Views
7K
Replies
10
Views
2K
Replies
1
Views
876
Replies
16
Views
2K
Replies
5
Views
1K
Replies
2
Views
1K
Replies
7
Views
2K
Replies
1
Views
2K
Replies
2
Views
2K
Replies
1
Views
1K