Информация об изменениях

Сообщение Re[22]: рекурсивно устойчивая аксиоматика на примере фальсиф от 04.03.2023 22:09

Изменено 04.03.2023 22:12 ботаныч

Re[22]: рекурсивно устойчивая аксиоматика на примере фальсиф
Здравствуйте, 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>Синус введён в иллюстративных целях, чтобы объяснить, чем уравнение отличается от присваивания.
так и поле внесено для тех же целей. пора включать внешнюю рефлексию, себя на других, я ничем не хуже вас, в правах на иллюстративные цели
Re[22]: рекурсивно устойчивая аксиоматика на примере фальсиф
Здравствуйте, 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>Синус введён в иллюстративных целях, чтобы объяснить, чем уравнение отличается от присваивания.
так и поле внесено для тех же целей. пора включать внешнюю рефлексию, себя на других, я ничем не хуже вас, в правах на иллюстративные цели