Spindizzy Legobrick is probably the UK’s leading contemporary mathematician. He is famous for solving both Goldfinger’s Postulation and the world-famous Cheese Imponderable first formulated by Gödel during a slow Wednesday afternoon.
As most mathematically-literate people are aware Goldfinger’s Postulation claims that each number can be written with either straight lines (such as 1 or 7), or with round curvy bits (such as 6 and 8). 2 of course features both a curved bit at the top and a straight bit at the bottom, and 5 has the straight bits at the top and the curve at the bottom as Legobrick proved.
Gödel’s Cheese Imponderable however is not so straightforward to resolve. As first stated Gödel’s contention that in an infinite universe there must be some chesses that are not very nice does seem uncontroversial. Especially to those who have not performed any in-depth mathematical analysis of not only the cheeses that do exist, but also of the cheeses that could exist in an infinite universe.
For example, even though it runs counter to common sense, in an infinite universe it would be possible to make cheese from all manner of ingredients. Ingredients from car tyres through to geography teachers. Surely, Gödel argued, in his paper introducing the subject, some of those cheeses would not be very tasty. By using certain equations that go beyond the scope of this article he proved – at least to his own satisfaction – that a cheese made of 17th century wardrobes fittings would be very nasty indeed.
There the subject rested until the invention of computers. With computers of a significantly powerful processing capacity such as today’s supercomputers Legobrick argued it would be mathematically possible to model several million cheeses. A sufficiently-powerful computer, he argued, could find many – but not all - palatable cheeses made from a whole gamut of ingredients in the time it takes to make a decent serving of cheese on toast.
This paper, by Legobrick, was presented to the Proceedings of the World Mathematical Cheese Society early this year and met with both wild acclaim and peer approval. Straight away, several mathematicians with access to such computers rushed off to see if they could come up with a cheese made from ingredients that contradicted both Legobrick’s thesis and were still quite tasty.
However, as this article goes to press it seems that Legobrick’s contention that most – if not all – such cheeses made from ingredients not usually used in cheese making only a finite quantity of them would indeed be edible still stands uncontested.
It will be interesting to see if cheese mathematicians of the future ever do come up with a non-standard cheese that is as tasty as a nice bit of Stilton and thus disprove Legobrick’s solution to Gödel’s great Cheese Imponderable.
No comments:
Post a Comment