|
|
От
|
Михайлов А.
|
|
|
К
|
All
|
|
|
Дата
|
21.01.2007 00:17:07
|
|
|
Рубрики
|
В стране и мире;
|
|
Предлагается к экспертизе: формальная технология.
Товарищ IGA посоветовал мне почитать книжку некоего С.М. Крылова ( http://ft.cyber.org.ru/krylov.htm ) «Формальная технология и эволюция» ( http://ft.cyber.org.ru/book2.html - к сожалению только первые две главы). Автор разработал что-то вроде теории алгоритмов, оперирующей не с абстрактными, а с реальными физическими объектами, в явном виде опираясь на идеальность математики, из чего получил например ограниченность тезиса Тьюрнга-Черча ( http://ft.cyber.org.ru/thestch.htm ) . Краткое изложение аппарата тут - http://ft.cyber.org.ru/theorftr.htm Автор утверждает что добился интересных прикладных результатов (перечисления - http://ft.cyber.org.ru/IdeasHist.pdf ) в частности миниатюрный универсальный химический синтезатор-анализатор ( http://ft.cyber.org.ru/microsyn.htm), а это заявка на создание посредством ФТ универсальных автоматических приборных комплексов (т.е не надо будет каждый раз для нового эксперимента собирать новую систему приборов, - выпускай большую серию типовых «процессоров эксперимента» и программируй без эксплуатации квалифицированных рабочих лаборантов ). Так что хотелось бы проверить – кто перед нами – второй Побиск Кузнецов или шарлатан? Если первое, то интересны ограничения ФТ – применима ли она к квантовым объектам ил её операции будут невозможны и т.д.