Здравствуйте, Sinclair, Вы писали:

S>Здравствуйте, ботаныч, Вы писали:
Б>> да ну еще одно пробел — разделитель? )) нет уж увольте. кстати (как языкописатель вам скажу) есть языки, в которых значимые пробелы\ и не значимые, но там ведь в этом есть смысл))
S>Ну, давайте рассмотрим пробел как разделитель. Приведёт ли это к каким-то парадоксам в языке? КМК, вряд ли.
кто говорил за парадокс в языке из-за пробелов. я сказал, что пробелы в том языке , что я разрабатывал еесть значимые, и не значимые, там парадоксов я не встречал, зато встречал экспоненциальный взрыв.

S>Ну, то есть никакой верификации нет.
да есть, я что прочитал, то вам и написал

Б>> и это отлично
S>То есть HPGL — это тоже путь к ф-языку?
я не совсем понял, причем тут ф-язы, и что он означает. фунциональный?

S>Вы серьёзно собираетесь ссылаться на ChatGPT как на авторитет в дискуссии?
)) нет конечно, я его испытываю, потому, что
1. я как человек занимавшийся NLP действительно считаю, что это это великолепно. действительно )
2. просто пытаюсь его использовать как инструмент в логических кструктурах. и похоже он способен разрешщать собственные и ваши противоречия. главное ввести его именно в дискуссионный скоуп, где данные (на которые он ссылается) начинают противоречить его логическим выкладкам ..

S>Какое отношение возраст парадокса имеет к императивной семантике?
а, ну .. клавиатура подвела, и предыдущий ответ затерся. (сейчас посмотрим, что знактоки муз теории ответят на вопросы джипити.. может он как и в шахматах облажается коньпешкой) f=5 (кстати даже в прологе это императивно, возьми и свяжи эф с 5)

S>Тут нет никакого плюсика. И поведение x= здесь ровно такое же, как во всей остальной декларативной математике.
мы вообще не об этом, мы на тонко льде. где декларативная математики, еще нет. что такое = ? я действительно в своей практике очень осторожно отношусь к таким вещам.

S>В частности, в уравнении x=sin(x).

Б>>при х->0 и?)
S>Да, решением этого уравнения является x <- 0.
о ) почти как джипити ответили )

S>Вы всё ещё очень сложно записываете константу false.
да нет же) я отсекаю нефальсифицируемые сущности от фальсифицируемых.

S>Я не знаю, что такое "начени". А хотел я, чтобы вы проверили рекурсивную устойчивость моего предиката. При помощи вашего кода.
Вашего ?))) откуда таки условия, я описал рекурсивно устойчивый предикат, предложенный синтакически. синтаксически ео выразил в с++ ..

S>Пока что никакой работы не продемонстрировано.
компиляция этого кода и есть его работа.

S>Чат гопота ничего не "считает". Он генерирует правдоподобные тексты.
не .. вы не знаете как оно работает похоже нет?))

Б>> как и вы синус))
S>Синус введён в иллюстративных целях, чтобы объяснить, чем уравнение отличается от присваивания.
так и поле внесено для тех же целей. пора включать внешнюю рефлексию, себя на других, я ничем не хуже вас, в правах на иллюстративные цели