История вычислительной техники в лицах


История вычислительной техники в лицах - стр. 375


Уильям Оккам, проповедовавший трехзначную логику в XIII веке, с
большим трудом избежал костра и всю жизнь прожил изгоем. Другой пример
- Льюис Кэррол, которому только под личиной детской сказки удалось
внедрить его замечательные находки в логике, а ведь эта наука до сих
пор их замалчивает и делает вид, что никакого Кэррола не было и нет.
Последний пример, показывающий, что и в наши дни дело обстоит так же
(если не хуже), - Э. Дейкстра, открывший (в который раз!) идеи
структурирования. Сколько было шума - конференция НАТО, сотни статей и
десятки монографий, "структурированная революция" бушевала едва ли не
20 лет, а теперь опять все так, будто ничего и не было.
 
Полноценная информатика не может ограничиться общепринятой сегодня по
техническим причинам двоичной системой - основа должна быть троичной.
Как-то я встретился с Глушковым и попытался поговорить об этом. Как
истинный алгебраист Глушков сказал тогда, что вопрос о том, включать
пустое или не включать, давно решен: включать! Но в действительности
все не так просто. Современные математики, в особенности Н. Бурбаки, в
самом деле считают, что Аристотель не знал "пустого", поэтому его
логика несовместима с математической логикой и математикой вообще.
Если бы они почитали Аристотеля, то могли бы узнать, что именно им
введено не только это понятие, но и буквенные обозначения переменных и
прочих абстрактных сущностей, которыми кормится современная
математика, не всегда осознавая их смысл. Оказалось, что Аристотель за
2300 лет до появления компьютеров и расхожего теперь термина
"информатика" не только заложил достоверные основы этой науки (у него
это называлось "аналитика", "диалектика", "топика", "первая
философия"), но и поразительно эффективно применил ее методы к
исследованию таких областей как этика, поэтика, психология, политика,
о чем мы со своими ЭВМ пока и мечтать боимся.
 
Отдельные примеры алгебраизации (достоверной) аристотелевской логики я



Начало  Назад  Вперед



Книжный магазин