Every indexed document

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

and these sorts of answers require an understanding of the

mathematicians are haunted by big mistakes of the past.

but four dimensions on flat paper appears to stump us.

but we are jumping ahead of ourselves a little.

One twelfth more as youth while whiskers grew rife; And

’ the wonder behold. Through art algebraic