238:"The Russian school of constructive mathematics, initiated by A.A. Markov and continued by N.A. Shanin, G.S. Tseitin, B.A. Kushner and others, is probably best thought of as constructive recursive mathematics. The underlying logic is intuitionistic, but the mathematical objects are restricted to finite objects---including algorithms represented by finite strings of symbols. Historically, but perhaps not necessarily, this school adopted Markov's principle: to show that an algorithm halts at some stage, it suffices to prove that it cannot possibly run forever. Brouwer held Markov's principle to be false, and in certain formalizations of his thinking it is refutable. However, as it is classically true, it is not refutable in basic constructive mathematics." - Fred Richman,
421:
correct, back to the original order (before the edit by 188.163.114.37). Either order has the same result, but the listed steps are only for this order. It seems that there is redundant information between the sections "Descripiton" and "Algorithm." Furthermore, it needs to be cleared up whether "Markov
Algorithm" and "Normal Algorithm" are exactly synonymous. Finally, It would be helpful if someone changed the formatting in the Description and the examples so that they match.
80:
53:
169:
22:
90:
420:
I have just corrected many errors in grammar and usage. Inline citations still need to be added. I changed all instances of "word" to "string" so that the wording would be consistent. In the "another example" section, I also changed the order of the rules in the algorithm so that the steps would be
301:
I have not found yet a good illustration for the other seemingly strange (unnatural, arbitrary) principle (“only the leftmost is substituted in a match”). Superficially, it is similar to lazy evaluation (but I think, no deep connections exist, this is just an accident). But one can illustrate the
228:
The younger Markov was a founder and leading member of what is often called the "Russian School of
Constructive Mathematics". Descriptions of their ethos can be found in the introductions to Beeson and Trolestra/van Dalen (they seem to me to contradict each other though on some points).
288:
Unfortunatelly, it does not illustrate the importance of the “after applying first matching rule, rerun the search” principle entirely (although it illustrates that the first rules have a precedence above later rules in some sense). Also an example of the importance of
302:
importance of the “only the leftmost is substituted in a match” by the fact, that an “entire replacement in one match” rule would be no less arbitrary-looking. Because also such a principle would involve some arbitraryness: e.g. when applying
178:
63:
249:
I thought of an example: a converter from Roman number into Arabic number (restricted to the interval of 0–99). I am not sure yet, all these things are new to me, thus I do not insert it yet to the article page.
464:
459:
454:
213:
No. 'Markov chains' come up in the study of stochastic processes. 'Markov algorithms' are the work of the son of the Markov of 'Markov chain' fame.
449:
159:
149:
401:
469:
444:
125:
121:
103:
58:
33:
335:
235:
Troelstra, A.S and D. van Dalen, Constructivism in mathematics, an introduction, two volumes, North-Holland, 1988.
405:
21:
376:
254:
217:
108:
39:
426:
422:
397:
372:
350:
315:
string, it would require a — necessarily arbitrary — resolution of overlapping occurrences.
438:
95:
239:
206:
79:
52:
318:
168:
85:
232:
Beeson, M.J., Foundations of constructive mathematics, Springer-Verlag 1985.
430:
409:
380:
353:
321:
391:
218:
http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Markov.html
368:
364:
112:
371:
as other examples of languages using the Markov
Algorithm paradigm?
120:
Feel free to edit the article attached to this page, join up at the
390:
There is one more interpreter of Markov
Algorithm with a debugger:
223:
15:
167:
200:
Hello, Can anyone help me out with Markov
Algorithm?
465:
Science and education in Russia task force articles
460:
Start-Class Russia (science and education) articles
240:http://www.math.fau.edu/Richman/html/construc.htm
179:the science and education in Russia task force
8:
19:
455:Mid-importance Start-Class Russia articles
47:
394:. Maybe add it to the external links?
49:
222:A.A. Markov (the younger) (1903-1979)
7:
341:which points to a page about Markov
216:A.A. Markov (the elder) (1856-1922)
101:This article is within the scope of
255:online Markov algorithm interpreter
253:It can be experimented with on the
38:It is of interest to the following
336:Markov Algorithm explained for SEO
14:
224:http://logic.pdmi.ras.ru/Markov/
88:
78:
51:
20:
154:This article has been rated as
450:Mid-importance Russia articles
1:
354:18:31, 28 November 2006 (UTC)
176:This article is supported by
322:11:05, 20 October 2006 (UTC)
205:Is it anything to do with a
134:Knowledge:WikiProject Russia
470:WikiProject Russia articles
445:Start-Class Russia articles
137:Template:WikiProject Russia
486:
381:14:31, 30 April 2010 (UTC)
160:project's importance scale
196:Moved form article page:
175:
153:
111:dedicated to coverage of
73:
46:
431:01:10, 16 May 2020 (UTC)
410:11:50, 8 June 2013 (UTC)
359:Other language examples
327:Removed misleading link
124:, or contribute to the
64:Science & education
172:
28:This article is rated
171:
386:One more interpreter
331:I removed the link
173:
126:project discussion
104:WikiProject Russia
34:content assessment
400:comment added by
345:, not the Markov
194:
193:
190:
189:
186:
185:
477:
412:
297:
291:terminating rule
142:
141:
138:
135:
132:
98:
93:
92:
91:
82:
75:
74:
69:
66:
55:
48:
31:
25:
24:
16:
485:
484:
480:
479:
478:
476:
475:
474:
435:
434:
418:
402:109.251.129.106
395:
388:
361:
329:
313:
307:
294:
286:
247:
140:Russia articles
139:
136:
133:
130:
129:
118:To participate:
94:
89:
87:
67:
61:
32:on Knowledge's
29:
12:
11:
5:
483:
481:
473:
472:
467:
462:
457:
452:
447:
437:
436:
417:
414:
387:
384:
360:
357:
339:
338:
328:
325:
311:
304:
293:s is given by
261:.0 nihil-: -->
259:
246:
243:
211:
210:
202:
201:
192:
191:
188:
187:
184:
183:
174:
164:
163:
156:Mid-importance
152:
146:
145:
143:
116:
115:on Knowledge.
100:
99:
83:
71:
70:
68:Mid‑importance
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
482:
471:
468:
466:
463:
461:
458:
456:
453:
451:
448:
446:
443:
442:
440:
433:
432:
428:
424:
415:
413:
411:
407:
403:
399:
393:
385:
383:
382:
378:
374:
373:Jeremybennett
370:
366:
358:
356:
355:
352:
348:
344:
337:
334:
333:
332:
326:
324:
323:
320:
316:
310:
303:
299:
292:
260:nihilum-: -->
258:
256:
251:
244:
242:
241:
236:
233:
230:
226:
225:
220:
219:
214:
208:
204:
203:
199:
198:
197:
181:
180:
170:
166:
165:
161:
157:
151:
148:
147:
144:
127:
123:
119:
114:
110:
106:
105:
97:
96:Russia portal
86:
84:
81:
77:
76:
72:
65:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
419:
396:— Preceding
389:
362:
346:
342:
340:
330:
317:
314:
308:
300:
298:like rules.
290:
287:
262:.0 nil-: -->
252:
248:
237:
234:
231:
227:
221:
215:
212:
207:Markov chain
195:
177:
155:
122:project page
117:
102:
40:WikiProjects
363:What about
263:.0 XC-: -->
109:WikiProject
30:Start-class
439:Categories
423:Dijekjapen
275:VIII-: -->
265:LXXX-: -->
347:Algorithm
305:bab-: -->
295:nil-: -->
280:III-: -->
276:VII-: -->
271:XXX-: -->
266:LXX-: -->
398:unsigned
309:rule in
281:II-: -->
278:IV-: -->
277:VI-: -->
273:IX-: -->
272:XX-: -->
269:IL-: -->
268:XL-: -->
267:LX-: -->
264:IC-: -->
245:Examples
285:]-: -->
284:[-: -->
283:0-: -->
282:I-: -->
279:V-: -->
274:X-: -->
270:L-: -->
158:on the
369:Expect
365:SNOBOL
343:chains
319:Physis
312:babab
131:Russia
113:Russia
59:Russia
36:scale.
416:Edits
427:talk
406:talk
392:fvm2
377:talk
367:and
107:, a
351:Jks
150:Mid
441::
429:)
408:)
379:)
349:.
306:7
296:.0
257:.
62::
425:(
404:(
375:(
209:?
182:.
162:.
128:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.