Add new comment
-
Want facts and want them fast? Our Maths in a minute series explores key mathematical concepts in just a few words.
A game you're almost certain to lose...
What are the challenges of communicating from the frontiers of mathematical research, and why should we be doing it?
Celebrate Pi Day with the stars of our podcast, Maths on the move!
Maths meets politics as early career mathematicians present their work at the Houses of Parliament.
Celebrate this year's International Women's Day with some of the articles and podcasts we have produced with women mathematicians over the last year!
I think Georges make a good point that in the example G is not a statement.
Here is what I am thinking: If G is a statement, and define a function(G) = either 0 (false) or 1 (true). Now let's translate the problem into
function(G) = ?
The question mark means don't know if it is 0 (false) or 1(true).
Now let's look at G. What is G? where, G is the following statement:
function(G) = ?
So the problem becomes:
function[function(G)=?] = ?
In computer science this is called recursion. To determine the results, you need to call it in the next level in a program. Such causes infinity number of the recursive call and can't resolve it. This is the fundamental thing behind the example.
In mathematics, we should avoid such recursion for any statements. If doing so, I guess, human logic may have no flaw.