Журнал Компьютерра -759   ::   Компьютерра

Но в обоих случаях, направляя рост и размножение делящихся нервных клеток, ученым удавалось

вырастить фрагменты нервной ткани. Нейроны располагались в них закономерным образом, устанавливали контакты друг с

другом и даже обменивались сигналами. Хотя метод пока рано использовать в медицинской практике, выращенные фрагменты

ткани уже годятся, например, для тестирования лекарств. ДШ

Математики просят помощи



Важные

проблемы современного состояния математики поднимает декабрьский выпуск журнала Notices of the American Mathematical

Society, центральная тема которого посвящена формальным доказательствам.

Как известно, нет ничего надежнее строго

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

никакого отношения к реальности, однако в абсолютной надежности формального логического вывода никто не сомневается.

Этому порой завидуют представители естественных наук, критерий истины в которых не формальная логика, а зачастую не

слишком надежный опыт.

Но в последние десятилетия и в привилегированной касте математиков появились сомнения. Что

такое строгое математическое доказательство в научной статье или книге? Оно написано человеком и для человека. Хуже

того, специалистом и для специалиста. И где гарантии, что в нем нет ошибок? Аргументы в статье излагаются в

повествовательной форме, облегчающей их восприятие.