20101028 reals and_integers_matiyasevich_ekb_lecture01-02
TRANSCRIPT
![Page 1: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/1.jpg)
Что можно делатьс вещественными числами ии нельзя делать с целыми
числами
Часть 1. Алгоритм Альфреда Тарского
Ю.В.Матиясевич
Санкт-Петербургское отделениеМатематического института им. В. А. Стеклова РАН
http://logic.pdmi.ras.ru/~yumat
![Page 2: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/2.jpg)
Что можно делатьс вещественными числами ии нельзя делать с целыми
числамиЧасть 1. Алгоритм Альфреда Тарского
Ю.В.Матиясевич
Санкт-Петербургское отделениеМатематического института им. В. А. Стеклова РАН
http://logic.pdmi.ras.ru/~yumat
![Page 3: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/3.jpg)
Книга Альфреда ТарскогоAlfred Tarski (1901–1983)
A decision method for algebraand geometrySanta Monica CA, RAND Corp.,1948.
Разрешающая процедурадля элементарной алгебры игеометрии
Разрешающая процедурадля элементарных алгебры игеометрии
![Page 4: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/4.jpg)
Книга Альфреда ТарскогоAlfred Tarski (1901–1983)
A decision method for elementaryalgebra and geometrySanta Monica CA, RAND Corp.,1948.
Разрешающая процедурадля элементарной алгебры игеометрии
Разрешающая процедурадля элементарных алгебры игеометрии
![Page 5: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/5.jpg)
Книга Альфреда ТарскогоAlfred Tarski (1901–1983)
A decision method for elementaryalgebra and geometrySanta Monica CA, RAND Corp.,1948.
Разрешающая процедурадля элементарной алгебры игеометрии
Разрешающая процедурадля элементарных алгебры игеометрии
![Page 6: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/6.jpg)
Книга Альфреда ТарскогоAlfred Tarski (1901–1983)
A decision method for elementaryalgebra and geometrySanta Monica CA, RAND Corp.,1948.
Разрешающая процедурадля элементарной алгебры игеометрии
Разрешающая процедурадля элементарных алгебры игеометрии
![Page 7: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/7.jpg)
Книга Альфреда ТарскогоAlfred Tarski (1901–1983)
A decision method for elementaryalgebra and geometrySanta Monica CA, RAND Corp.,1948.
Разрешающая процедурадля элементарной алгебры игеометрии
Разрешающая процедурадля элементарных алгебры игеометрии
![Page 8: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/8.jpg)
Книга Альфреда ТарскогоAlfred Tarski (1901–1983)
A decision method for elementaryalgebra and geometrySanta Monica CA, RAND Corp.,1948.
Разрешающая процедурадля элементарной алгебры игеометрии
Разрешающая процедурадля элементарных алгебры игеометрии
![Page 9: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/9.jpg)
Геометрия
I Задачи на вычислениеI Задачи на построениеI Задачи на доказательство
![Page 10: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/10.jpg)
ГеометрияI Задачи на вычисление
I Задачи на построениеI Задачи на доказательство
![Page 11: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/11.jpg)
ГеометрияI Задачи на вычислениеI Задачи на построение
I Задачи на доказательство
![Page 12: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/12.jpg)
ГеометрияI Задачи на вычислениеI Задачи на построениеI Задачи на доказательство
![Page 13: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/13.jpg)
Язык геометрии (планиметрии)
О
бъекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 14: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/14.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 15: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/15.jpg)
Язык геометрии (планиметрии)Объекты:
I точки
I прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 16: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/16.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямые
I окружностиI . . .
Отношения:I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 17: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/17.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружности
I . . .
Отношения:I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 18: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/18.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 19: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/19.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:
I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 20: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/20.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `"
, OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 21: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/21.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `"
, OnLine(A, `)
I "Точка A лежит на окружности O"
, OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 22: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/22.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `"
, OnLine(A, `)
I "Точка A лежит на окружности O"
, OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D"
, EqDistance(A,B,C ,D)
I . . .
![Page 23: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/23.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `"
, OnLine(A, `)
I "Точка A лежит на окружности O"
, OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D"
, EqDistance(A,B,C ,D)
I . . .
![Page 24: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/24.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O"
, OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D"
, EqDistance(A,B,C ,D)
I . . .
![Page 25: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/25.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D"
, EqDistance(A,B,C ,D)
I . . .
![Page 26: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/26.jpg)
Язык геометрии (планиметрии)Объекты:
I точкиI прямыеI окружностиI . . .
Отношения:I "Точка A лежит на прямой `" , OnLine(A, `)I "Точка A лежит на окружности O" , OnCircle(A,O)
I "Расстояние между точками A и B равно расстоянию междуточками C и D" , EqDistance(A,B,C ,D)
I . . .
![Page 27: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/27.jpg)
Язык геометрии (планиметрии):
Аксиомы:I "Для любых двух точек A и B существует прямая `, на которой
обе эти точки лежат":
∀A∀B∃`{OnLine(A, `) ∧ OnLine(B, `)}
I "Если точки точки A и B различны и обе лежат на прямых ` иm, то эти прямые совпадают":
∀A∀B∀`∀m{A 6= B ∧ OnLine(A, `) ∧ OnLine(B, `)∧∧ OnLine(A,m) ∧ OnLine(B,m)⇒ ` = m}
I . . .
![Page 28: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/28.jpg)
Язык геометрии (планиметрии):Аксиомы:
I "Для любых двух точек A и B существует прямая `, на которойобе эти точки лежат":
∀A∀B∃`{OnLine(A, `) ∧ OnLine(B, `)}
I "Если точки точки A и B различны и обе лежат на прямых ` иm, то эти прямые совпадают":
∀A∀B∀`∀m{A 6= B ∧ OnLine(A, `) ∧ OnLine(B, `)∧∧ OnLine(A,m) ∧ OnLine(B,m)⇒ ` = m}
I . . .
![Page 29: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/29.jpg)
Язык геометрии (планиметрии):Аксиомы:
I "Для любых двух точек A и B существует прямая `, на которойобе эти точки лежат":
∀A∀B∃`{OnLine(A, `) ∧ OnLine(B, `)}
I "Если точки точки A и B различны и обе лежат на прямых ` иm, то эти прямые совпадают":
∀A∀B∀`∀m{A 6= B ∧ OnLine(A, `) ∧ OnLine(B, `)∧∧ OnLine(A,m) ∧ OnLine(B,m)⇒ ` = m}
I . . .
![Page 30: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/30.jpg)
Язык геометрии (планиметрии):Аксиомы:
I "Для любых двух точек A и B существует прямая `, на которойобе эти точки лежат":
∀A∀B∃`{OnLine(A, `) ∧ OnLine(B, `)}
I "Если точки точки A и B различны и обе лежат на прямых ` иm, то эти прямые совпадают":
∀A∀B∀`∀m{A 6= B ∧ OnLine(A, `) ∧ OnLine(B, `)∧∧ OnLine(A,m) ∧ OnLine(B,m)⇒ ` = m}
I . . .
![Page 31: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/31.jpg)
Язык геометрии (планиметрии):Аксиомы:
I "Для любых двух точек A и B существует прямая `, на которойобе эти точки лежат":
∀A∀B∃`{OnLine(A, `) ∧ OnLine(B, `)}
I "Если точки точки A и B различны и обе лежат на прямых ` иm, то эти прямые совпадают":
∀A∀B∀`∀m{A 6= B ∧ OnLine(A, `) ∧ OnLine(B, `)∧∧ OnLine(A,m) ∧ OnLine(B,m)⇒ ` = m}
I . . .
![Page 32: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/32.jpg)
Язык геометрии (планиметрии):Аксиомы:
I "Для любых двух точек A и B существует прямая `, на которойобе эти точки лежат":
∀A∀B∃`{OnLine(A, `) ∧ OnLine(B, `)}
I "Если точки точки A и B различны и обе лежат на прямых ` иm, то эти прямые совпадают":
∀A∀B∀`∀m{A 6= B ∧ OnLine(A, `) ∧ OnLine(B, `)∧∧ OnLine(A,m) ∧ OnLine(B,m)⇒ ` = m}
I . . .
![Page 33: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/33.jpg)
ТеоремаКаковы бы ни были три попарно различные точки A1, A2 и A3,существуют точки B1, B2, B3 и C и прямые `1, `2, `3, m1, m2 и m3такие что
OnLine(A2, `1) ∧ OnLine(A3, `1) ∧ OnLine(B1, `1)∧∧ OnLine(A1, `2) ∧ OnLine(A3, `2) ∧ OnLine(B2, `2)∧∧ OnLine(A1, `3) ∧ OnLine(A2, `3) ∧ OnLine(B3, `3)∧∧ OnLine(A1,m1) ∧ OnLine(B1,m1) ∧ OnLine(C ,m1)∧∧ OnLine(A2,m2) ∧ OnLine(B2,m2) ∧ OnLine(C ,m2)∧∧ OnLine(A3,m3) ∧ OnLine(B3,m3) ∧ OnLine(C ,m3)∧
∧ EqDistance(A1,B2,B2,A3)∧∧ EqDistance(A2,B1,B1,A3)∧∧ EqDistance(A1,B3,B3,A2)
![Page 34: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/34.jpg)
Язык геометрии (новая версия):
Объекты:I точки
Отношения:I "Точки A, B и C лежат на одной прямой", OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C", OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D", EqDistance(A,B,C ,D)
I . . .
![Page 35: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/35.jpg)
Язык геометрии (новая версия):Объекты:
I точкиОтношения:
I "Точки A, B и C лежат на одной прямой", OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C", OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D", EqDistance(A,B,C ,D)
I . . .
![Page 36: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/36.jpg)
Язык геометрии (новая версия):Объекты:
I точки
Отношения:I "Точки A, B и C лежат на одной прямой", OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C", OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D", EqDistance(A,B,C ,D)
I . . .
![Page 37: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/37.jpg)
Язык геометрии (новая версия):Объекты:
I точкиОтношения:
I "Точки A, B и C лежат на одной прямой", OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C", OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D", EqDistance(A,B,C ,D)
I . . .
![Page 38: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/38.jpg)
Язык геометрии (новая версия):Объекты:
I точкиОтношения:
I "Точки A, B и C лежат на одной прямой"
, OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C", OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D", EqDistance(A,B,C ,D)
I . . .
![Page 39: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/39.jpg)
Язык геометрии (новая версия):Объекты:
I точкиОтношения:
I "Точки A, B и C лежат на одной прямой", OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C", OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D", EqDistance(A,B,C ,D)
I . . .
![Page 40: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/40.jpg)
Язык геометрии (новая версия):Объекты:
I точкиОтношения:
I "Точки A, B и C лежат на одной прямой", OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C"
, OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D", EqDistance(A,B,C ,D)
I . . .
![Page 41: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/41.jpg)
Язык геометрии (новая версия):Объекты:
I точкиОтношения:
I "Точки A, B и C лежат на одной прямой", OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C", OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D", EqDistance(A,B,C ,D)
I . . .
![Page 42: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/42.jpg)
Язык геометрии (новая версия):Объекты:
I точкиОтношения:
I "Точки A, B и C лежат на одной прямой", OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C", OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D"
, EqDistance(A,B,C ,D)
I . . .
![Page 43: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/43.jpg)
Язык геометрии (новая версия):Объекты:
I точкиОтношения:
I "Точки A, B и C лежат на одной прямой", OnLine(A,B,C )
I "Точки A и B лежат на одной окружности c центром вточке C", OnCircle(A,B,C )
I "Расстояние между точками A и B равно расстоянию междуточками C и D", EqDistance(A,B,C ,D)
I . . .
![Page 44: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/44.jpg)
Теорема о пересечении медианКаковы бы ни были точки A1, A2 и A3, существуют точки B1, B2, B3и C такие, что
A1 6= A2 ∧ A1 6= A3 ∧ A2 6= A3 ⇒⇒ OnLine(A1,A2,B3) ∧ OnLine(A2,A3,B1) ∧ OnLine(A1,A3,B2)∧∧ OnLine(A1,B1,C ) ∧ OnLine(A2,B2,C ) ∧ OnLine(A3,B3,C )∧
∧ EqDistance(A1,B2,B2,A3)∧∧ EqDistance(A2,B1,B1,A3)∧∧ EqDistance(A1,B3,B3,A2)
![Page 45: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/45.jpg)
Язык (аналитической) геометрии:
Объекты:I точки – пары вещественных чисел 〈ax , ay 〉
Отношения:I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой",
OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉", OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉",EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 46: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/46.jpg)
Язык (аналитической) геометрии:Объекты:
I точки – пары вещественных чисел 〈ax , ay 〉Отношения:
I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой",OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉", OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉",EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 47: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/47.jpg)
Язык (аналитической) геометрии:Объекты:
I точки – пары вещественных чисел 〈ax , ay 〉
Отношения:I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой",
OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉", OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉",EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 48: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/48.jpg)
Язык (аналитической) геометрии:Объекты:
I точки – пары вещественных чисел 〈ax , ay 〉Отношения:
I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой",OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉", OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉",EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 49: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/49.jpg)
Язык (аналитической) геометрии:Объекты:
I точки – пары вещественных чисел 〈ax , ay 〉Отношения:
I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой"
,OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉", OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉",EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 50: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/50.jpg)
Язык (аналитической) геометрии:Объекты:
I точки – пары вещественных чисел 〈ax , ay 〉Отношения:
I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой",OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉", OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉",EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 51: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/51.jpg)
Язык (аналитической) геометрии:Объекты:
I точки – пары вещественных чисел 〈ax , ay 〉Отношения:
I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой",OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉"
, OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉",EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 52: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/52.jpg)
Язык (аналитической) геометрии:Объекты:
I точки – пары вещественных чисел 〈ax , ay 〉Отношения:
I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой",OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉", OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉",EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 53: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/53.jpg)
Язык (аналитической) геометрии:Объекты:
I точки – пары вещественных чисел 〈ax , ay 〉Отношения:
I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой",OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉", OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉"
,EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 54: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/54.jpg)
Язык (аналитической) геометрии:Объекты:
I точки – пары вещественных чисел 〈ax , ay 〉Отношения:
I "Точки 〈ax , ay 〉, 〈bx , by 〉 и 〈cx , cy 〉 лежат на одной прямой",OnLine(ax , ay , bx , by , cx , cy )
I "Точки 〈ax , ay 〉 и 〈bx , by 〉 лежат на одной окружности c центромв точке 〈cx , cy 〉", OnCircle(ax , ay , bx , by , cx , cy )
I "Расстояние между точками 〈ax , ay 〉 и 〈bx , by 〉 равно расстояниюмежду точками 〈cx , cy 〉 и 〈dx , dy 〉",EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
I . . .
![Page 55: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/55.jpg)
Теорема о пересечении медианКаковы бы ни были числа a1,x , a1,y , a2,x , a2,y , a3,x , a3,y , существуютчисла b1,x , b1,y , b2,x , b2,y , b3,x , b3,y , cx и cy такие, что
(a1,x 6= a2,x ∨ a1,y 6= a2,y ) ∧ (a1,x 6= a3,x ∨ a1,y 6= a3,y )∧∧ (a2,x 6= a3,x ∨ a2,y 6= a3,y )⇒
⇒ OnLine(a1,x , a1,y , a2,x , a2,y , b3,x , b3,y )∧∧ OnLine(a2,x , a2,y , a3,x , a3,y , b1,x , b1,y )∧∧ OnLine(a1,x , a1,y , a3,x , a3,y , b2,x , b2,y )∧∧ OnLine(a1,x , a1,y , b1,x , b1,y , cx , cy )∧∧ OnLine(a2,x , a2,y , b2,x , b2,y , cx , cy )∧∧ OnLine(a3,x , a3,y , b3,x , b3,y , cx , cy )∧
∧ EqDistance(a1,x , a1,y , b2,x , b2,y , b2,x , b2,y , a3,x , a3,y )∧∧ EqDistance(a2,x , a2,y , b1,x , b1,y , b1,x , b1,y , a3,x , a3,y )∧∧ EqDistance(a1,x , a1,y , b3,x , b3,y , b3,x , b3,y , a2,x , a2,y )
![Page 56: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/56.jpg)
Немного алгебры
EqDistance(ax , ay , bx , by , cx , cy , dx , dy )
⇐⇒⇐⇒ (ax − bx)2 + (ay − by )2 = (cx − dx)2 + (cy − dy )2
OnCircle(ax , ay , bx , by , cx , cy )
⇐⇒
⇐⇒ EqDistance(ax , ay , cx , cy , bx , by , cx , cy )
⇐⇒ (ax − cx)2 + (ay − cy )2 = (bx − cx)2 + (by − cy )2
OnLine(ax , ay , bx , by , cx , cy )⇐⇒ axby +aycx+bxcy−axcy−aybx−bycx = 0
![Page 57: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/57.jpg)
Немного алгебры
EqDistance(ax , ay , bx , by , cx , cy , dx , dy )⇐⇒⇐⇒ (ax − bx)2 + (ay − by )2 = (cx − dx)2 + (cy − dy )2
OnCircle(ax , ay , bx , by , cx , cy )
⇐⇒
⇐⇒ EqDistance(ax , ay , cx , cy , bx , by , cx , cy )
⇐⇒ (ax − cx)2 + (ay − cy )2 = (bx − cx)2 + (by − cy )2
OnLine(ax , ay , bx , by , cx , cy )⇐⇒ axby +aycx+bxcy−axcy−aybx−bycx = 0
![Page 58: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/58.jpg)
Немного алгебры
EqDistance(ax , ay , bx , by , cx , cy , dx , dy )⇐⇒⇐⇒ (ax − bx)2 + (ay − by )2 = (cx − dx)2 + (cy − dy )2
OnCircle(ax , ay , bx , by , cx , cy )
⇐⇒⇐⇒ EqDistance(ax , ay , cx , cy , bx , by , cx , cy )
⇐⇒ (ax − cx)2 + (ay − cy )2 = (bx − cx)2 + (by − cy )2
OnLine(ax , ay , bx , by , cx , cy )⇐⇒ axby +aycx+bxcy−axcy−aybx−bycx = 0
![Page 59: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/59.jpg)
Немного алгебры
EqDistance(ax , ay , bx , by , cx , cy , dx , dy )⇐⇒⇐⇒ (ax − bx)2 + (ay − by )2 = (cx − dx)2 + (cy − dy )2
OnCircle(ax , ay , bx , by , cx , cy )⇐⇒⇐⇒ EqDistance(ax , ay , cx , cy , bx , by , cx , cy )
⇐⇒ (ax − cx)2 + (ay − cy )2 = (bx − cx)2 + (by − cy )2
OnLine(ax , ay , bx , by , cx , cy )⇐⇒ axby +aycx+bxcy−axcy−aybx−bycx = 0
![Page 60: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/60.jpg)
Немного алгебры
EqDistance(ax , ay , bx , by , cx , cy , dx , dy )⇐⇒⇐⇒ (ax − bx)2 + (ay − by )2 = (cx − dx)2 + (cy − dy )2
OnCircle(ax , ay , bx , by , cx , cy )⇐⇒⇐⇒ EqDistance(ax , ay , cx , cy , bx , by , cx , cy )
⇐⇒ (ax − cx)2 + (ay − cy )2 = (bx − cx)2 + (by − cy )2
OnLine(ax , ay , bx , by , cx , cy )⇐⇒ axby +aycx+bxcy−axcy−aybx−bycx = 0
![Page 61: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/61.jpg)
Немного алгебры
EqDistance(ax , ay , bx , by , cx , cy , dx , dy )⇐⇒⇐⇒ (ax − bx)2 + (ay − by )2 = (cx − dx)2 + (cy − dy )2
OnCircle(ax , ay , bx , by , cx , cy )⇐⇒⇐⇒ EqDistance(ax , ay , cx , cy , bx , by , cx , cy )
⇐⇒ (ax − cx)2 + (ay − cy )2 = (bx − cx)2 + (by − cy )2
OnLine(ax , ay , bx , by , cx , cy )
⇐⇒ axby +aycx+bxcy−axcy−aybx−bycx = 0
![Page 62: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/62.jpg)
Немного алгебры
EqDistance(ax , ay , bx , by , cx , cy , dx , dy )⇐⇒⇐⇒ (ax − bx)2 + (ay − by )2 = (cx − dx)2 + (cy − dy )2
OnCircle(ax , ay , bx , by , cx , cy )⇐⇒⇐⇒ EqDistance(ax , ay , cx , cy , bx , by , cx , cy )
⇐⇒ (ax − cx)2 + (ay − cy )2 = (bx − cx)2 + (by − cy )2
OnLine(ax , ay , bx , by , cx , cy )⇐⇒ axby +aycx+bxcy−axcy−aybx−bycx = 0
![Page 63: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/63.jpg)
Теорема о пересечении медианКаковы бы ни были числа a1,x , a1,y , a2,x , a2,y , a3,x , a3,y , существуютчисла b1,x , b1,y , b2,x , b2,y , b3,x , b3,y , cx и cy такие, что
(a1,x 6= a2,x ∨ a1,y 6= a2,y ) ∧ (a1,x 6= a3,x ∨ a1,y 6= a3,y )∧∧ (a2,x 6= a3,x ∨ a2,y 6= a3,y )⇒
⇒ a1,xa2,y + a1,yb3,x + a2,xb3,y − a1,xb3,y − a1,ya2,x − a2,yb3,x = 0∧∧ a2,xa3,y + a2,yb1,x + a3,xb1,y − a2,xb1,y − a2,ya3,x − a3,yb1,x = 0∧∧ a1,xa3,y + a1,yb2,x + a3,xb2,y − a1,xb2,y − a1,ya3,x − a3,yb2,x = 0∧∧ a1,xb1,y + a1,ycx + b1,xcy − a1,xcy − a1,yb1,x − b1,ycx = 0∧∧ a2,xb2,y + a2,ycx + b2,xcy − a2,xcy − a2,yb2,x − b2,ycx = 0∧∧ a3,xb3,y + a3,ycx + b3,xcy − a3,xcy − a3,yb3,x − b3,ycx = 0∧∧ (a1,x − b2,x)2 + (a1,y − b2,y )2 = (b2,x − a3,x)2 + (b2,y − a3,y )2 ∧∧ (a2,x − b1,x)2 + (a2,y − b1,y )2 = (b1,x − a3,x)2 + (b1,y − a3,y )2 ∧∧ (a1,x − b3,x)2 + (a1,y − b3,y )2 = (b3,x − a2,x)2 + (b3,y − a2,y )2
![Page 64: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/64.jpg)
Большая Советская Энциклопедия:
Алгебра — один из больших разделов математики,принадлежащий наряду с арифметикой и геометрией кчислу старейших ветвей этой науки. Задачи, а такжеметоды алгебры, отличающие ее от других отраслейматематики, создавались постепенно, начиная с древности.Алгебра возникла под влиянием нужд общественнойпрактики, и в результате поиска общих приемов длярешения однотипных арифметических задач. . . .
![Page 65: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/65.jpg)
Большая Советская Энциклопедия:Алгебра — один из больших разделов математики,
принадлежащий наряду с арифметикой и геометрией кчислу старейших ветвей этой науки. Задачи, а такжеметоды алгебры, отличающие ее от других отраслейматематики, создавались постепенно, начиная с древности.Алгебра возникла под влиянием нужд общественнойпрактики, и в результате поиска общих приемов длярешения однотипных арифметических задач. . . .
![Page 66: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/66.jpg)
Математический Энциклопедический Словарь:
АЛГЕБРА —
1. часть математики. В этом понимании термин"Алгебра" употребляется в таких сочетаниях, какгомологическая алгебра, коммутативная алгебра,линейная алгебра, топологическая алгебра. . . .
2. Алгебра над полем P, наз. также л и н е й н о йа л г е б р о й. Алгебра в этом смысле есть кольцо, вкотором определено умножение элементов на наэлементы из P, удовлетворяющее естественнымаксиомам . . .
3. То же, что универсальная алгебра.
![Page 67: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/67.jpg)
Математический Энциклопедический Словарь:АЛГЕБРА —
1. часть математики. В этом понимании термин"Алгебра" употребляется в таких сочетаниях, какгомологическая алгебра, коммутативная алгебра,линейная алгебра, топологическая алгебра. . . .
2. Алгебра над полем P, наз. также л и н е й н о йа л г е б р о й. Алгебра в этом смысле есть кольцо, вкотором определено умножение элементов на наэлементы из P, удовлетворяющее естественнымаксиомам . . .
3. То же, что универсальная алгебра.
![Page 68: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/68.jpg)
Математический Энциклопедический Словарь:АЛГЕБРА —
1. часть математики. В этом понимании термин"Алгебра" употребляется в таких сочетаниях, какгомологическая алгебра, коммутативная алгебра,линейная алгебра, топологическая алгебра. . . .
2. Алгебра над полем P, наз. также л и н е й н о йа л г е б р о й. Алгебра в этом смысле есть кольцо, вкотором определено умножение элементов на наэлементы из P, удовлетворяющее естественнымаксиомам . . .
3. То же, что универсальная алгебра.
![Page 69: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/69.jpg)
Математический Энциклопедический Словарь:АЛГЕБРА —
1. часть математики. В этом понимании термин"Алгебра" употребляется в таких сочетаниях, какгомологическая алгебра, коммутативная алгебра,линейная алгебра, топологическая алгебра. . . .
2. Алгебра над полем P, наз. также л и н е й н о йа л г е б р о й. Алгебра в этом смысле есть кольцо, вкотором определено умножение элементов на наэлементы из P, удовлетворяющее естественнымаксиомам . . .
3. То же, что универсальная алгебра.
![Page 70: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/70.jpg)
Математический Энциклопедический Словарь:АЛГЕБРА —
1. часть математики. В этом понимании термин"Алгебра" употребляется в таких сочетаниях, какгомологическая алгебра, коммутативная алгебра,линейная алгебра, топологическая алгебра. . . .
2. Алгебра над полем P, наз. также л и н е й н о йа л г е б р о й. Алгебра в этом смысле есть кольцо, вкотором определено умножение элементов на наэлементы из P, удовлетворяющее естественнымаксиомам . . .
3. То же, что универсальная алгебра.
![Page 71: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/71.jpg)
Иоганн Карл Фридрих Гаусс ?:
Алгебра — это арифметика для лентяев
Алгебра — это геометрия для лентяев
![Page 72: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/72.jpg)
Иоганн Карл Фридрих Гаусс ?:Алгебра — это арифметика для лентяев
Алгебра — это геометрия для лентяев
![Page 73: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/73.jpg)
Иоганн Карл Фридрих Гаусс ?:Алгебра — это арифметика для лентяев
Алгебра — это геометрия для лентяев
![Page 74: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/74.jpg)
Язык A
I обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 75: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/75.jpg)
Язык AI обозначения для всех рациональных чисел, 2,-3,5/7,-451/53,. . .
I переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 76: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/76.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чисел
I операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 77: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/77.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чисел, a, b, c , . . . , a1, b2, x6, . . .
I операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 78: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/78.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умножения
I отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 79: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/79.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умножения, с их помощью строятся
многочлены
I отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 80: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/80.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <
I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 81: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/81.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <, с их помощью строятся элементарные
формулы
I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 82: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/82.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <, с их помощью строятся элементарные
формулы:если P и Q – многочлены, то P = Q, P > Q, P < Q –
элементарные формулы
I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 83: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/83.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки
∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 84: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/84.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 85: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/85.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ") , с их помощью строятся формулы
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 86: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/86.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ") , с их помощью строятся формулы:если Φ и Ψ – формулы, то (Φ ∧ Ψ) , (Φ ∨ Ψ), ¬Φ, (Φ =⇒ Ψ)
также являются формулами
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 87: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/87.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ") , с их помощью строятся формулы:если Φ и Ψ – формулы, то (Φ ∧ Ψ) , (Φ ∨ Ψ), ¬Φ, (Φ =⇒ Ψ)
также являются формулами.
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 88: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/88.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ") , с их помощью строятся формулы:если Φ и Ψ – формулы, то (Φ ∧ Ψ) , (Φ ∨ Ψ), ¬Φ, (Φ =⇒ Ψ)
также являются формулами.
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли (∗)?
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 89: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/89.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ") , с их помощью строятся формулы:если Φ и Ψ – формулы, то (Φ ∧ Ψ) , (Φ ∨ Ψ), ¬Φ, (Φ =⇒ Ψ)
также являются формулами.
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли (∗) при x = 4, y = 5?
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 90: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/90.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ") , с их помощью строятся формулы:если Φ и Ψ – формулы, то (Φ ∧ Ψ) , (Φ ∨ Ψ), ¬Φ, (Φ =⇒ Ψ)
также являются формулами.
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли (∗) при x = 4, y = 5?Верно ли (∗) при любых x , y?
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 91: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/91.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ") , с их помощью строятся формулы:если Φ и Ψ – формулы, то (Φ ∧ Ψ) , (Φ ∨ Ψ), ¬Φ, (Φ =⇒ Ψ)
также являются формулами.
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли (∗) при x = 4, y = 5?Верно ли (∗) при любых x , y?Существуют ли x , y такие, что выполнено (∗)?
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 92: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/92.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ") , с их помощью строятся формулы:если Φ и Ψ – формулы, то (Φ ∧ Ψ) , (Φ ∨ Ψ), ¬Φ, (Φ =⇒ Ψ)
также являются формулами.
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли (∗) при x = 4, y = 5?Верно ли (∗) при любых x , y?Существуют ли x , y такие, что выполнено (∗)?Верно ли, что для любого x существует y такое, чтовыполнено (∗)?
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 93: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/93.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ") , с их помощью строятся формулы:если Φ и Ψ – формулы, то (Φ ∧ Ψ) , (Φ ∨ Ψ), ¬Φ, (Φ =⇒ Ψ)
также являются формулами.
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли (∗) при x = 4, y = 5?Верно ли (∗) при любых x , y?Существуют ли x , y такие, что выполнено (∗)?Верно ли, что для любого x существует y такое, чтовыполнено (∗)?
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 94: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/94.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы
∀ ("для всех"), ∃ ("существует")
![Page 95: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/95.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 96: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/96.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
![Page 97: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/97.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
![Page 98: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/98.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли (∗) при любых x , y?
![Page 99: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/99.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли (∗) при любых x , y?
∀x∀y{x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y}
![Page 100: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/100.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Существуют ли x , y такие, что выполнено (∗)?
![Page 101: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/101.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Существуют ли x , y такие, что выполнено (∗)?
∃x∃y{x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y}
![Page 102: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/102.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли, что для любого x существует y такое, чтовыполнено (∗)?
![Page 103: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/103.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
Верно ли, что для любого x существует y такое, чтовыполнено (∗)?
∀x∃y{x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y}
![Page 104: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/104.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
∀x∃y{x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y}
∀x{∃y{x2y + 4xy3 > (x − y)2} ∧ ∃y{xy = 3x + 2y}}
![Page 105: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/105.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
∀x∃y{x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y}∀x{∃y{x2y + 4xy3 > (x − y)2} ∧ ∃y{xy = 3x + 2y}}
∀x{∃y{x2y + 4xy3 > (x − y)2} ∧ xy = 3x + 2y}
![Page 106: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/106.jpg)
Язык AI обозначения для всех рациональных чиселI переменные для вещественных чиселI операции сложения и умноженияI отношения =, >, <I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если . . . ,
то . . . ")
I кванторы ∀ ("для всех"), ∃ ("существует"), с их помощьюстроятся формулы:
если Φ – формула, а α – переменная, то ∀α{Φ}, ∃α{Φ}также являются формулами
x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y (∗)
∀x∃y{x2y + 4xy3 > (x − y)2 ∧ xy = 3x + 2y}∀x{∃y{x2y + 4xy3 > (x − y)2} ∧ ∃y{xy = 3x + 2y}}
∀x{∃y{x2y + 4xy3 > (x − y)2} ∧ xy = 3x + 2y}
![Page 107: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/107.jpg)
Теорема Альфреда ТарскогоСуществует алгоритм, позволяющий по любой формуле языка A безсвободных переменных узнавать за конечное число шагов, являетсяли эта формула истинной.
![Page 108: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/108.jpg)
Аль-Хорезми Абу Абдалла Мухаммед бен Мусса
Жил примерно в 787-850
"Китаб аль-мухтасар фи хисаб аль-габр в’алмуккабалла"
![Page 109: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/109.jpg)
Аль-Хорезми Абу Абдалла Мухаммед бен МуссаЖил примерно в 787-850
"Китаб аль-мухтасар фи хисаб аль-габр в’алмуккабалла"
![Page 110: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/110.jpg)
Аль-Хорезми Абу Абдалла Мухаммед бен МуссаЖил примерно в 787-850
"Китаб аль-мухтасар фи хисаб аль-габр в’алмуккабалла"
![Page 111: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/111.jpg)
Язык A
(новая версия)
I обозначения для всех рациональных чиселI переменные для вещественных чиселI отношения =, >, <, с их помощью строятся элементарные
формулы: если P и Q – многочлены, то P = Q, P > Q, P < Q –элементарные формулы
I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если ...,то ...")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 112: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/112.jpg)
Язык A (новая версия)I обозначения для всех рациональных чиселI переменные для вещественных чиселI отношения =, >, <, с их помощью строятся элементарные
формулы: если P – многочлен, то P = 0, P > 0, P < 0 –элементарные формулы
I логические связки ∧ ("и"), ∨ ("или"), ¬ ("не"), =⇒ ("если ...,то ...")
I кванторы ∀ ("для всех"), ∃ ("существует")
![Page 113: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/113.jpg)
Теорема Альфреда ТарскогоСуществует алгоритм, позволяющий по любой формуле языка A безсвободных переменных узнавать за конечное число шагов, являетсяли эта формула истинной.
Тривиальный случай – бескванторная формула
База индукции – однокванторная формула, ∃xΦ(x) или ∀xΦ(x)
![Page 114: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/114.jpg)
Теорема Альфреда ТарскогоСуществует алгоритм, позволяющий по любой формуле языка A безсвободных переменных узнавать за конечное число шагов, являетсяли эта формула истинной.
Тривиальный случай – бескванторная формула
База индукции – однокванторная формула, ∃xΦ(x) или ∀xΦ(x)
![Page 115: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/115.jpg)
Теорема Альфреда ТарскогоСуществует алгоритм, позволяющий по любой формуле языка A безсвободных переменных узнавать за конечное число шагов, являетсяли эта формула истинной.
Тривиальный случай – бескванторная формула
База индукции – однокванторная формула, ∃xΦ(x) или ∀xΦ(x)
![Page 116: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/116.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 = 0
![Page 117: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/117.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 = 0
![Page 118: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/118.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 = 0
-2 -1 1 2
-2
-1
1
2
![Page 119: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/119.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 = 0
-2 -1 1 2
-2
-1
1
2
![Page 120: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/120.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 = 0
-2 -1 1 2
-2
-1
1
2
![Page 121: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/121.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 > 0
![Page 122: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/122.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 > 0
-2 -1 1 2
-2
-1
1
2
![Page 123: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/123.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 > 0
-2 -1 1 2
-2
-1
1
2
![Page 124: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/124.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 > 0
-2 -1 1 2
-2
-1
1
2
![Page 125: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/125.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 < 0
![Page 126: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/126.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 < 0
-2 -1 1 2
-2
-1
1
2
![Page 127: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/127.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 < 0
-2 -1 1 2
-2
-1
1
2
![Page 128: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/128.jpg)
Основная идея
12
+1120
x − 1120
x2 − 1320
x3 +120
x4 +110
x5 < 0
-2 -1 1 2
-2
-1
1
2
![Page 129: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/129.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x); не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xiI для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 130: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/130.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x); не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xiI для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 131: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/131.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x);
не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xiI для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 132: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/132.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x); не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xiI для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 133: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/133.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x); не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xiI для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 134: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/134.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x); не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xiI для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 135: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/135.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x); не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xi
I для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 136: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/136.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x); не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xiI для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 137: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/137.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x); не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xiI для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 138: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/138.jpg)
"Алгоритм" Тарского (1-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P1(x), . . . ,Pk(x); не ограничивая общностимы считаем, что
x0 < x1 < · · · < xn−1 < xn
3. Расширить множество N до множества M = {y0, . . . , ym} ⊃ Nтакого, что
I для любого i , такого что 0 < i ≤ n, существует j , такое что0 < i ≤ n и xi−1 < yj < xi
I для любого i , такого что 0 ≤ i ≤ n, y0 < xiI для любого i , такого что 0 ≤ i ≤ n, xi < ym
4. I Формула ∃xΦ(x) истинна, если и только если
Φ(y0) ∨ · · · ∨ Φ(ym)
I Формула ∀xΦ(x) истинна, если и только если
Φ(y0) ∧ . . . ∧ Φ(ym)
![Page 139: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/139.jpg)
Нули производной
-2 -1 1 2
-2
-1
1
2
![Page 140: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/140.jpg)
"Алгоритм" Тарского (2-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Найти множество N = {x0, . . . , xn}, состоящее из всех корней
всех многочленов P0(x),P1(x), . . . ,Pk(x).4. Расширить множество N до множества
M = {x−∞, x0, x1, . . . , xn, x+∞}, где x−∞ и x+∞ – такие числа,что x−∞ < x0 < x1 < · · · < xn−1 < xn < x+∞
5. I Формула ∃xΦ(x) истинна, если и только если
Φ(x−∞) ∨ Φ(x0) ∨ · · · ∨ Φ(xn) ∨ Φ(x+∞)
I Формула ∀xΦ(x) истинна, если и только если
Φ(x−∞) ∧ Φ(x0) ∧ . . . ∧ Φ(xn) ∧ Φ(x+∞)
![Page 141: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/141.jpg)
"Алгоритм" Тарского (2-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Найти множество N = {x0, . . . , xn}, состоящее из всех корней
всех многочленов P0(x),P1(x), . . . ,Pk(x).4. Расширить множество N до множества
M = {x−∞, x0, x1, . . . , xn, x+∞}, где x−∞ и x+∞ – такие числа,что x−∞ < x0 < x1 < · · · < xn−1 < xn < x+∞
5. I Формула ∃xΦ(x) истинна, если и только если
Φ(x−∞) ∨ Φ(x0) ∨ · · · ∨ Φ(xn) ∨ Φ(x+∞)
I Формула ∀xΦ(x) истинна, если и только если
Φ(x−∞) ∧ Φ(x0) ∧ . . . ∧ Φ(xn) ∧ Φ(x+∞)
![Page 142: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/142.jpg)
"Алгоритм" Тарского (2-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.
3. Найти множество N = {x0, . . . , xn}, состоящее из всех корнейвсех многочленов P0(x),P1(x), . . . ,Pk(x).
4. Расширить множество N до множестваM = {x−∞, x0, x1, . . . , xn, x+∞}, где x−∞ и x+∞ – такие числа,что x−∞ < x0 < x1 < · · · < xn−1 < xn < x+∞
5. I Формула ∃xΦ(x) истинна, если и только если
Φ(x−∞) ∨ Φ(x0) ∨ · · · ∨ Φ(xn) ∨ Φ(x+∞)
I Формула ∀xΦ(x) истинна, если и только если
Φ(x−∞) ∧ Φ(x0) ∧ . . . ∧ Φ(xn) ∧ Φ(x+∞)
![Page 143: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/143.jpg)
"Алгоритм" Тарского (2-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Найти множество N = {x0, . . . , xn}, состоящее из всех корней
всех многочленов P0(x),P1(x), . . . ,Pk(x).
4. Расширить множество N до множестваM = {x−∞, x0, x1, . . . , xn, x+∞}, где x−∞ и x+∞ – такие числа,что x−∞ < x0 < x1 < · · · < xn−1 < xn < x+∞
5. I Формула ∃xΦ(x) истинна, если и только если
Φ(x−∞) ∨ Φ(x0) ∨ · · · ∨ Φ(xn) ∨ Φ(x+∞)
I Формула ∀xΦ(x) истинна, если и только если
Φ(x−∞) ∧ Φ(x0) ∧ . . . ∧ Φ(xn) ∧ Φ(x+∞)
![Page 144: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/144.jpg)
"Алгоритм" Тарского (2-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Найти множество N = {x0, . . . , xn}, состоящее из всех корней
всех многочленов P0(x),P1(x), . . . ,Pk(x).4. Расширить множество N до множества
M = {x−∞, x0, x1, . . . , xn, x+∞}, где x−∞ и x+∞ – такие числа,что x−∞ < x0 < x1 < · · · < xn−1 < xn < x+∞
5. I Формула ∃xΦ(x) истинна, если и только если
Φ(x−∞) ∨ Φ(x0) ∨ · · · ∨ Φ(xn) ∨ Φ(x+∞)
I Формула ∀xΦ(x) истинна, если и только если
Φ(x−∞) ∧ Φ(x0) ∧ . . . ∧ Φ(xn) ∧ Φ(x+∞)
![Page 145: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/145.jpg)
"Алгоритм" Тарского (2-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Найти множество N = {x0, . . . , xn}, состоящее из всех корней
всех многочленов P0(x),P1(x), . . . ,Pk(x).4. Расширить множество N до множества
M = {x−∞, x0, x1, . . . , xn, x+∞}, где x−∞ и x+∞ – такие числа,что x−∞ < x0 < x1 < · · · < xn−1 < xn < x+∞
5. I Формула ∃xΦ(x) истинна, если и только если
Φ(x−∞) ∨ Φ(x0) ∨ · · · ∨ Φ(xn) ∨ Φ(x+∞)
I Формула ∀xΦ(x) истинна, если и только если
Φ(x−∞) ∧ Φ(x0) ∧ . . . ∧ Φ(xn) ∧ Φ(x+∞)
![Page 146: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/146.jpg)
"Алгоритм" Тарского (2-я версия) для QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Найти множество N = {x0, . . . , xn}, состоящее из всех корней
всех многочленов P0(x),P1(x), . . . ,Pk(x).4. Расширить множество N до множества
M = {x−∞, x0, x1, . . . , xn, x+∞}, где x−∞ и x+∞ – такие числа,что x−∞ < x0 < x1 < · · · < xn−1 < xn < x+∞
5. I Формула ∃xΦ(x) истинна, если и только если
Φ(x−∞) ∨ Φ(x0) ∨ · · · ∨ Φ(xn) ∨ Φ(x+∞)
I Формула ∀xΦ(x) истинна, если и только если
Φ(x−∞) ∧ Φ(x0) ∧ . . . ∧ Φ(xn) ∧ Φ(x+∞)
![Page 147: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/147.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)
x−∞ x0 . . . xj . . . xn x+∞
T0(x) T0(x−∞) T0(x0)
. . .
T0(xj)
. . .
T0(xn) T0(x+∞)
...
......
. . ....
. . ....
...
Ti (x) Ti (x−∞) Ti (x0)
. . .
Ti (xj)
. . .
Ti (xn) Ti (x+∞)
...
......
. . ....
. . ....
...
Tk(x) Tk(x−∞) Tk(x0)
. . .
Tk(xj)
. . .
Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 148: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/148.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)
x−∞ x0 . . . xj . . . xn x+∞
T0(x)
T0(x−∞) T0(x0)
. . .
T0(xj)
. . .
T0(xn) T0(x+∞)
......
.... . .
.... . .
......
Ti (x)
Ti (x−∞) Ti (x0)
. . .
Ti (xj)
. . .
Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x)
Tk(x−∞) Tk(x0)
. . .
Tk(xj)
. . .
Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 149: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/149.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)x−∞ x0 . . . xj . . . xn x+∞
T0(x)
T0(x−∞) T0(x0)
. . .
T0(xj)
. . .
T0(xn) T0(x+∞)
......
.... . .
.... . .
......
Ti (x)
Ti (x−∞) Ti (x0)
. . .
Ti (xj)
. . .
Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x)
Tk(x−∞) Tk(x0)
. . .
Tk(xj)
. . .
Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 150: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/150.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)x−∞ x0 . . . xj . . . xn x+∞
T0(x)
T0(x−∞) T0(x0)
. . .
T0(xj)
. . .
T0(xn) T0(x+∞)
......
.... . .
.... . .
......
Ti (x)
Ti (x−∞) Ti (x0)
. . . Ti (xj) . . .
Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x)
Tk(x−∞) Tk(x0)
. . .
Tk(xj)
. . .
Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 151: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/151.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)x−∞ x0 . . . xj . . . xn x+∞
T0(x)
T0(x−∞) T0(x0)
. . . T0(xj) . . .
T0(xn) T0(x+∞)
......
.... . .
.... . .
......
Ti (x)
Ti (x−∞) Ti (x0)
. . . Ti (xj) . . .
Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x)
Tk(x−∞) Tk(x0)
. . . Tk(xj) . . .
Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 152: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/152.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)x−∞ x0 . . . xj . . . xn x+∞
T0(x)
T0(x−∞) T0(x0)
. . . T0(xj) . . .
T0(xn) T0(x+∞)
......
.... . .
.... . .
......
Ti (x) Ti (x−∞) Ti (x0) . . . Ti (xj) . . . Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x)
Tk(x−∞) Tk(x0)
. . . Tk(xj) . . .
Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 153: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/153.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)x−∞ x0 . . . xj . . . xn x+∞
T0(x) T0(x−∞) T0(x0) . . . T0(xj) . . . T0(xn) T0(x+∞)
......
.... . .
.... . .
......
Ti (x) Ti (x−∞) Ti (x0) . . . Ti (xj) . . . Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x) Tk(x−∞) Tk(x0) . . . Tk(xj) . . . Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 154: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/154.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)x−∞ x0 . . . xj . . . xn x+∞
T0(x) T0(x−∞) T0(x0) . . . T0(xj) . . . T0(xn) T0(x+∞)
......
.... . .
.... . .
......
Ti (x) Ti (x−∞) Ti (x0) . . . Ti (xj) . . . Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x) Tk(x−∞) Tk(x0) . . . Tk(xj) . . . Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 155: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/155.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)x−∞ x0 . . . xj . . . xn x+∞
T0(x) T0(x−∞) T0(x0) . . . T0(xj) . . . T0(xn) T0(x+∞)
......
.... . .
.... . .
......
Ti (x) Ti (x−∞) Ti (x0) . . . Ti (xj) . . . Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x) Tk(x−∞) Tk(x0) . . . Tk(xj) . . . Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 156: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/156.jpg)
Таблица Тарского для многочленов T0(x), . . . ,Tk(x)x−∞ x0 . . . xj . . . xn x+∞
T0(x) T0(x−∞) T0(x0) . . . T0(xj) . . . T0(xn) T0(x+∞)
......
.... . .
.... . .
......
Ti (x) Ti (x−∞) Ti (x0) . . . Ti (xj) . . . Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x) Tk(x−∞) Tk(x0) . . . Tk(xj) . . . Tk(xn) Tk(x+∞)
x−∞ < x0 < · · · < xj < · · · < xn < x+∞
∀j {0 ≤ j ≤ n =⇒ ∃i{Ti (x) 6≡ 0 ∧ Ti (xj) = 0)}}
∀i∀x{(Ti (x) 6≡ 0 ∧ Ti (x) = 0)⇒ ∃j{0 ≤ j ≤ n ∧ x = xj}}
![Page 157: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/157.jpg)
"Алгоритм" Тарского (2-я версия)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).4. Вычислить логические значение Φ(xj) для каждого столбца
таблицы, пользуясь содержимым таблицы:x−∞ x0 . . . xj . . . xn x+∞
P0(x) P0(x−∞) P0(x0) . . . P0(xj) . . . P0(xn) P0(x+∞)...
......
. . ....
. . ....
...Pi (x) Pi (x−∞) Pi (x0) . . . Pi (xj) . . . Pi (xn) Pi (x+∞)...
......
. . ....
. . ....
...Pk(x) Pk(x−∞) Pk(x0) . . . Pk(xj) . . . Pk(xn) Pk(x+∞)Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 158: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/158.jpg)
"Алгоритм" Тарского (2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).4. Вычислить логические значение Φ(xj) для каждого столбца
таблицы, пользуясь содержимым таблицы:x−∞ x0 . . . xj . . . xn x+∞
P0(x) P0(x−∞) P0(x0) . . . P0(xj) . . . P0(xn) P0(x+∞)...
......
. . ....
. . ....
...Pi (x) Pi (x−∞) Pi (x0) . . . Pi (xj) . . . Pi (xn) Pi (x+∞)...
......
. . ....
. . ....
...Pk(x) Pk(x−∞) Pk(x0) . . . Pk(xj) . . . Pk(xn) Pk(x+∞)Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 159: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/159.jpg)
"Алгоритм" Тарского (2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.
3. Построить таблицу Тарского для многочленовP0(x),P1(x), . . . ,Pk(x).
4. Вычислить логические значение Φ(xj) для каждого столбцатаблицы, пользуясь содержимым таблицы:
x−∞ x0 . . . xj . . . xn x+∞P0(x) P0(x−∞) P0(x0) . . . P0(xj) . . . P0(xn) P0(x+∞)
......
.... . .
.... . .
......
Pi (x) Pi (x−∞) Pi (x0) . . . Pi (xj) . . . Pi (xn) Pi (x+∞)...
......
. . ....
. . ....
...Pk(x) Pk(x−∞) Pk(x0) . . . Pk(xj) . . . Pk(xn) Pk(x+∞)Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 160: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/160.jpg)
"Алгоритм" Тарского (2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).
4. Вычислить логические значение Φ(xj) для каждого столбцатаблицы, пользуясь содержимым таблицы:
x−∞ x0 . . . xj . . . xn x+∞P0(x) P0(x−∞) P0(x0) . . . P0(xj) . . . P0(xn) P0(x+∞)
......
.... . .
.... . .
......
Pi (x) Pi (x−∞) Pi (x0) . . . Pi (xj) . . . Pi (xn) Pi (x+∞)...
......
. . ....
. . ....
...Pk(x) Pk(x−∞) Pk(x0) . . . Pk(xj) . . . Pk(xn) Pk(x+∞)Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 161: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/161.jpg)
"Алгоритм" Тарского (2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).4. Вычислить логические значение Φ(xj) для каждого столбца
таблицы, пользуясь содержимым таблицы:x−∞ x0 . . . xj . . . xn x+∞
P0(x) P0(x−∞) P0(x0) . . . P0(xj) . . . P0(xn) P0(x+∞)...
......
. . ....
. . ....
...Pi (x) Pi (x−∞) Pi (x0) . . . Pi (xj) . . . Pi (xn) Pi (x+∞)...
......
. . ....
. . ....
...Pk(x) Pk(x−∞) Pk(x0) . . . Pk(xj) . . . Pk(xn) Pk(x+∞)Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 162: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/162.jpg)
"Алгоритм" Тарского (2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в бескванторную формулу Φ(x) и отличных от тождественногонуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).4. Вычислить логические значение Φ(xj) для каждого столбца
таблицы, пользуясь содержимым таблицы:x−∞ x0 . . . xj . . . xn x+∞
P0(x) P0(x−∞) P0(x0) . . . P0(xj) . . . P0(xn) P0(x+∞)...
......
. . ....
. . ....
...Pi (x) Pi (x−∞) Pi (x0) . . . Pi (xj) . . . Pi (xn) Pi (x+∞)...
......
. . ....
. . ....
...Pk(x) Pk(x−∞) Pk(x0) . . . Pk(xj) . . . Pk(xn) Pk(x+∞)Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 163: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/163.jpg)
Сокращенная
таблица Тарскогоx−∞ x0 . . . xj . . . xn x+∞
T0(x) T0(x−∞) T0(x0) . . . T0(xj) . . . T0(xn) T0(x+∞)...
......
. . ....
. . ....
...Ti (x) Ti (x−∞) Ti (x0) . . . Ti (xj) . . . Ti (xn) Ti (x+∞)
......
.... . .
.... . .
......
Tk(x) Tk(x−∞) Tk(x0) . . . Tk(xj) . . . Tk(xn) Tk(x+∞)Φ(x) и/л и/л . . . и/л . . . и/л и/л
Лемма. Знаки − и + не могут стоять в двух соседних погоризонтали клетках.
![Page 164: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/164.jpg)
Сокращенная таблица Тарскогоx−∞ x0 . . . xj . . . xn x+∞
T0(x) − |0|+ − |0|+ . . . − |0|+ . . . − |0|+ − |0|+...
......
. . ....
. . ....
...Ti (x) − |0|+ − |0|+ . . . − |0|+ . . . − |0|+ − |0|+
......
.... . .
.... . .
......
Tk(x) − |0|+ − |0|+ . . . − |0|+ . . . − |0|+ − |0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
Лемма. Знаки − и + не могут стоять в двух соседних погоризонтали клетках.
![Page 165: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/165.jpg)
Сокращенная таблица Тарского−∞
x0 . . . xj . . . xn
+∞T0(x) − |0|+ − |0|+ . . . − |0|+ . . . − |0|+ − |0|+
......
.... . .
.... . .
......
Ti (x) − |0|+ − |0|+ . . . − |0|+ . . . − |0|+ − |0|+...
......
. . ....
. . ....
...Tk(x) − |0|+ − |0|+ . . . − |0|+ . . . − |0|+ − |0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
Лемма. Знаки − и + не могут стоять в двух соседних погоризонтали клетках.
![Page 166: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/166.jpg)
Сокращенная таблица Тарского−∞
x0 . . . xj . . . xn
+∞T0(x) − |0|+ − |0|+ . . . − |0|+ . . . − |0|+ − |0|+
......
.... . .
.... . .
......
Ti (x) − |0|+ − |0|+ . . . − |0|+ . . . − |0|+ − |0|+...
......
. . ....
. . ....
...Tk(x) − |0|+ − |0|+ . . . − |0|+ . . . − |0|+ − |0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
Лемма. Знаки − и + не могут стоять в двух соседних погоризонтали клетках.
![Page 167: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/167.jpg)
Лемма.Знаки − и + не могут стоять в двух соседних по горизонтали
клетках.
-2 -1 1 2
-2
-1
1
2
![Page 168: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/168.jpg)
"Алгоритм" Тарского (модифицированная 2-я версия)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить сокращенную таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).4. Вычислить логические значение Φ(x) для каждого столбца
таблицы, пользуясь только содержимым таблицы:−∞ +∞
P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pi (x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 169: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/169.jpg)
"Алгоритм" Тарского (модифицированная 2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить сокращенную таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).4. Вычислить логические значение Φ(x) для каждого столбца
таблицы, пользуясь только содержимым таблицы:−∞ +∞
P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pi (x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 170: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/170.jpg)
"Алгоритм" Тарского (модифицированная 2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в Φ(x) и отличных от тождественного нуля.2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.
3. Построить сокращенную таблицу Тарского для многочленовP0(x),P1(x), . . . ,Pk(x).
4. Вычислить логические значение Φ(x) для каждого столбцатаблицы, пользуясь только содержимым таблицы:
−∞ +∞P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Pi (x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 171: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/171.jpg)
"Алгоритм" Тарского (модифицированная 2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в Φ(x) и отличных от тождественного нуля.2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить сокращенную таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).
4. Вычислить логические значение Φ(x) для каждого столбцатаблицы, пользуясь только содержимым таблицы:
−∞ +∞P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Pi (x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 172: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/172.jpg)
"Алгоритм" Тарского (модифицированная 2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в Φ(x) и отличных от тождественного нуля.2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить сокращенную таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).4. Вычислить логические значение Φ(x) для каждого столбца
таблицы, пользуясь только содержимым таблицы:−∞ +∞
P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pi (x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 173: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/173.jpg)
"Алгоритм" Тарского (модифицированная 2-я версия)1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящих
в Φ(x) и отличных от тождественного нуля.2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′.3. Построить сокращенную таблицу Тарского для многочленов
P0(x),P1(x), . . . ,Pk(x).4. Вычислить логические значение Φ(x) для каждого столбца
таблицы, пользуясь только содержимым таблицы:−∞ +∞
P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pi (x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
5. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны.
![Page 174: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/174.jpg)
Сокращенная таблица Тарского
−∞ +∞T0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Ti (x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+...
......
. . ....
. . ....
...Tk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
![Page 175: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/175.jpg)
Полунасыщенные системы
Определение. Система функций называется полунасыщенной,если вместе с каждой функцией она содержит и ее производную.
Лемма. Каждую конечную систему многочленов можнорасширить до конечной полунасыщенной системы.
![Page 176: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/176.jpg)
Полунасыщенные системы
Определение. Система функций называется полунасыщенной,если вместе с каждой функцией она содержит и ее производную.
Лемма. Каждую конечную систему многочленов можнорасширить до конечной полунасыщенной системы.
![Page 177: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/177.jpg)
Таблица Тарского
−∞ xi xi+1 +∞T0(x) −|0|+ . . . −|0|+ −|0|+ . . . −|0|+
......
. . ....
.... . .
...Ti (x) −|0|+ . . . 0 0 . . . −|0|+
......
. . ....
.... . .
...Tk(x) −|0|+ . . . −|0|+ −|0|+ . . . −|0|+
Лемма. Если система многочленов T0(x), . . . ,Tk(x)полунасыщенна и Ti (x) 6≡ 0, то в i-ой строке символ 0 не можетстоять в двух соседних клетках.
![Page 178: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/178.jpg)
Таблица Тарского
−∞ xi xi+1 +∞T0(x) −|0|+ . . . −|0|+ −|0|+ . . . −|0|+
......
. . ....
.... . .
...Ti (x) −|0|+ . . . 0 0 . . . −|0|+
......
. . ....
.... . .
...Tk(x) −|0|+ . . . −|0|+ −|0|+ . . . −|0|+
Лемма. Если система многочленов T0(x), . . . ,Tk(x)полунасыщенна и Ti (x) 6≡ 0, то в i-ой строке символ 0 не можетстоять в двух соседних клетках.
![Page 179: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/179.jpg)
Насыщенные системыОпределение. Система функций называется полунасыщенной,если вместе с каждой функцией она содержит и ее производную.
Определение. Полунасыщенная система многочленовT0(x), . . . ,Tn(x) называется насыщенной, если вместе с каждымидвумя многочленами Tk(x) и Tm(x) такими, что0 < degree(Tm(x)) ≤ degree(Tk(x)), она содержит и остаток R(x) отделения Tk(x) на Tm(x).
Tk(x) = Q(x)Tm(x) + R(x), degree(R(x)) < degree(Tm(x))
![Page 180: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/180.jpg)
Насыщенные системыОпределение. Система функций называется полунасыщенной,если вместе с каждой функцией она содержит и ее производную.
Определение. Полунасыщенная система многочленовT0(x), . . . ,Tn(x) называется насыщенной, если вместе с каждымидвумя многочленами Tk(x) и Tm(x) такими, что0 < degree(Tm(x)) ≤ degree(Tk(x)), она содержит и остаток R(x) отделения Tk(x) на Tm(x).
Tk(x) = Q(x)Tm(x) + R(x), degree(R(x)) < degree(Tm(x))
![Page 181: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/181.jpg)
Насыщенные системыОпределение. Система функций называется полунасыщенной,если вместе с каждой функцией она содержит и ее производную.
Определение. Полунасыщенная система многочленовT0(x), . . . ,Tn(x) называется насыщенной, если вместе с каждымидвумя многочленами Tk(x) и Tm(x) такими, что0 < degree(Tm(x)) ≤ degree(Tk(x)), она содержит и остаток R(x) отделения Tk(x) на Tm(x).
Tk(x) = Q(x)Tm(x) + R(x), degree(R(x)) < degree(Tm(x))
![Page 182: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/182.jpg)
Насыщенные системыОпределение. Система функций называется полунасыщенной,если вместе с каждой функцией она содержит и ее производную.
Определение. Полунасыщенная система многочленовT0(x), . . . ,Tn(x) называется насыщенной, если вместе с каждымидвумя многочленами Tk(x) и Tm(x) такими, что0 < degree(Tm(x)) ≤ degree(Tk(x)), она содержит и остаток R(x) отделения Tk(x) на Tm(x).
Tk(x) = Q(x)Tm(x) + R(x), degree(R(x)) < degree(Tm(x))
![Page 183: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/183.jpg)
Насыщенные системыОпределение. Система функций называется полунасыщенной,если вместе с каждой функцией она содержит и ее производную.
Определение. Полунасыщенная система многочленовT0(x), . . . ,Tn(x) называется насыщенной, если вместе с каждымидвумя многочленами Tk(x) и Tm(x) такими, что0 < degree(Tm(x)) ≤ degree(Tk(x)), она содержит и остаток R(x) отделения Tk(x) на Tm(x).
Tk(x) = Q(x)Tm(x) + R(x), degree(R(x)) < degree(Tm(x))
Лемма. Каждую конечную систему многочленов можнорасширить до конечной насыщенной системы.
![Page 184: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/184.jpg)
Насыщенные системыОпределение. Система функций называется полунасыщенной,если вместе с каждой функцией она содержит и ее производную.
Определение. Полунасыщенная система многочленовT0(x), . . . ,Tn(x) называется насыщенной, если вместе с каждымидвумя многочленами Tk(x) и Tm(x) такими, что0 < degree(Tm(x)) ≤ degree(Tk(x)), она содержит и остаток R(x) отделения Tk(x) на Tm(x).
Tk(x) = Q(x)Tm(x) + R(x), degree(R(x)) < degree(Tm(x))
Лемма. Если T0(x), . . . ,Tk−1(x),Tk(x) – насыщенная системамногочленов, и
degree(T0(x)) ≤ · · · ≤ degree(Tk−1(x)) ≤ degree(Tk(x)),
то система T0(x), . . . ,Tk−1(x) также является насыщенной.
![Page 185: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/185.jpg)
Построение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
degree(T0(x)) ≤ · · · ≤ degree(Tk−1(x)) ≤ degree(Tk(x))
Случай k = 0: система из одного многочлена T0(x) ≡ 0
−∞ +∞T0(x) 0 0
![Page 186: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/186.jpg)
Построение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
degree(T0(x)) ≤ · · · ≤ degree(Tk−1(x)) ≤ degree(Tk(x))
Случай k = 0: система из одного многочлена T0(x) ≡ 0
−∞ +∞T0(x) 0 0
![Page 187: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/187.jpg)
Построение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
degree(T0(x)) ≤ · · · ≤ degree(Tk−1(x)) ≤ degree(Tk(x))
Случай k = 0: система из одного многочлена T0(x)
≡ 0
−∞ +∞T0(x) 0 0
![Page 188: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/188.jpg)
Построение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
degree(T0(x)) ≤ · · · ≤ degree(Tk−1(x)) ≤ degree(Tk(x))
Случай k = 0: система из одного многочлена T0(x) ≡ 0
−∞ +∞T0(x) 0 0
![Page 189: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/189.jpg)
Построение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
degree(T0(x)) ≤ · · · ≤ degree(Tk−1(x)) ≤ degree(Tk(x))
Случай k = 0: система из одного многочлена T0(x) ≡ 0
−∞ +∞T0(x) 0 0
![Page 190: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/190.jpg)
Построение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
Случай degree(T1(x)) = · · · = degree(Tk(x)) = 0
−∞ +∞T0(x) 0 0T1(x)
− |+ − |+
......
...Tk(x)
− |+ − |+
![Page 191: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/191.jpg)
Построение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
Случай degree(T1(x)) = · · · = degree(Tk(x)) = 0
−∞ +∞T0(x) 0 0T1(x)
− |+ − |+
......
...Tk(x)
− |+ − |+
![Page 192: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/192.jpg)
Построение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
Случай degree(T1(x)) = · · · = degree(Tk(x)) = 0
−∞ +∞T0(x) 0 0T1(x)
− |+ − |+
......
...Tk(x)
− |+ − |+
![Page 193: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/193.jpg)
Построение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
Случай degree(T1(x)) = · · · = degree(Tk(x)) = 0
−∞ +∞T0(x) 0 0T1(x) − |+ − |+
......
...Tk(x) − |+ − |+
![Page 194: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/194.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) . . . . . .
......
.... . .
.... . .
......
Tk(x) . . . . . .
![Page 195: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/195.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x)
Tk(x) = pnxn + pn−1xn−1 + · · ·+ p0
= pnxn(1 +
pn−1
x+ · · ·+ p0
xn
)
![Page 196: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/196.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) ?
Tk(x)
= pnxn + pn−1xn−1 + · · ·+ p0
= pnxn(1 +
pn−1
x+ · · ·+ p0
xn
)
![Page 197: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/197.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) ?
Tk(x) = pnxn + pn−1xn−1 + · · ·+ p0
= pnxn(1 +
pn−1
x+ · · ·+ p0
xn
)
![Page 198: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/198.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) − |+
Tk(x) = pnxn + pn−1xn−1 + · · ·+ p0
= pnxn(1 +
pn−1
x+ · · ·+ p0
xn
)
![Page 199: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/199.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) ? − |+
Tk(x) = pnxn + pn−1xn−1 + · · ·+ p0
= pnxn(1 +
pn−1
x+ · · ·+ p0
xn
)
![Page 200: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/200.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) − |+ − |+
Tk(x) = pnxn + pn−1xn−1 + · · ·+ p0
= pnxn(1 +
pn−1
x+ · · ·+ p0
xn
)
![Page 201: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/201.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) − |+ ? − |+
Tk(x) = pnxn + pn−1xn−1 + · · ·+ p0
= pnxn(1 +
pn−1
x+ · · ·+ p0
xn
)
![Page 202: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/202.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ xj +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) − |+ ? − |+
Tk(x) = pnxn + pn−1xn−1 + · · ·+ p0
= pnxn(1 +
pn−1
x+ · · ·+ p0
xn
)
![Page 203: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/203.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ xj +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tm(x) −|+ −|0|+ . . . 0 . . . −|0|+ −|+...
......
. . ....
. . ....
...Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) −|+ ? −|+
![Page 204: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/204.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ xj +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tn(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+...
......
. . ....
. . ....
...Tm(x) −|+ −|0|+ . . . 0 . . . −|0|+ −|+
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) −|+
− |0|+ . . .
?
. . . − |0|+
−|+
Tk(x) = Q(x)Tm(x) + Tn(x)
![Page 205: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/205.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ xj +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tn(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+...
......
. . ....
. . ....
...Tm(x) −|+ −|0|+ . . . 0 . . . −|0|+ −|+
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) −|+
− |0|+ . . .
?
. . . − |0|+
−|+
Tk(x) = Q(x)Tm(x) + Tn(x)
![Page 206: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/206.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ xj +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tn(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+...
......
. . ....
. . ....
...Tm(x) −|+ −|0|+ . . . 0 . . . −|0|+ −|+
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) −|+
− |0|+ . . .
?
. . . − |0|+
−|+
Tk(x) = Q(x)Tm(x) + Tn(x)
Tk(xj) = Q(xj)Tm(xj) + Tn(xj)
= Tn(xj)
![Page 207: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/207.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ xj +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tn(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+...
......
. . ....
. . ....
...Tm(x) −|+ −|0|+ . . . 0 . . . −|0|+ −|+
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) −|+
− |0|+ . . .
?
. . . − |0|+
−|+
Tk(x) = Q(x)Tm(x) + Tn(x)
Tk(xj) = Q(xj)Tm(xj) + Tn(xj) = Tn(xj)
![Page 208: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/208.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ xj +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tn(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+...
......
. . ....
. . ....
...Tm(x) −|+ −|0|+ . . . 0 . . . −|0|+ −|+
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) −|+
− |0|+ . . .
− |0|+
. . . − |0|+
−|+
Tk(x) = Q(x)Tm(x) + Tn(x)
Tk(xj) = Q(xj)Tm(xj) + Tn(xj) = Tn(xj)
![Page 209: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/209.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ xj +∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tn(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+...
......
. . ....
. . ....
...Tm(x) −|+ −|0|+ . . . 0 . . . −|0|+ −|+
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) −|+
− |0|+ . . .
− |0|+
. . . − |0|+
−|+
Tk(x) = Q(x)Tm(x) + Tn(x)
Tk(xj) = Q(xj)Tm(xj) + Tn(xj) = Tn(xj)
![Page 210: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/210.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞
xj
+∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tn(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+...
......
. . ....
. . ....
...Tm(x) −|+ −|0|+ . . . 0 . . . −|0|+ −|+
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) −|+
− |0|+ . . .
− |0|+
. . . − |0|+
−|+
Tk(x) = Q(x)Tm(x) + Tn(x)
Tk(xj) = Q(xj)Tm(xj) + Tn(xj) = Tn(xj)
![Page 211: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/211.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞
xj
+∞T0(x) 0 0 . . . 0 . . . 0 0
......
.... . .
.... . .
......
Tn(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+...
......
. . ....
. . ....
...Tm(x) −|+ −|0|+ . . . 0 . . . −|0|+ −|+
......
.... . .
.... . .
......
Tk−1(x) −|+ −|0|+ . . . −|0|+ . . . −|0|+ −|+Tk(x) −|+ − |0|+ . . . − |0|+ . . . − |0|+ −|+
Tk(x) = Q(x)Tm(x) + Tn(x)
Tk(xj) = Q(xj)Tm(xj) + Tn(xj) = Tn(xj)
![Page 212: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/212.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . −|0|+ −|0|+ . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − + . . . −|+
![Page 213: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/213.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . − |0|+ − |0|+ . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 214: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/214.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . − |0|+ ? − |0|+ . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 215: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/215.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . + ? − |0|+ . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 216: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/216.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . + + − |0|+ . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 217: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/217.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . − ? − |0|+ . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 218: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/218.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . − − − |0|+ . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 219: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/219.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . 0 ? − |0|+ . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 220: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/220.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . 0 ? + . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 221: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/221.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . 0 + + . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 222: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/222.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . 0 ? − . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 223: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/223.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . 0 − − . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 224: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/224.jpg)
Пострение сокращенной таблицы Тарскогодля насыщенной системы многочленов T0(x), . . . ,Tk(x)
−∞ +∞T0(x) 0 . . . 0 0 0 . . . 0
......
. . ....
.... . .
...Ti (x) −|+ . . . 0 ? 0 . . . −|+
......
. . ....
.... . .
...Tk(x) −|+ . . . − 0 + . . . −|+
![Page 225: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/225.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′
3. Расширить список до насыщенной системы T0(x), . . . ,T`(x) c
degree(T0(x)) ≤ · · · ≤ degree(T`−1(x)) ≤ degree(T`(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов T0(x),T1(x), . . . ,Tm(x), m = 0, 1, 2, . . . , `
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞T0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
T`(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 226: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/226.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′
3. Расширить список до насыщенной системы T0(x), . . . ,T`(x) c
degree(T0(x)) ≤ · · · ≤ degree(T`−1(x)) ≤ degree(T`(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов T0(x),T1(x), . . . ,Tm(x), m = 0, 1, 2, . . . , `
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞T0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
T`(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 227: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/227.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′
3. Расширить список до насыщенной системы T0(x), . . . ,T`(x) c
degree(T0(x)) ≤ · · · ≤ degree(T`−1(x)) ≤ degree(T`(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов T0(x),T1(x), . . . ,Tm(x), m = 0, 1, 2, . . . , `
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞T0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
T`(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 228: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/228.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′
3. Расширить список до насыщенной системы T0(x), . . . ,T`(x) c
degree(T0(x)) ≤ · · · ≤ degree(T`−1(x)) ≤ degree(T`(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов T0(x),T1(x), . . . ,Tm(x), m = 0, 1, 2, . . . , `
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞T0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
T`(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 229: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/229.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′
3. Расширить список до насыщенной системы T0(x), . . . ,T`(x) c
degree(T0(x)) ≤ · · · ≤ degree(T`−1(x)) ≤ degree(T`(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов T0(x),T1(x), . . . ,Tm(x), m = 0, 1, 2, . . . , `
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞T0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
T`(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 230: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/230.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′
3. Расширить список до насыщенной системы T0(x), . . . ,T`(x) c
degree(T0(x)) ≤ · · · ≤ degree(T`−1(x)) ≤ degree(T`(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов T0(x),T1(x), . . . ,Tm(x), m = 0, 1, 2, . . . , `
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞T0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
T`(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 231: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/231.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список P1(x), . . . ,Pk(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен P0(x) = (P1(x) . . .Pk(x))′
3. Расширить список до насыщенной системы T0(x), . . . ,T`(x) c
degree(T0(x)) ≤ · · · ≤ degree(T`−1(x)) ≤ degree(T`(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов T0(x),T1(x), . . . ,Tm(x), m = 0, 1, 2, . . . , `
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞T0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
T`(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 232: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/232.jpg)
Переменных много, но кванторов мало
∃x{ax + b = 0}
⇐⇒ a 6= 0 ∨ b = 0
∃x{ax2 + bx + c = 0} ⇐⇒⇐⇒ ((a 6= 0 ∧ b2 − 4ac ≥ 0) ∨ (a = 0 ∧ (b 6= 0 ∨ c = 0)))
Теорема Тарского. Для любой формулы языка A существуетэквивалентная ей бескванторная формула этого же языка.
![Page 233: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/233.jpg)
Переменных много, но кванторов мало
∃x{ax + b = 0} ⇐⇒ a 6= 0 ∨ b = 0
∃x{ax2 + bx + c = 0} ⇐⇒⇐⇒ ((a 6= 0 ∧ b2 − 4ac ≥ 0) ∨ (a = 0 ∧ (b 6= 0 ∨ c = 0)))
Теорема Тарского. Для любой формулы языка A существуетэквивалентная ей бескванторная формула этого же языка.
![Page 234: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/234.jpg)
Переменных много, но кванторов мало
∃x{ax + b = 0} ⇐⇒ a 6= 0 ∨ b = 0
∃x{ax2 + bx + c = 0} ⇐⇒⇐⇒ ((a 6= 0 ∧ b2 − 4ac ≥ 0) ∨ (a = 0 ∧ (b 6= 0 ∨ c = 0)))
Теорема Тарского. Для любой формулы языка A существуетэквивалентная ей бескванторная формула этого же языка.
![Page 235: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/235.jpg)
Переменных много, но кванторов мало
∃x{ax + b = 0} ⇐⇒ a 6= 0 ∨ b = 0
∃x{ax2 + bx + c = 0} ⇐⇒⇐⇒ ((a 6= 0 ∧ b2 − 4ac ≥ 0) ∨ (a = 0 ∧ (b 6= 0 ∨ c = 0)))
Теорема Тарского. Для любой формулы языка A существуетэквивалентная ей бескванторная формула этого же языка.
![Page 236: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/236.jpg)
Переменных много, но кванторов мало
∃x{ax + b = 0} ⇐⇒ a 6= 0 ∨ b = 0
∃x{ax2 + bx + c = 0} ⇐⇒⇐⇒ ((a 6= 0 ∧ b2 − 4ac ≥ 0) ∨ (a = 0 ∧ (b 6= 0 ∨ c = 0)))
Теорема Тарского. Для любой формулы языка A существуетэквивалентная ей бескванторная формула этого же языка.
![Page 237: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/237.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список Q1(x), . . . ,Ql(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен Q0(x) = (Q1(x) . . .Ql(x))′
3. Расширить этот список до насыщенной системыP0(x), . . . ,Pk(x) c
degree(P0(x)) ≤ · · · ≤ degree(Pk−1(x)) ≤ degree(Pk(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов P0(x),P1(x), . . . ,Pm(x), m = 0, 1, 2, . . . , k
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 238: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/238.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список Q1(x), . . . ,Ql(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен Q0(x) = (Q1(x) . . .Ql(x))′
3. Расширить этот список до насыщенной системыP0(x), . . . ,Pk(x) c
degree(P0(x)) ≤ · · · ≤ degree(Pk−1(x)) ≤ degree(Pk(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов P0(x),P1(x), . . . ,Pm(x), m = 0, 1, 2, . . . , k
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 239: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/239.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список Q1(x), . . . ,Ql(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен Q0(x) = (Q1(x) . . .Ql(x))′
3. Расширить этот список до насыщенной системыP0(x), . . . ,Pk(x) c
degree(P0(x)) ≤ · · · ≤ degree(Pk−1(x)) ≤ degree(Pk(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов P0(x),P1(x), . . . ,Pm(x), m = 0, 1, 2, . . . , k
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 240: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/240.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список Q1(x), . . . ,Ql(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен Q0(x) = (Q1(x) . . .Ql(x))′
3. Расширить этот список до насыщенной системыP0(x), . . . ,Pk(x) c
degree(P0(x)) ≤ · · · ≤ degree(Pk−1(x)) ≤ degree(Pk(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов P0(x),P1(x), . . . ,Pm(x), m = 0, 1, 2, . . . , k
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 241: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/241.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список Q1(x), . . . ,Ql(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен Q0(x) = (Q1(x) . . .Ql(x))′
3. Расширить этот список до насыщенной системыP0(x), . . . ,Pk(x) c
degree(P0(x)) ≤ · · · ≤ degree(Pk−1(x)) ≤ degree(Pk(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов P0(x),P1(x), . . . ,Pm(x), m = 0, 1, 2, . . . , k
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 242: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/242.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список Q1(x), . . . ,Ql(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен Q0(x) = (Q1(x) . . .Ql(x))′
3. Расширить этот список до насыщенной системыP0(x), . . . ,Pk(x) c
degree(P0(x)) ≤ · · · ≤ degree(Pk−1(x)) ≤ degree(Pk(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов P0(x),P1(x), . . . ,Pm(x), m = 0, 1, 2, . . . , k
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 243: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/243.jpg)
Алгоритм Тарского для формулы QxΦ(x)
1. Составить список Q1(x), . . . ,Ql(x) всех многочленов, входящихв Φ(x) и отличных от тождественного нуля.
2. Добавить многочлен Q0(x) = (Q1(x) . . .Ql(x))′
3. Расширить этот список до насыщенной системыP0(x), . . . ,Pk(x) c
degree(P0(x)) ≤ · · · ≤ degree(Pk−1(x)) ≤ degree(Pk(x))
4. Последовательно построить сокращенные таблицы Тарского длямногочленов P0(x),P1(x), . . . ,Pm(x), m = 0, 1, 2, . . . , k
5. Вычислить логические значение Φ(x) для каждого столбцапоследней таблицы:
−∞P0(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+
......
.... . .
.... . .
......
Pk(x) −|0|+ −|0|+ . . . −|0|+ . . . −|0|+ −|0|+Φ(x) и/л и/л . . . и/л . . . и/л и/л
6. Формула ∃xΦ(x) истинна, если и только если хотя бы одно изэтих значений истинно; формула ∀xΦ(x) истинна, если и толькоесли все эти значения истинны
![Page 244: 20101028 reals and_integers_matiyasevich_ekb_lecture01-02](https://reader033.vdocuments.pub/reader033/viewer/2022052910/559c10fa1a28abb1398b482d/html5/thumbnails/244.jpg)