The first person decided to trust his own reasoning unconditionally. This allowed him to declare anything he wished as true, as he had already chosen to see all of his conclusions as correct. He declared he could fly, and jumped off a cliff. Reality disagreed.
The second person decided to mistrust his own reasoning unconditionally. He could not formally prove that he needed to eat and drink to survive, so he laid down on the ground and did nothing until he died of starvation.
The third person did something clever, yet obvious, and decided to trust his reasoning in a safe and bounded manner, and also mistrust his reasoning in a safe and bounded manner. He went on to explore reality, and was proven wrong about many of his conclusions (as choosing to trust his reasoning did not automatically make it correct). But ultimately he believed he made the correct choice, as taking the first step to greater understanding required him to have some degree of trust in himself.
The Parable of Gödel-Löb.
Three people discovered that no formal system can prove its own validity.
The first person decided to trust his own reasoning unconditionally. This allowed him to declare anything he wished as true, as he had already chosen to see all of his conclusions as correct. He declared he could fly, and jumped off a cliff. Reality disagreed.
The second person decided to mistrust his own reasoning unconditionally. He could not formally prove that he needed to eat and drink to survive, so he laid down on the ground and did nothing until he died of starvation.
The third person did something clever, yet obvious, and decided to trust his reasoning in a safe and bounded manner, and also mistrust his reasoning in a safe and bounded manner. He went on to explore reality, and was proven wrong about many of his conclusions (as choosing to trust his reasoning did not automatically make it correct). But ultimately he believed he made the correct choice, as taking the first step to greater understanding required him to have some degree of trust in himself.