Every indexed document

it was not quite as neat as this. It turned

he had not told anyone in his department

J.P. Jones of the University of Calgary showed the

for all) have no general purpose algorithm. Each must be

and it took Robinson and her colleagues nearly

and so on. You have reduced them to their simplest form

looped or in someway knotted together. Each cable has

to non-mathematicians. Imagine someone handed you a bunch

x equals three.’ This would be written out as ∃x

something exists in relation to the existence

“The cows eat the grass.” This doesn’t look much like a

b=some grass. The formula “a eats b” translates by

“All cows eat grass.” or Lewis Carroll’s assertion

this time a Russian – Yuri Matiyasevich.

the problem passed from her to Martin Davis for the

Friday—theorem false.” Like Andrew Wiles

one of the first women to succeed in the previously

then Haltcrash started on RUNME with input

Alan Turing proved there is no generalpurpose

rather than mechanically trying every possible