Неформализуемость как логическая характеристика жизни. Н.Н.Непейвода

Logical Studies No.3 (1999)
Н.Н.Непейвода
Неформализуемость как логическая характеристика жизни
При создании систем жизнеобеспечения для космических кораблей проявилась одна интересная закономерность: любая попытка оптимизировать систему по точным критериям приводила к отрицательным последствиям для ее основной функции ≈ обеспечения жизни экипажа, и в оптимуме к его смерти. В настоящее время на такой опасной грани находятся дарвиновская теория эволюции и системный подход.
Хотя неформализуемость проявляется при исследовании любого сложного явления, особенно четко высвечивается она в областях, связанных с жизнью. Живые организмы пытаются ломать любые формальные ограничения, что проявляется, в частности, в приспособлении вредителей к любому формальному методу борьбы с ними. А устранение вредителей, присущих данному биоценозу, приносит и биоценозу, и, в конце концов, паразитирующим на нем людям гораздо больший ущерб, чем тот, который причиняли уничтоженные живые существа. Заметим, что данное замечание не относится к привнесенным человеком вредителям, что еще раз подчеркивает неформализуемость понятий жизни.
Таким образом, проникшая в науку система рекламного представления любой новой теории как универсальной, противоречит нынешнему уровню развития логики науки, и, соответственно, приносит громадный вред.

по-русски