- СВОБОДНО СТАНОВЯЩАЯСЯ ПОСЛЕДОВАТЕЛЬНОСТЬ
- см. Интуиционизм.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
- см. Интуиционизм.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
ПОТОК — понятие интуиционистской математики (см. Интуиционизм);совокупность, вид, состоящий из конечных кортежей натуральных чисел, называемых узлами П. (или допустимыми кортежами П.). Точнее, вид П кортежей натуральных чисел наз. потоком, если… … Математическая энциклопедия
конструктивизм — КОНСТРУКТИВИЗМ (от лат. constructio построение) направление в эпистемологии и философии науки, в основе которого лежит представление об активности познающего субъекта, который использует специальные рефлексивные процедуры при построении… … Энциклопедия эпистемологии и философии науки
Интуиционизм — Интуиционизм система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности… … Википедия
Интуиционистская логика — Интуиционизм система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического… … Википедия
Математический интуиционизм — философско математическое течение, отвергающее теоретико множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая к античной математике… … Большая советская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия