Gödel's Lost Letter and P=NP

The Red Queen—I do not know her full name—is one of the most colorful characters in Lewis Carroll’s Through the Looking-Glass. She is known for her many wild statements and strange conversations—here is one with Alice:

“I can’t believe THAT!” said Alice.

“Can’t you?” said the Queen in a pitying tone. “Try again: draw a long breath, and shut your eyes.”

Alice laughed. “There’s no use trying,” she said, “one can’t believe impossible things.”

“I daresay you haven’t had much practice,” said the Queen. “When I was your age, I always did it for half-an-hour a day. Why sometimes I believed as many as six impossible things before breakfast!”

Today I want to talk again about Georg Cantor’s famous proof that the reals are uncountable.

View original post 1,598 more words