Jump to content

Godel's 2nd theorem ends in paradox

Featured Replies

Godel's 2nd theorem ends in paradox
Godel's 2nd theorem is about

SPAM LINK DELETED

"If an axiomatic system can be proven to be consistent and complete from
within itself, then it is inconsistent.”


But we have a paradox

Gödel is using a mathematical system
his theorem says a system cant be proven consistent


THUS A PARADOX

Godel must prove that a system cannot be proven to be consistent based upon the premise that the logic he uses must be consistent . If the logic he uses is not consistent then he cannot make a proof that is consistent. So he must assume that his logic is consistent so he can make a proof of the impossibility of proving a system to be consistent. But if his proof is true then he has proved that the logic he
uses to make the proof must be consistent, but his proof proves that
this cannot be done
THUS A PARADOX

Edited by Strange
Link deleted

  • Strange locked this topic

Archived

This topic is now archived and is closed to further replies.

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.

Configure browser push notifications

Chrome (Android)
  1. Tap the lock icon next to the address bar.
  2. Tap Permissions → Notifications.
  3. Adjust your preference.
Chrome (Desktop)
  1. Click the padlock icon in the address bar.
  2. Select Site settings.
  3. Find Notifications and adjust your preference.