Содержание
9 отношения: Кушнер, Борис Абрамович, Коши, Огюстен Луи, Абстракция отождествления, Аксиома выбора, Теория вычислимости, Электронно-вычислительная машина, Марков, Андрей Андреевич (младший), Иммунное множество, Интуиционизм.
Кушнер, Борис Абрамович
Борис Абрамович Кушнер — советский и американский математик, поэт, эссеист.
Посмотреть Конструктивная математика и Кушнер, Борис Абрамович
Коши, Огюстен Луи
Огюсте́н Луи́ Коши́ (Augustin Louis Cauchy; 21 августа 1789, Париж — 23 мая 1857, Со, Франция) — французский и, член Парижской академии наук, Лондонского королевского общества, Петербургской академии наук и других академий.
Посмотреть Конструктивная математика и Коши, Огюстен Луи
Абстракция отождествления
Абстракция отождествления — способ формирования общих абстрактных понятий.
Посмотреть Конструктивная математика и Абстракция отождествления
Аксиома выбора
Где (S''i'') семейство непустых множеств, проиндексированных множеством действительных чисел '''R'''. То есть для каждого действительного числа ''i'' существует множество S''i''.
Посмотреть Конструктивная математика и Аксиома выбора
Теория вычислимости
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости.
Посмотреть Конструктивная математика и Теория вычислимости
Электронно-вычислительная машина
Электро́нно-вычисли́тельная маши́на (сокращённо ЭВМ) — комплекс технических, аппаратных и программных средств, предназначенных для автоматической обработки информации, вычислений, автоматического управления.
Посмотреть Конструктивная математика и Электронно-вычислительная машина
Марков, Андрей Андреевич (младший)
Андре́й Андре́евич Ма́рков (Санкт-Петербург — 11 октября 1979, Москва) — советский, сын известного русского математика А. А. Маркова, основоположник советской школы конструктивной математики.
Посмотреть Конструктивная математика и Марков, Андрей Андреевич (младший)
Иммунное множество
Иммунное множество — бесконечное множество конструктивных объектов (например, натуральных чисел), любое перечислимое подмножество которого конечно.
Посмотреть Конструктивная математика и Иммунное множество
Интуиционизм
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности».
Посмотреть Конструктивная математика и Интуиционизм
Также известен как Математический конструктивизм, Конструктивизм (математика).