Гностицизм

[crazy-mike]

Ну в данном (по-крайней мере) случае - это вероятность получения какого-то ощутимого (хоть немного) результата. Как-то так.

Не так.
Есть термин "inference", например.
Если очень упрощённо - то "результатом" может быть последовательность обхода "листьев" дерева вывода. Но результатом может быть и сумма значений числовых величин , которые присвоены каждому из листочков. И результатом может быть максимальное ( минимальное ) значение этой суммы. И т.д.

В начале было ... - это ведь первое правило какой-то там формальной грамматики. :

i :== i a b , например.

i - начальный символ , a и b - символы нетерминального алфавита. Наверное , примерно так можно формально записать "догмат о троице".

[Reitarou]

Майки, не пытайся запудрить мне мозги.
В этой и подобных ей темах был бы хоть какой-то смысл, если бы можно было доказать или опровергнуть существование бога. Пускай не какого-то конкретного, а любого. так что разницы между гностиками, негностиками и пр. особой нет.

[crazy-mike]

Майки, не пытайся запудрить мне мозги.

А ты уверен в том , что они есть ? Был такой математик Кронекер - когда его везли в психушку , он орал , что существует только "Нуль или Единица" ( эту хреновину потом ещё и назвали "символ Кронекера" ).

Я никому ничего не пудрю , а просто утверждаю , что без гностиков бы сейчас не было ни компьютеров ни интернета ....
P.S. ну а книгу "Определение языков программирования интерпретирующими автоматами" Олонгрена можно считать "гностическим текстом".

[Reitarou]

А ты уверен в том , что они есть ? Был такой математик Кронекер - когда его везли в психушку , он орал , что существует только "Нуль или Единица" ( эту хреновину потом ещё и назвали "символ Кронекера" ).

Уверен. На все сто.

Я никому ничего не пудрю , а просто утверждаю , что без гностиков бы сейчас не было ни компьютеров ни интернета

Очень может быть. Но что с того? Гностик сделал свое дело, гностик может уходить.

[crazy-mike]

Но что с того? Гностик сделал свое дело.

Только шиза в том , что агностики вообще никакого дела не сделали.

[Reitarou]

Только шиза в том , что агностики вообще никакого дела не сделали.

В самом деле? А ты свечку гностикам держал, когда они делали? И агностикам держал, когда они не делали? И вообще, откуда тебе знать, кто был гностиком, кто агностиком, а кто, сатанистом тайным?

[Miguel_Cordona]

мне вообще это слово "гностики" не нравится.

Каждый раз как я его слышу или читаю, возникают неблагие ассоциации.
гвоздики, носики...
гвоздики в носике. Фу блин.
Кто нибудь, попробуйте представить себе сапожный гвоздик загнанный себе же в ноздрю.

Это почти примерно как вот еще представить себе звук который создает гвоздь который елозят по толстому стеклу.

[crazy-mike]

В самом деле?

Да - в самом деле. Гностики ведь первыми начали заниматься разработкой методов анализа "формальных систем". ( в т.ч. вопросами формализации семантики - пусть и в довольно извращённой форме ).

[Reitarou]

Да - в самом деле. Гностики ведь первыми начали заниматься разработкой методов анализа "формальных систем". ( в т.ч. вопросами формализации семантики - пусть и в довольно извращённой форме ).

А были ли они гностиками на самом деле? Тут надо разобраться.
И дай ссылку, если есть под рукой. Просто посмотреть.

[Miguel_Cordona]

Да - в самом деле. Гностики ведь первыми начали заниматься разработкой методов анализа "формальных систем". ( в т.ч. вопросами формализации семантики - пусть и в довольно извращённой форме ).

Какое название, такая и форма
отвратительное название у них.