Источник / закреплённая редакция
Мост Евклид—Гильберт
Источник пакета grc.euclid.hilbert_bridge · 0.1.0
- work
- urn:grc:euclid:clir:hilbert-bridge#EUCLID_HILBERT_BRIDGE_NOTE
- номер
- 0.1.0
- вид
- urn:grc:euclid:clir:hilbert-bridge#treatise
EUCLID_HILBERT_BRIDGE_EDITION
- edition
- urn:grc:euclid:clir:hilbert-bridge#EUCLID_HILBERT_BRIDGE_EDITION
- язык
- ru
- официальность
- unofficial
- материализация
- PINNED_UNOFFICIAL_COPY
- жизненный цикл
- —
Публикации
| URI | Тип | documentHash | Получено |
|---|---|---|---|
| urn:grc:euclid:hilbert-bridge-note:0.1.0 | text/plain; charset=utf-8 | sha256:4a16384df7e054613ac8bf2ca9ef0f342d18af8e8f76c09a6485cd0b3082fa8c | 2026-09-18T00:00:00Z |
Фрагменты — 1
reading · defn · на него ссылаются: 9
ru · unofficial · sha256:4a16384df7e054613ac8bf2ca9ef0f342d18af8e8f76c09a6485cd0b3082fa8c
Мост Евклид—Гильберт, версия 0.1.0.
Два источника одной планиметрии: книга I «Στοιχεῖα» (постулаты 1—3 и 5) и «Grundlagen der Geometrie» (плоские I 1—2 и группа III, Плейфэр). Это не два прочтения одного абзаца, а соответствие двух канонов на одном конечном чертеже.
Точка и прямая — одни: Hilbert Punkt/Gerade соответствуют Book I σημεῖον/εὐθεῖα. Различие точек — буквами Text, не неравенством сущностей.
Постулат 5 и аксиома III читаются на одном чертеже с секущей: через точку вне прямой — не более одной параллели среди предъявленных прямых; существование параллели — требование к чертежу, как I 1.
I.27—I.29 книги I — евклидовы следствия, не аксиомы Гильберта.
Честно не сопоставлено: Hilbert II («между»); окружность постулата 3; конгруэнтность отрезков.
Ссылаются нормы: EuclidBaseOnPlayfairFigure, HilbertBaseOnPlayfairFigure, JointModelOfBoth, Sekante, chosen_base_holds, euclid_base_holds, hilbert_base_holds, model_of_both, sekante
Хэш рядом с текстом — sha256 его точных байтов. Он и есть проверка того, что показанный текст совпадает с закреплённым в пакете: расхождение роняет статику оракула.