On 5/19/2012 3:02 AM, meekerdb wrote:

On 5/18/2012 10:19 PM, Stephen P. King wrote:Hi Bruno and Russell,This is one of the reasons I am skeptical of Bruno's immaterialism: http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=471&option_lang=engMarkov's theorem and algorithmically non-recognizable combinatorialmanifoldsM. A. Shtan'ko<http://www.mathnet.ru/php/person.phtml?option_lang=eng&personid=8892>*Abstract:* We prove the theorem of Markov on the existence of analgorithmically non-recognizable combinatorial-dimensional manifold for every . We construct for the first timea concrete manifold which is algorithmically non-recognizable.A strengthened form of Markov's theorem is proved using thecombinatorial methods of regular neighbourhoods and handle theory.The proofs coincide for all . We use Borisov's group [8] withinsoluble word problem. It has two generators and twelve relations.The use of this group forms the base for proving the strengthenedform of Markov's theorem.--Did you read the paper? Can you provide a translation? Brent --

`My apologies. The full English version is behind a pay-wall`

`<http://iopscience.iop.org/1064-5632/68/1/A08>. I have read of Markov's`

`theorem on this previously but I cannot find my reference for it atm.`

-- Onward! Stephen "Nature, to be commanded, must be obeyed." ~ Francis Bacon -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.

`<<image/png>>`

`<<image/png>>`

`<<image/png>>`