Марков Андрій Андрійович (молодший)
Марков Андрій Андрійович (молодший) | |
Стаття у Вікіпедії |
Марков Андрій Андрійович (молодший) (22 вересня 1903, Санкт-Петербург, Російська імперія — 11 жовтня 1979, Москва, РРФСР) — радянський математик, син відомого російського математика А. А. Маркова, засновник радянської школи конструктивної математики.
Цитати
[ред.]Абстракції необхідні в математиці, але їх не слід вживати заради них самих і вони не повинні завести туди, звідки нема спуску на «землю».[1] |
Будь-яку математичну машину можна розглядати як пристосування, щоб здійснювати той чи інший алгоритм. Якщо алгоритм, що розв'язує будь-яку одиничну задачу даного класу, неможливий, то неможлива й машина, яка розв'язувала б будь-яку таку задачу… Через це дослідницькі пізнавальні функції у математиці (як і в будь-якій іншій науці) ніколи не будуть передані машинам, які здатні лише допомогти людині, але не здатні замінити її.[1] |
Я ніяк не можу погодитись вважати «інтуїтивну ясність» за критерій істинності в математиці, бо цей критерій означає повне торжество суб'єктивізму і розходиться з розумінням науки як виду суспільної діяльності.[2] |
Цитати про автора
[ред.]Чітка теорія алгоритмів, розвинута в працях А. А. Маркова[-сина], А. М. Тюрінга та інших вчених, є значним кроком у розв'язанні однієї з головних проблем математичної логіки — алгоритмічної розв'язності будь-якого типу задач, тобто проблеми знаходження певної системи правил, яка дає можливість за допомогою автоматичних обчислень розв'язувати всі задачі даного типу. |
|||||
— Ю. О. Митропольський[3] |
Примітки
[ред.]- ↑ а б Математика в афоризмах, 1974, с. 92
- ↑ Математика в афоризмах, 1974, с. 142
- ↑ Математика в афоризмах, 1974, с. 234
Джерела
[ред.]Математика в афоризмах, цитатах і висловлюваннях / Н. О. Вірченко. — Київ: Вища школа, 1974. — 272 с.