Stephen,

`I presented an argument. Whatever you read, if it casts a doubt on the`

`validity of the argument, you have to use what you read to find the`

`invalid step.`

`If not, you act like so many papers pretending that cannabis is a`

`dangerous, but which are only speculation on plausible danger, not`

`proof.`

`A proof, both in math and in applied math in some theoretical`

`framework does not depend on any further research, by construction. If`

`you doubt about immaterialism, by reading on Markow (say), then you`

`might find a way to use Markov against computationalism, or you must`

`make precise which step in the reasoning you are doubting and why, and`

`this without doing interpretation or using philosophy.`

`If not, you confuse science and philosophy, which is easy when the`

`scientific method tackle a problem easily randed in philosophy, or at`

`the intersection of philosophy and science.`

`Now, I don't see why the work you mention has anything to do with the`

`immaterialism derived from comp. You might elaborate a lot.`

Bruno On 19 May 2012, at 07:19, Stephen P. King wrote:

Hi Bruno and Russell,This is one of the reasons I am skeptical of Bruno'simmaterialism: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'koAbstract: We prove the theorem of Markov on the existence of analgorithmically non-recognizable combinatorial<006E.png>-dimensional manifold for every<006E.png><2265.png><0034.png>. We construct for the first time aconcrete 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 <006E.png><2265.png><0034.png>. We useBorisov's group [8] with insoluble word problem. It has twogenerators and twelve relations.The use of this group forms the base for proving the strengthenedform of Markov's theorem.-- Onward! Stephen "Nature, to be commanded, must be obeyed." ~ Francis Bacon --You received this message because you are subscribed to the GoogleGroups "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.

http://iridia.ulb.ac.be/~marchal/ -- 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.