pete olcott

2020-02-24 18:38:16 UTC

The error of the Liar Paradox and Gödel's 1931 Incompleteness Theorem.

Here is the kind of self reference that creates the liar "paradox".

void main()

{

bool LP = !(LP == true);

}

Before LP is defined to have any value, this non-existent value is tested to see if it is equal to true.

This is like asking a person that does not own a car: How many feet long is your car?

Or asking someone that has never been married: Have you stopped beating your spouse yet?

The problem with the Liar Paradox is that its value is only defined on the basis of testing this value before it has been defined.

We can see that this same reasoning also applies to Gödel's 1931 Incompleteness Theorem.

void main()

{

bool G = !(G == Provable(G));

}

Copyright 2016 and 2020 Pete Olcott

Here is the kind of self reference that creates the liar "paradox".

void main()

{

bool LP = !(LP == true);

}

Before LP is defined to have any value, this non-existent value is tested to see if it is equal to true.

This is like asking a person that does not own a car: How many feet long is your car?

Or asking someone that has never been married: Have you stopped beating your spouse yet?

The problem with the Liar Paradox is that its value is only defined on the basis of testing this value before it has been defined.

We can see that this same reasoning also applies to Gödel's 1931 Incompleteness Theorem.

void main()

{

bool G = !(G == Provable(G));

}

Copyright 2016 and 2020 Pete Olcott