[userpic]

Re: ОПРЕДЕЛЕНИЕ И ОПИСАНИЕ ТЕХНИК ВМЕСТО МОДЕЛЕЙ ↑

metatheo в посте Metapractice (оригинал в ЖЖ)

[Как-то после одного из семинаров по когнитивным основам математики в ин-те математики им. Соболева отмороженный логик Непийвода заявил, что мечтает и при жизни сделает логический автомат, который путем счисления предикатов и т.п. будет порождать типа стихи. Я его переспросил - стихи качества творчества Пушкина? И Непийвода гордо заявил - да!]
:) А вы и с Непейводой знакомы? Я читал какой-то его учебник. У него какой-то интересный взгляд на программирование. Меня это привлекало когда-то :).

1 комментарий