One day in 1918, he and Hardy were visiting him in the Sanatorium where he lay ill. To break the ice, Hardy mentioned that the taxi that had brought them had had the registration number 1729, which he personally found 'rather boring'. But Ramanujan, after pondering this for only a moment, disagreed vehemently: 'No, no, Hardy! It's a particularly interesting number – in fact, it's the smallest integer that can be expressed as the sum of two cubes in two different ways!" [12]

During the years that Petros worked on the Conjecture with the elementary approach, his own friendship with the integers developed to an extraordinary degree. Numbers ceased after a while being inanimate entities; they became to him almost alive, each with a distinct personality. In fact, together with the certainty that the solution existed somewhere out there, it added to his resolve to persevere during the most difficult of times: working with the integers, he felt, to quote him directly, 'constantly among friends'.

This familiarity caused an influx of specific numbers into his dreams. Out of the nameless, nondescript mass of integers that up until then crowded their nightly dramas, individual actors now began to emerge, even occasional protagonists. 65, for example, appeared for some reason as a City gentleman, with bowler hat and rolled umbrella, in constant companionship with one of his prime divisors, 13, a goblin-like creature, supple and lightning-quick. 333 was a fat slob, stealing bites of food from the mouths of its siblings 222 and 111, and 8191, a number known as a 'Mersenne Prime', invariably wore the attire of a French gamin, complete down to the Gauloise cigarette hanging from his lips.

Some of the visions were amusing and pleasant, others indifferent, still others repetitious and annoying. There was one category of arithmetical dream, however, which could only be called nightmarish, if not for horror or agony then for its profound, bottomless sadness. Particular even numbers would appear, personified as pairs of identical twins. (Remember that an even number is always of the form 2k, the sum of two equal integers). The twins would gaze on him fixedly, immobile and expressionless. But there was great, if mute, anguish in their eyes, the anguish of desperation. If they could have spoken, their words would have been: 'Come! Please. Hurry! Set us free!'

It was a variation on these sad apparitions that came to wake him one night late in January 1933. This was the dream that he termed in retrospect 'the herald of defeat'.

He dreamed of 2^100 (2 to the hundredth power, an enormous number) personified as two identical, freckled, beautiful dark-eyed girls, looking straight into his eyes. But now there wasn't just sadness in their look, as there had been in his previous visions of the Evens; there was anger, hatred even. After gazing at him for a long, long while (this in itself was sufficient cause to brand the dream a nightmare) one of the twins suddenly shook her head from side to side with jerky, abrupt movements. Then her mouth was contorted into a cruel smile, the cruelty being that of a rejected lover.

'You'll never get us,’ she hissed.

At this, Petras, drenched in sweat, jumped up from his bed. The words that 2^99 (that's one half of 2^I00) had spoken meant only one thing: He was not fated to prove the Conjecture. Of course, he was not a superstitious old woman who would give undue credence to omens. Yet the profound exhaustion of many fruitless years had now begun to take its toll. His nerves were not as strong as they used to be and the dream upset him inordinately.

Unable to go back to sleep, he went out to walk in the dark, foggy streets, to try to shake off its dreary feeling. As he walked in the first light among the ancient stone buildings, he suddenly heard fast foot-steps approaching behind him, and for a moment he was seized by panic and turned sharply round. A young man in athletic gear materialized out of the mist, running energetically, uttered a greeting and dis-appeared once again, his rhythmic breathing trailing off into complete silence.

Still upset by the nightmare, Petros wasn't sure whether this image had been real, or an overflow of his dream world. When, however, a few months later the very same young man came to his rooms at Trinity on a fateful mission, he instantly recognized him as the early-morning runner. After he was gone, he realized with hindsight that their first, dawn meeting had cryptically signalled the dark forewarning, coming as it did after the vision of 2^100, with its message of defeat.

The fatal meeting took place a few months after the first, early-morning encounter. In his diary Petros marks the exact date with a laconic comment – the first and last use of Christian reference I discovered in his diaries: '17 March 1933. Kurt Gödel's Theorem. May Mary, Mother of God, have mercy on me!'

It was late afternoon and he had been in his rooms all day, sitting forward in his armchair studying parallelograms of beans laid out on the floor before him, lost in thought, when there was a knock on the door.

'Professor Papachristos?'

A blond head appeared. Petros had a powerful visual memory and immediately recognized the young runner, who was full of excuses for disturbing him. 'Please forgive my barging in on you like this, Professor,’ he said, 'but I am desperate for your help.' Petros was quite surprised – he'd thought his presence at Cambridge had gone completely unremarked.

He wasn't famous, he wasn't even well known and, except at his almost nightly appearances at the university chess club, he hadn't exchanged two words with anyone other than Hardy and Littlewood during his stay.

'My help on what subject?'

'Oh, in deciphering a difficult German text – a mathematical text.' The young man apologized again for presuming to take up his time with such a lowly task. This particular article, however, was of such great importance to him that when he heard that a senior mathematician from Germany was at Trinity, he couldn't resist appealing to him for assistance in its precise translation.

There was something so childishly eager in his manner that Petros couldn't refuse him.

Td be glad to help you, if I can. What field is the article in?'

'Formal Logic, Professor. The Grundlagen, the Foundations of Mathematics.'

Petros felt a rush of relief that it wasn't in Number Theory – he'd feared for a moment the young caller might have wanted to pump him on his work on the Conjecrure, using help with the language merely as an excuse. As he was more or less finished with his day's work, he asked the young visitor to take a seat.

'What did you say your name was?'

'It's Alan Turing, Professor. I'm an undergraduate.'

Turing handed him the journal containing the article, opened at the right page.

'Ah, the Monatshefte für Mathematik und Physik,' said Petros, 'the Monthly Review for Mathematics and Physics, a highly esteemed publication. The title of the article is, I see, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme". In translation this would be… Let's see… "On the formally undecidable propositions of Principia Mathematica and similar Systems". The author is a Mr Kurt Gödel, from Vienna. Is he well known in this field?'

Turing looked at him surprised. 'You don't mean to say you haven't heard of this article, Professor?'

Petros smiled: 'My dear young man, mathematics too has been infected by the modern plague, overspecialization. I'm afraid I have no idea of what's being accomplished in Formal Logic, or any other field for that matter. Outside of Number Theory I am, alas, a complete innocent.'

'But Professor,' Turing protested, 'Gödel's Theorem is of interest to all mathematicians, and number theorists especially! Its first application is to the very basis of arithmetic, the Peano-Dedekind axiomatic system.'

вернуться

[12] Indeed, 1729 = 12^3 + 1^3 = 10^3 + 9^3, a property which does not apply for any smaller integer.


Перейти на страницу:
Изменить размер шрифта: