of course I tried it, Bacon, we all tried it. In fact, we’re still trying. For months I became obsessed by the completeness axiom and the challenge it presented.” Von Neumann scratched his chin reflectively and lowered his voice a notch, as if he were narrating a great suspense novel. “Just as Professor Gödel did later on, though he had more success with it than I. At first, I thought I had found the correct approach. My intuition told me that the goal was not impossible to achieve, as I had previously thought. Have you ever had that feeling of your skin tingling, like when someone scratches their nails against a blackboard? It was incredible.”
“And so what happened?”
“All of a sudden, I was stopped cold, as if a brick wall had suddenly appeared in the middle of the road.” Von Neumann rubbed his hands as if he were about to explode. “My mind was frozen, paralyzed. I fell to pieces. The depths of failure, you know. The only thing I could do was get into bed and go to sleep until the next day. Then, when I woke up, I realized that something truly amazing had occurred: In my dreams, I had found a way to advance my equations. I had dreamed it, Bacon, like a prophet inspired by the voice of the Creator! I was frantic, and I plunged back into my papers. Now I felt certain I had it.” His hands seemed to curl around an imaginary trophy. “But then, once again, as I reached the last little bit, the inspiration vanished. Again. Just like that. And there I was again, just like the time before. Stuck.”
“Oh, wow!” Bacon knew that he was supposed to utter an exclamation of enthusiasm and beg Von Neumann to go on with the story. “So then what happened?”
“Well, I waited until nighttime, and just as I had figured, I fell into yet another deep sleep.”
“And you found the missing link?”
“Exactly! It was a kind of miracle. My proof followed a complicated, perfect line of reasoning. I was convinced that with one of Hilbert’s problems on my CV, I would become famous.”
“So why didn’t it happen that way, Professor?”
“My good friend Bacon,” said Von Neumann, his thick, dry lips breaking into a smile, “it was a great stroke of luck for the world of mathematics that I did not dream a thing that night!”
When Gödel finally solved the problem in 1931, he was still a young, unknown mathematician. His paper, entitled “On Formally Undecidable Propositions of Principia Mathematica and Related Systems, 1,” was like a bucket of cold water soaking the optimism of Hilbert’s ideas. In his article, Gödel showed that the Principia Mathematica allowed for the existence of propositions that were true yet unprovable—that is, “undecidable.” He then went even further by proving that this phenomenon would hold true in any axiomatic system, in all existing or future fields of mathematics. Against what all the experts had predicted, Gödel had proved beyond a doubt that mathematics were incomplete.
With shockingly simple reasoning, Gödel refuted the romantic notion that mathematics could fully interpret the world, free of the contradictions inherent in philosophical inquiry. His paper was so successful that he didn’t have to write the follow-up chapter he had originally planned. His explosive mission was over. The most astonishing aspect of Gödel’s achievement, however, was its simplicity. Reformulating Epimenides’ ancient paradox—of course, the bedrock of all mathematical paradoxes—he had hit upon the theorem which proved his hypothesis. It said:
To every w-consistent recursive class k of formulae there correspond recursive class-signs r such that neither v Gen r nor Neg (v Gen r) belongs to Flg(k) (where v is the free variable of r)
An approximate translation of this might be: “All consistent axiomatic formulations of number theory include undecidable propositions.” In simpler terms, Gödel said the following: “The system of Principia Mathematica offers no proof for this statement of number theory.” A possible expansion of the same: “This proposition of number theory has no proof within number theory,” which might also be stated in the following manner: “This logical proposition is unprovable by the very laws of logic.” The statement could even be extended to the realm of psychology: “It is impossible for me to prove this idea I have about myself.”
To recapitulate, Gödel stated that in any system—scientific, linguistic, mental—there will always exist statements that are true but unprovable. No matter how hard one tries, no matter how perfect a system one creates, there will nevertheless exist unprovable holes and voids, paradoxical arguments that behave like termites and devour the things that seem most solid. Gödel did for mathematics exactly what Einstein’s relativity theory, Bohr’s quantum theory, and the discoveries of their collective disciples did when they proved that physics was no longer an exact science—that is, an amalgam of absolutes. Nobody was safe in a world that was suddenly dominated by uncertainty. Thanks to Gödel, truth became more slippery and elusive than it had ever been before.
Vivien’s body stretched out again across Bacon’s bedsheets like a sinewy brown stain. She had arrived at his apartment just after dusk. Her long, bare arms were now lost in the darkness of the night, coated with a kind of dew from the persistent rain that fell outside. Only three days had passed since Bacon’s acrimonious telephone conversation with Elizabeth. As he began to kiss Vivien’s earlobes, he remembered that he had considered leaving her, too. But the moment she had arrived at his house, he knew that he would be unable to resist the temptation of possessing her once again.
As if freed from a prison sentence, for the first time in a very long time Bacon was overcome by the desire to be tender with his lover. Suddenly she seemed fragile and innocent, not pained and mysterious, and he wanted to make up for his many months of betrayal. Perhaps he was simply projecting the love he wanted for himself, but instead of watching her with cold eyes, he now decided to undress her, bit by bit, as if preparing a little girl for her bath. Then he kissed her on the lips slowly and tenderly (an indulgence he normally avoided) and stroked her curly black hair. And then, finally, he made love to her with the kind of tenderness usually reserved for love affairs with virgins. The only aspect of his routine that remained unchanged was the stubborn silence he maintained while penetrating her body.
“Do you love her?”
Nestled amid the sheets, Vivien looked like a drowning woman trying to defend herself against an enormous wave crashing down upon her. Bacon was lying on her back, and as he stretched himself on top of her body, he wondered if he had become the wave she was struggling against.
“No, well, I don’t know,” Bacon stammered.
“Are you going to marry her?”
“Yes.”
“Why, if you don’t love her?”
“Don’t ask me those questions. That’s just the way it has to be, I suppose. There are things a person has to do: get married, have children, die. Listen, from the beginning you knew. I never led you on, Vivien.”
“You don’t even remember my name. How could you possibly lead me on?” Vivien moved away from Bacon and got up from the bed. She didn’t seem angry, or even disappointed. She began gathering up her clothes, strewn across the floor.
Bacon looked at her as if he were staring at an ancient armoire that had suddenly sprung open, emptying bundles of photographs and lost memories onto the floor.
“Can I ask you something?” he finally said to her, haltingly, not even rising from the bed. “Just this once, Vivien, don’t go. Stay with me tonight. It’s raining. And I want to see your face in the morning.”
The next day, Bacon woke up very early, doubly vexed: by the unfamiliar presence of Vivien, and by the conference that Professor Gödel was to give that morning. For a few seconds he remained still, contemplating Vivien’s body as she continued sleeping peacefully. In the early morning light, she seemed lovelier than ever to him. Without making a noise, Bacon arose from the bed and got ready for the day. As he showered, he couldn’t shake the strange feeling of peace that he felt upon opening his eyes and finding Vivien at his side.