| Re: (общий) |
Jan. 21st, 2009|07:07 pm |
> решил важную (раз Гильберта, типа)
> широко известную проблему.
В одиночку решил, на пустом месте. Не использовав ни тезиса Чёрча о совпадении класса эффективно разрешимых задач с разрешимыми в частично-рекурсивных функциях, ни самого понятия частично-рекурсивной функции (появившегося в результате деятельности Гильберта, Гёделя, Клини и того же Чёрча уже после постановки десятой проблемы), ни предшествующих результатов Дэвиса и Ко. Вы меня за идиота держите, или одно из двух?
> При том, что он по сути доказал импликацию
Выдав при этом за доказанный результат не её саму, а только её заключение (и тем самым дав от себя гарантию верности посылки!). Если бы в статье была действительно сформулирована верная импликация "из такого-то утверждения следует такое-то", то Theorem 2.1.1 не была бы wrong, и дезавуировать статью не было бы смысла.
> пишет без ссылки русская Википедия,
> а я с ней соглашаюсь.
Русскую Википедию в массе своей пишут с целью самоутверждения недоумки, либо отчисленные с младших курсов за неуспеваемость, либо поражённые ГСМ чуть более чем полностью. Верные утверждения (в форме копипасты) там, разумеется, найти можно — но проверять надо всё, и в обязательном порядке. Цитированный же Вами бред (как и не менее идиотское утверждение про "технику как продукт человеческого духа" — угу, хотел бы я глянуть, как бодхисатвы в состоянии сатори производят КрАЗы силой мысли) настрочил — как элементарно проверяется по странице истории (хорошая вещь GNU FDL!) — 26-го января 2007 года некий обладатель личной страницы с записью "окончил философский факультет СПбГУ". Эксперт по проблеме, какие могут быть сомнения! LOL.
> сам Бондарко, вроде бы, даже лекции по полуприкладной дисциплине читал:
> эллиптические кривые в криптографии или что-то такое.
Он там читал собственные результаты? Опять же, давайте не путать тёплое с мягким.
> я лично не знаю, в каких ВУЗ-ах в основном курсе
> действительно изучают теорию множеств неаксиоматически.
Я уже писал, что не знаю ни одного обратного примера. Если приведёте — буду весьма признателен.
> ![[info]](http://lj.rossia.org/img/userinfo.gif) phantom хотел изучать теорию множеств.
> Я ему описал положение дел согласно нормам
> русского языка.
Но в противоречии с действительным положением дел. И при том ещё попытались приписать ему свои собственные взгляды ("наивные определения идут лесом, теория множеств без аксиоматики не строится"), несмотря даже на прямое его несогласие (ссылку я давал).
> могут существовать секты, верящие в полноценность своей "теории множеств"
Одной из таких сект и является секта аксиоматизаторов. Большинство же обходится "наивными" представлениями — и это факт. Можете продолжать кричать, что это не так — у меня барабанные перепонки прочные :-)
> О том я и писал, употребляя слово "уникальный".
Ну, да — станок с ЧПУ в эхнатоновском Египте тоже был бы чем-то уникальным. Но возможность массового производства таких станков (при других, чем у Эхнатона, условиях) этим не отменяется.
С уважением,
Гастрит
|
|