Чего не могут вычислительные машины: различия между версиями
Содержимое удалено Содержимое добавлено
Ramir (обсуждение | вклад) |
Ramir (обсуждение | вклад) |
||
Строка 14:
Как известно, программирование появилось раньше вычислительных машин. Первым программистом был [[w:Бэббидж, Чарльз|Чарлз Бэббидж]], ибо он написал программы для своей, опять же, первой в истории, вычислительной машины{{ref|ada_lovelace}}. Точно так же теория программирования в самой своей основе появилась раньше первой программно-управляемой машины Конрада Цузе. Цузе прекрасно знал теорию и строил свои системы отнюдь не на пустом месте.
Из философских побуждений — неудовлетворённости квазирелигиозной верой в истинность математических утверждений, необоснованность которой стала тогда очевидной — в течение почти всего XX века упорно разрабатывалась '''[[w:метаматематика|метаматематика]]''', то есть исследование математики средствами самой математики. Одним из итогов этого развития стала [[w:Математическая логика|математическая логика]], а другим — [[w:Теория
Самые различные понятия вычислимости и определимости были исследованы с той поры, когда в 1920-х гг. появились первые уточнения понятия [[w:алгоритм|алгоритм]]а. Зачастую кажется, что в них нет ничего общего.
|