Будущее онтологии: Компьютерные универсумы презентация

J(1,1,1)

при помощи кинематографии. Как известно, изображение движения на киноленте складывается из отдельных кадров, на которых все неподвижно. Но если прокрутить эту ленту со скоростью 24 кадров в секунду, возникает иллюзия движения. Теперь представим себе, что количество кадров ленты несчетно, и что все они упорядочены так же, как и действительные числа, в результате чего каждому моменту времени соответствует один кадр. В итоге мы получим как раз ту картину движения, которая сводит его к сумме состояний покоя (отдельных кадров), расположенных непрерывным образом (в отличие от реальных кинолент). Но именно так и описывается движение в современной физике.

минуты, вторую - за 1/4 минуты, третью - за 1/8 минуты и т.д. Такая машина могла бы к концу первой минуты “пересчитать” весь натуральный ряд (написать, например, счетное число единиц). Ясно, что работа над конструкцией такой машины обречена на неудачу. Так почему же тогда тело, вышедшее из точки А, достигает конца отрезка В, “отсчитав” счетное множество точек А1, А2, ..., Аn,...?»

по сути, к трём шагам: на шаге 1 вводится ряд точек 1/21, 1/22, 1/23, ..., 1/2n, ..., на шаге 2 постулируется, что Ахилл побывал в каждой из этих точек, а на шаге 3 делается вывод о завершении движения в конечной точке, не принадлежащей рассматриваемому ряду. В результате как бы “пересчитан” ряд, упорядоченный по типу ω+1. По видимости речь идет о бесконечном по числу шагов процессе, тогда как на деле процесс при таком подходе завершается за три шага.

ω + ω*
II.
1, 2, 3, …, n, ………, N, ………,
где |N| = 2ω.

1 3. GOTO 1

(π4)
0. GOTO 1
1. CHOOSE X| X |= T
2. DELETE X
3. GOTO 1

Т' THEN END
2. CHOOSE Z | Z = f'(X)
3. CHOOSE Y | (Y отрезок Т') & Y=X+
4. DELETE X
5. DELETE Z
6. CHOOSE Z | Z = f'(Y)
7. IF Y = Т' THEN END
8. CHOOSE X | (X отрезок Т') & X = Y+
9. DELETE Y
10. DELETE Z
11. CHOOSE Z | Z = f'(X)
12. IF X = Т' THEN END
13. GOTO I3

= Y+
3.  IF X = LD THEN END
4.  DELETE Y
5.  CHOOSE Y | (Y отрезок LD) & Y = X+
6.  IF Y = LD THEN END
7.  DELETE X1
8.  CHOOSE X1 | X1 ⎥= TS & X1 ‑ сужение в прошлое для Y1
9.  DELETE Y1
10. CHOOSE Y1 | Y1 ⎥= TS* & Y1 ‑ переход в будущее относительно X1
11. DELETE X1
12. CHOOSE X1 | X1 ⎥= TS & X1 ‑ первое расширение в будущее для Y1
& X1 корректен & |Mm(X )| ≤ |Mm\(Mm(X) ∪ Mm(Y) ∪ Mm(X1) ∪ Mm(Y1))|
13. DELETE Y1
14. CHOOSE Y1 | Y1 ⎥= TS & Y1 ‑ второе расширение в будущее для X1
& Y1 корректен & |Mm(X1)| ≤ |Mm(Y1)|
15. GOTO 1