2025 RationalWiki 'Oregon Plan' Fundraiser

There is no RationalWiki without you. We are a small non-profit with no staff—we are hundreds of volunteers who document pseudoscience and crankery around the world every day. We will never allow ads because we must remain independent. We cannot rely on big donors with corresponding big agendas. We are not the largest website around, but we believe we play an important role in defending truth and objectivity.

Fighting pseudoscience isn't free.
We are 100% user-supported! Help and donate $5, $10, $20 or whatever you can today with PayPal Logo.png!
Donations so far: $9223.37Goal: $10000

Essay talk:Gödel's incompleteness theorem simply explained

From RationalWiki
Jump to navigation Jump to search

Hi, I'm trying to grasp this and I have a question: What would the command NP NP do?

It's nested. So "(I cannot print (I cannot print (statement)))". It's a double negative like "I ain't seen nuthin'". Scarlet A.pngpostate 10:49, 21 May 2013 (UTC)
So, if we imagine a truth table of sorts. The left is the command, the right is what "statement" must be for it to work.
(Statement) -> statement=true
(I cannot print (statement)) -> statement=false
(I cannot print (I cannot print (statement))) -> statement=true
The liar paradox is probably something worth going over, too. Scarlet A.pngnarchist 10:51, 21 May 2013 (UTC)

Thank you for your reply. So, following the examples given in the essay, it works like this:

(At 12:00 noon) Me: NP NP it is daytime. Printer: NP NP it is daytime.

Now my question is if "NP NP" is like "NDP NDP" and G = " 'I can never say G' is true" and also serves as an example for the point of the essay.