Re: “Markov's theorem

[Stephen P. King]

On 5/19/2012 12:34 PM, Stephen P. King wrote:
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=eng


Markov's theorem and algorithmically non-recognizable combinatorial 
manifolds

M. 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 an 
algorithmically non-recognizable combinatorial
-dimensional manifold for every . We construct for the first time 
a concrete manifold which is algorithmically non-recognizable.
A strengthened form of Markov's theorem is proved using the 
combinatorial methods of regular neighbourhoods and handle theory.
The proofs coincide for all . We use Borisov's group [8] with 
insoluble word problem. It has two generators and twelve relations.
The use of this group forms the base for proving the strengthened 
form 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.


An accessible paper in postscript format that discusses the theorem is 
found here:

www.math.toronto.edu/nabutovsky/gravity2005.ps

    I will write up more on this in my reply to Bruno.

--
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.


--
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>>