84:
74:
53:
423:
22:
483:
The difference is that Tarski is interested in the structure of the set of all fixed-points: they form a lattice, you can talk of greatest fixpoint, the sup of all fixpoints is a fixpoint, etc. He is not concerned about reaching fixpoints by iterating a function, starting from some seed, and building
413:
The above page currently redirects to this one, but I can't see any mention of that exact phrase in the article. As someone who knows nothing about the subject this would be important to me to have it explained somewhere. Could something be inserted, or should we delink the redirect? --
323:
557:
I found a paper on the who discovered what, called "Fixed point theorems and semantics: a folk tale". I do not have the time to read it, but it should fix the problem of a lack of references. The link is
464:
The difference is that in the Kleene fixed-point theorem, f has to be Scott-continuous (i.e. has to preserve directed suprema), while in
Knaster-Tarski, it only needs to be monotonic, which is weaker. --
251:
431:
The ascending Kleene chain is the chain that starts with the bottom element of L and goes up through applications of the monotone function f. I've made the term explicit now. Is that beter?
140:
487:
The issue between requiring continuity or just monotonicity is not the central difference (with just monotonicity you can have a Kleene fixpoint theorem by iterating in the transfinite).
343:
363:
594:
130:
589:
106:
512:
260:
562:
544:
466:
163:
450:
277:
97:
58:
162:
I added the proof. If you find any mistakes, or if I'm overly vague at some points, please fix it or write a note here.
33:
395:
Now I think it's right :-). I'll change the link to 'continuous' to point to the article on Scott continuity instead.
443:
183:
516:
264:
566:
548:
470:
167:
21:
454:
407:
370:
39:
83:
256:
559:
366:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
422:
415:
328:
570:
552:
538:
520:
496:
474:
458:
437:
426:
401:
390:
374:
268:
171:
348:
583:
533:
492:
526:
Did you try just searching for it on google books? There are lots of hits. — Carl
511:
This article has no references at all, and I could not find any myself. Anyone?
434:
398:
387:
102:
79:
505:
529:
488:
180:
fixed Point is wrong, since another fixed point might not be of the form
560:
http://www.sciencedirect.com/science/article/pii/0020019082900655
384:
I think this is wrong: continuity does not imply monotonicity.
318:{\displaystyle f(\mathbb {M} )=\mathbb {M} \setminus \{\bot \}}
484:
a converging sequence, which is the point of Kleene's theorem.
15:
418:
351:
331:
280:
186:
101:, a collaborative effort to improve the coverage of
357:
337:
317:
245:
246:{\displaystyle k=f^{i}(\bot )=f(f^{i}(\bot ))}
543:... So, why didn't you add those references?
8:
312:
306:
19:
47:
350:
330:
299:
298:
288:
287:
279:
225:
197:
185:
303:
49:
7:
95:This article is within the scope of
38:It is of interest to the following
332:
309:
234:
206:
14:
595:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
590:Start-Class mathematics articles
421:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
176:Proof that this is in fact the
135:This article has been rated as
292:
284:
240:
237:
231:
218:
209:
203:
1:
539:16:10, 27 February 2012 (UTC)
521:15:41, 27 February 2012 (UTC)
402:12:31, 31 December 2005 (UTC)
391:12:15, 31 December 2005 (UTC)
109:and see a list of open tasks.
427:12:31, 18 January 2006 (UTC)
475:15:24, 16 August 2012 (UTC)
375:10:22, 9 October 2017 (UTC)
611:
571:13:12, 23 April 2012 (UTC)
553:23:00, 16 March 2012 (UTC)
497:10:39, 19 July 2016 (UTC)
459:07:43, 7 April 2008 (UTC)
438:12:27, 4 March 2006 (UTC)
134:
67:
46:
449:What is the difference?
172:21:39, 12 May 2012 (UTC)
141:project's priority scale
269:16:14, 1 May 2013 (UTC)
98:WikiProject Mathematics
444:Knaster–Tarski theorem
408:Ascending Kleene chain
359:
339:
319:
253:... I'm fixing this.
247:
28:This article is rated
360:
340:
338:{\displaystyle \bot }
320:
248:
349:
345:is a fixed point of
329:
278:
184:
121:mathematics articles
355:
335:
315:
243:
90:Mathematics portal
34:content assessment
537:
358:{\displaystyle f}
259:comment added by
155:
154:
151:
150:
147:
146:
602:
527:
425:
364:
362:
361:
356:
344:
342:
341:
336:
324:
322:
321:
316:
302:
291:
271:
252:
250:
249:
244:
230:
229:
202:
201:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
610:
609:
605:
604:
603:
601:
600:
599:
580:
579:
513:131.155.232.180
509:
447:
411:
382:
347:
346:
327:
326:
276:
275:
261:134.130.115.148
254:
221:
193:
182:
181:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
608:
606:
598:
597:
592:
582:
581:
578:
577:
576:
575:
574:
573:
563:131.155.234.39
545:145.120.19.244
508:
503:
502:
501:
500:
499:
485:
478:
477:
467:132.231.199.50
446:
441:
410:
405:
381:
378:
354:
334:
314:
311:
308:
305:
301:
297:
294:
290:
286:
283:
242:
239:
236:
233:
228:
224:
220:
217:
214:
211:
208:
205:
200:
196:
192:
189:
164:89.176.188.206
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
607:
596:
593:
591:
588:
587:
585:
572:
568:
564:
561:
556:
555:
554:
550:
546:
542:
541:
540:
535:
531:
525:
524:
523:
522:
518:
514:
507:
504:
498:
494:
490:
486:
482:
481:
480:
479:
476:
472:
468:
463:
462:
461:
460:
456:
452:
445:
442:
440:
439:
436:
432:
429:
428:
424:
420:
417:
409:
406:
404:
403:
400:
396:
393:
392:
389:
385:
379:
377:
376:
372:
368:
352:
295:
281:
274:The equation
272:
270:
266:
262:
258:
226:
222:
215:
212:
198:
194:
190:
187:
179:
174:
173:
169:
165:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
510:
451:81.249.161.2
448:
433:
430:
412:
397:
394:
386:
383:
325:is wrong if
273:
255:— Preceding
177:
175:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
584:Categories
380:Continuity
506:Reference
367:Geochini
257:unsigned
139:on the
435:Igrant
416:Francs
399:Igrant
388:Igrant
36:scale.
178:least
158:Proof
567:talk
549:talk
534:talk
517:talk
493:talk
471:talk
455:talk
419:2000
371:talk
265:talk
168:talk
530:CBM
489:PhS
131:Low
586::
569:)
551:)
532:·
519:)
495:)
473:)
457:)
373:)
365:.
333:⊥
310:⊥
304:∖
267:)
235:⊥
207:⊥
170:)
565:(
547:(
536:)
528:(
515:(
491:(
469:(
453:(
369:(
353:f
313:}
307:{
300:M
296:=
293:)
289:M
285:(
282:f
263:(
241:)
238:)
232:(
227:i
223:f
219:(
216:f
213:=
210:)
204:(
199:i
195:f
191:=
188:k
166:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.