Марков Андрій Андрійович (молодший)

Марков Андрій Андрійович (молодший) (22 вересня 1903, Санкт-Петербург, Російська імперія — 11 жовтня 1979, Москва, РРФСР) — радянський математик, син відомого російського математика А. А. Маркова, засновник радянської школи конструктивної математики.

Марков Андрій Андрійович (молодший)

Стаття у Вікіпедії

Цитати

Абстракції необхідні в математиці, але їх не слід вживати заради них самих і вони не повинні завести туди, звідки нема спуску на «землю».

Будь-яку математичну машину можна розглядати як пристосування, щоб здійснювати той чи інший алгоритм. Якщо алгоритм, що розв'язує будь-яку одиничну задачу даного класу, неможливий, то неможлива й машина, яка розв'язувала б будь-яку таку задачу… Через це дослідницькі пізнавальні функції у математиці (як і в будь-якій іншій науці) ніколи не будуть передані машинам, які здатні лише допомогти людині, але не здатні замінити її.

Я ніяк не можу погодитись вважати «інтуїтивну ясність» за критерій істинності в математиці, бо цей критерій означає повне торжество суб'єктивізму і розходиться з розумінням науки як виду суспільної діяльності.

Цитати про автора

	Чітка теорія алгоритмів, розвинута в працях А. А. Маркова[-сина], А. М. Тюрінга та інших вчених, є значним кроком у розв'язанні однієї з головних проблем математичної логіки — алгоритмічної розв'язності будь-якого типу задач, тобто проблеми знаходження певної системи правил, яка дає можливість за допомогою автоматичних обчислень розв'язувати всі задачі даного типу.
	— Ю. О. Митропольський

Джерела

Математика в афоризмах, цитатах і висловлюваннях / Н. О. Вірченко. — Київ: Вища школа, 1974. — 272 с.