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

S>Здравствуйте, токсичный ботан(ыч)?, Вы писали:
ТБЫ>> а как относиться к тому что определяет научность, а само этой научности (ею-же вводимой) и не думает соостветствует. как сам )) сам не гам, тай другому не дам ..
S>Так и относиться. Я уже четыре раза в этом топике написал, что критерий Поппера научной гипотезой не является.
да не пршу прощения, хочешь определять научность будь — научным. причем примеры рекурсивно устойчивых аксиоматик(и(ли)? предикатов?) я вам показал уже.

ТБЫ>> я не имел в виду фунциональне языки, я имел в виду формальныфе.
S>Ну, то есть вы разобрались в собственной терминологии. Очень хорошо — вернёмся к вопросу о близости HPGL к ф-языку, и к значимости компиляции Латеха во что-то там с точки зрения представимости научных знаний.
ну да по ф-языки я не уточнил. но оно не важно в контексте.

S>>>[q]
ТБЫ>> да зашбись все с этими методами, я как бе логику ищу. ели нет ее, то и как бе )) научности тоже
S>Ну, может вы её и ищете, но каким-то очень далёким от логики путём.
для вас далеким.

ТБЫ>> )) ага вот AAD — численный метод, и вот применимость его — логическая выкладка.
S>И?
ну так есть там логические выкладки. но мы то про ИИ)? отсюда, на сколько я помню, ветка рассуждений? мол там нет, там — аппроксимация + экстраполяция, оттуда и логика )

S>Ну так формальная система, использованная в этом уравнении, знакома вам примерно с пятого класса средней школы. В чём вопрос-то?
с пятого класса много чего поменялось и "=" надо описывать детальнее. в моих предметных областях = у меня имело часто разные семантики. бывало по 3 — 4. ну как-бы факт. но опять мы не о том)
1. с чего бы мне вдруг беспокоиться о употребимости С++, если предлагается вообще нэтюрал ленгвич?
2. предикат выполнен в соответствии с требованиями формального языка. т.е. мы произвели степ переходящий из области бла бла бла, в формальную сферу. в области, в которой до этого было просто "бла бла бла" ))


ТБЫ>> так мой скетч как раз об этом. вы как-то вольно интерпретируете семантику кода — она показывает предикат. и это уже — факт.
S>Там вся семантика — сложная запись логической константы. Я же вам показал, что ваш код генерирует чистый булшит, невзирая на аргументы.
_ константой она стала в рантайме, а в компайл она вычисляется. вы спросите, где там вычисляемость? ну представьте участие этой сущности в тестах, факт этот — вычислим. — факт остается фактом — я сказал как оно будет работать синтаксически — вот оно работает, компилируется, а уже ваша задача добавить тот тест — фальсифицируемость поппера )) что в формальной системе, архитектуре, будет выводимо. (ведь она же (сущность) говорит о себе, если она научная, или не о себе если не научная)) вы говорите, она — не научная, ну ок. тогда — рекурсивно неустойчивая. если вы докажете, что да — устойчиво. (чат-д-жипити "доказал" (ну просто мне лень времени, чтобы его опять мордой об точку геделя-камю поводить),
тогда оно станет рефлексивной, или — рекурсивно устойчивой (что звучит интереснее)). вы говорите неприменимо ?)) не вам решать. знаетели, для изучения вопроса сущность, если она есть в осознании, то куда ее уже деть? либо покажите, мы "плодим", либо используйте предложенное. для меня — фальсификация поппера .. ничем не хуже|лучше кубита, или блока памяти, что выделен и непременно должен быть освобожден ))

S>>>Нет уж, если вы задались целью выражать семантику в синтаксисе С++ — доведите дело до конца. Запишите предложенный мной предикат на С++ и засуньте его в ваш прекрасный шаблон.
ТБЫ>> что вас не устраиает в преложенном варианте ?)
S>То, что в нём нет моего предиката.
я показал лямбдой ваш "предикат". он там ни к селу. что вам в рантайме записать sin(x) != sin(x)? или лучше x != x ))

S>Вы же брались написать код, который анализирует рекурсивную применимость любого предиката.
это где такое сказано, что любой? у меня это все в контексте)) там низвержение классической схемы — материализм-идеализм)) на поппере я так — играюсь.

S>>>Что, в общем-то, логично — в вашем коде вообще нигде нет возврата false.
ТБЫ>> там есть статик ассерт.
S>И, как видим из приведённого мной контрпримера, ваш статик ассерт ничего полезного не делает.
этот статик ассерт находится уже на определенном слое формализации (а что с++ неформальный язык?), потому он уже не может "ничего не делать", вообще он эквивалентен if, просто (1. compile time)..2. в логике задаваемой вами сам предикат не есть, собственно, сущностью способной инкапсулировать в себе типы (как минимум), а я в силу проф деформации мыслю именно так. и до того, чтобы все срослось с фальсификацией достаточно сделать один шаг — добавить слой namespace like_boost_or_std::test где описать фальсифицируемость, а в случае если такой тип не задекларирован в этом нейм спейсе, или не заимплементирован (при необходимости), то и не компилировался. да, это эффективный такой project constraint. думается в более формальном языке алгоритм "testable" будет задан куда жещче чем в с++)).

ТБЫ>> это небред это факт. он рекурсивно неустойчив, а точнее — рекурсивно противоречив.
S>Увы, вы этот "факт" уже полгода
а вообще-то на вашей стороне мяч. от предиката требуется соответствовать задаваемым собой констрейнтам в коде? да. в чем вопрос? И вообще что значат эти единицы "полгода" дедлайн? я так могу до конца срока примпровизировать. у меня есть тема .. к которой я десять лет вокальную тему искал ... )) вот: http://mp3.music.lib.ru/mp3/o/oleg_l/oleg_l-wolki_wyli_na_lunu-2.mp3


S>не можете никак обосновать. Уже и код на С++ написали — и он полностью доказывает мою правоту.
какую вашу? неприменим? ... какбы сложно звучит, критерий научности не может соответствовать критериям научности )) вам не кажется?

да ладно )) я могу сказать, что он косвенно рефлексивно устойчив (). — чатджипитьи нагенерил. (по французски получилось, чатджипитьи)))) а за месяцы? еще дедлйн поставьте. я тут попытался высказаться по дедлайнам — снесли топик ))

S>Вот смотрите: ваш код невозможно применить к моему предикату. Вообще никак — он не выдаст ни true ни false.
1. где он "ваш предикат"? я могу сказать, что с ним будет, он либо будет фальсифицируемым (в рамках определяемой системы), либо не откомпилируется.
2. и код заставляет предикат быть рекурсивно устойчивым (а вообще где он? я о нем по памяти), ну да а как-же, конечно он написан (должен быть)? а скажите он так написан?))
в общем, чтобы сущность удовлетворяла задаваемым собой свойствами. блин это так элементарно struct { bool operator() } ;

S>Ваш код заточен ровно на одно: успешно компилироваться на самом себе.
вот — рефлексия, на правилах самого себя. применять к Попперу — назовешь научным — будь им в самом себе. именно, но в реалиях там же продолжение есть — мой код — намек .. а за конкретику таньгу платить принято.)) да и на аджоинт — намек. ктож идею (что денег стоит) вслух говорит.

S>То есть ваш критерий применим не к любому предикату, а только к выбранному вами.
а только к, таким же как он сам. т.е. к тем, кто подходит по критерию — рекурсивной устойчивости.

S>Так и критерий Поппера применим не к любому утверждению, а только к научным гипотезам.
)) да ладно, слушайте — сидел розовый слоненок. од

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

ТБЫ>> вы почитайте, еще , может .. что-то щелкнет. на счет мл аджоинт у меня вполне четкая гипотеза ..
S>Я уже почитал. Ваш восторг по отношению к аджоинту по-прежнему не разделяю.
адджоинтом считается зависимость результатов к входным параметрам. в контексте аппроксимационного ИИ
но дело то не в этом. тот тип аджоинта (которым я непосредственно занимался) содержал в себе тейп. — набор всех мат операций в ходе расчетов. так вот, если ml adjoint отображает весь спектр мат операция — то, (и вот это гипотеза) мы можем выделить скоупы "рассуждений ИИ", и построить по нему уже язык. который и собственно будет нами анализироваться.
(ну то ладно в коммерческом значении имелось в виду, что раз уж я quantlib аджонтизировал за пару месяцев, при условии, что будет справедливым — при построении итерационной машины уже над — аджоинтом, мы получаем практически из любого программного продукта код, прогибаемый под ИИ, причем разговор то идет не об б.. микросервисах)

П.П.С. коллега. простите, я не отредактировал до конца. так, то не сочтите.. я позже отредактирую.

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

S>Здравствуйте, токсичный ботан(ыч)?, Вы писали:
ТБЫ>> а как относиться к тому что определяет научность, а само этой научности (ею-же вводимой) и не думает соостветствует. как сам )) сам не гам, тай другому не дам ..
S>Так и относиться. Я уже четыре раза в этом топике написал, что критерий Поппера научной гипотезой не является.
да не пршу прощения, хочешь определять научность будь — научным. причем примеры рекурсивно устойчивых аксиоматик(и(ли)? предикатов?) я вам показал уже.

ТБЫ>> я не имел в виду фунциональне языки, я имел в виду формальныфе.
S>Ну, то есть вы разобрались в собственной терминологии. Очень хорошо — вернёмся к вопросу о близости HPGL к ф-языку, и к значимости компиляции Латеха во что-то там с точки зрения представимости научных знаний.
ну да по ф-языки я не уточнил. но оно не важно в контексте.

S>>>[q]
ТБЫ>> да зашбись все с этими методами, я как бе логику ищу. ели нет ее, то и как бе )) научности тоже
S>Ну, может вы её и ищете, но каким-то очень далёким от логики путём.
для вас далеким.

ТБЫ>> )) ага вот AAD — численный метод, и вот применимость его — логическая выкладка.
S>И?
ну так есть там логические выкладки. но мы то про ИИ)? отсюда, на сколько я помню, ветка рассуждений? мол там нет, там — аппроксимация + экстраполяция, оттуда и логика )

S>Ну так формальная система, использованная в этом уравнении, знакома вам примерно с пятого класса средней школы. В чём вопрос-то?
с пятого класса много чего поменялось и "=" надо описывать детальнее. в моих предметных областях = у меня имело часто разные семантики. бывало по 3 — 4. ну как-бы факт. но опять мы не о том)
1. с чего бы мне вдруг беспокоиться о употребимости С++, если предлагается вообще нэтюрал ленгвич?
2. предикат выполнен в соответствии с требованиями формального языка. т.е. мы произвели степ переходящий из области бла бла бла, в формальную сферу. в области, в которой до этого было просто "бла бла бла" ))


ТБЫ>> так мой скетч как раз об этом. вы как-то вольно интерпретируете семантику кода — она показывает предикат. и это уже — факт.
S>Там вся семантика — сложная запись логической константы. Я же вам показал, что ваш код генерирует чистый булшит, невзирая на аргументы.
_ константой она стала в рантайме, а в компайл она вычисляется. вы спросите, где там вычисляемость? ну представьте участие этой сущности в тестах, факт этот — вычислим. — факт остается фактом — я сказал как оно будет работать синтаксически — вот оно работает, компилируется, а уже ваша задача добавить тот тест — фальсифицируемость поппера )) что в формальной системе, архитектуре, будет выводимо. (ведь она же (сущность) говорит о себе, если она научная, или не о себе если не научная)) вы говорите, она — не научная, ну ок. тогда — рекурсивно неустойчивая. если вы докажете, что да — устойчиво. (чат-д-жипити "доказал" (ну просто мне лень времени, чтобы его опять мордой об точку геделя-камю поводить),
тогда оно станет рефлексивной, или — рекурсивно устойчивой (что звучит интереснее)). вы говорите неприменимо ?)) не вам решать. знаетели, для изучения вопроса сущность, если она есть в осознании, то куда ее уже деть? либо покажите, мы "плодим", либо используйте предложенное. для меня — фальсификация поппера .. ничем не хуже|лучше кубита, или блока памяти, что выделен и непременно должен быть освобожден ))

S>>>Нет уж, если вы задались целью выражать семантику в синтаксисе С++ — доведите дело до конца. Запишите предложенный мной предикат на С++ и засуньте его в ваш прекрасный шаблон.
ТБЫ>> что вас не устраиает в преложенном варианте ?)
S>То, что в нём нет моего предиката.
я показал лямбдой ваш "предикат". он там ни к селу. что вам в рантайме записать sin(x) != sin(x)? или лучше x != x ))

S>Вы же брались написать код, который анализирует рекурсивную применимость любого предиката.
это где такое сказано, что любой? у меня это все в контексте)) там низвержение классической схемы — материализм-идеализм)) на поппере я так — играюсь.

S>>>Что, в общем-то, логично — в вашем коде вообще нигде нет возврата false.
ТБЫ>> там есть статик ассерт.
S>И, как видим из приведённого мной контрпримера, ваш статик ассерт ничего полезного не делает.
этот статик ассерт находится уже на определенном слое формализации (а что с++ неформальный язык?), потому он уже не может "ничего не делать", вообще он эквивалентен if, просто (1. compile time)..2. в логике задаваемой вами сам предикат не есть, собственно, сущностью способной инкапсулировать в себе типы (как минимум), а я в силу проф деформации мыслю именно так. и до того, чтобы все срослось с фальсификацией достаточно сделать один шаг — добавить слой namespace like_boost_or_std::test где описать фальсифицируемость, а в случае если такой тип не задекларирован в этом нейм спейсе, или не заимплементирован (при необходимости), то и не компилировался. да, это эффективный такой project constraint. думается в более формальном языке алгоритм "testable" будет задан куда жещче чем в с++)).

ТБЫ>> это небред это факт. он рекурсивно неустойчив, а точнее — рекурсивно противоречив.
S>Увы, вы этот "факт" уже полгода
а вообще-то на вашей стороне мяч. от предиката требуется соответствовать задаваемым собой констрейнтам в коде? да. в чем вопрос? И вообще что значат эти единицы "полгода" дедлайн? я так могу до конца срока примпровизировать. у меня есть тема .. к которой я десять лет вокальную тему искал ... )) вот: http://mp3.music.lib.ru/mp3/o/oleg_l/oleg_l-wolki_wyli_na_lunu-2.mp3


S>не можете никак обосновать. Уже и код на С++ написали — и он полностью доказывает мою правоту.
какую вашу? неприменим? ... какбы сложно звучит, критерий научности не может соответствовать критериям научности )) вам не кажется?

да ладно )) я могу сказать, что он косвенно рефлексивно устойчив (). — чатджипитьи нагенерил. (по французски получилось, чатджипитьи)))) а за месяцы? еще дедлйн поставьте. я тут попытался высказаться по дедлайнам — снесли топик ))

S>Вот смотрите: ваш код невозможно применить к моему предикату. Вообще никак — он не выдаст ни true ни false.
1. где он "ваш предикат"? я могу сказать, что с ним будет, он либо будет фальсифицируемым (в рамках определяемой системы), либо не откомпилируется.
2. и код заставляет предикат быть рекурсивно устойчивым (а вообще где он? я о нем по памяти), ну да а как-же, конечно он написан (должен быть)? а скажите он так написан?))
в общем, чтобы сущность удовлетворяла задаваемым собой свойствами. блин это так элементарно struct { bool operator() } ;

S>Ваш код заточен ровно на одно: успешно компилироваться на самом себе.
вот — рефлексия, на правилах самого себя. применять к Попперу — назовешь научным — будь им в самом себе. именно, но в реалиях там же продолжение есть — мой код — намек .. а за конкретику таньгу платить принято.)) да и на аджоинт — намек. ктож идею (что денег стоит) вслух говорит.

S>То есть ваш критерий применим не к любому предикату, а только к выбранному вами.
а только к, таким же как он сам. т.е. к тем, кто подходит по критерию — рекурсивной устойчивости.

S>Так и критерий Поппера применим не к любому утверждению, а только к научным гипотезам.
)) да ладно, слушайте — сидел розовый слоненок. од

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

ТБЫ>> вы почитайте, еще , может .. что-то щелкнет. на счет мл аджоинт у меня вполне четкая гипотеза ..
S>Я уже почитал. Ваш восторг по отношению к аджоинту по-прежнему не разделяю.
адджоинтом считается зависимость результатов к входным параметрам. в контексте аппроксимационного ИИ
но дело то не в этом. тот тип аджоинта (которым я непосредственно занимался) содержал в себе тейп. — набор всех мат операций в ходе расчетов. так вот, если ml adjoint отображает весь спектр мат операция — то, (и вот это гипотеза) мы можем выделить скоупы "рассуждений ИИ", и построить по нему уже язык. который и собственно будет нами анализироваться.
(ну то ладно в коммерческом значении имелось в виду, что раз уж quantlib аджонтизировался за пару месяцев, при условии, что будет справедливым — при построении итерационной машины уже над — аджоинтом, мы получаем практически из любого программного продукта код, прогибаемый под ИИ, причем разговор то идет не об б.. микросервисах)

П.П.С. коллега. простите, я не отредактировал до конца. так, то не сочтите.. я позже отредактирую.