Значения слова Финитный. Что такое Финитный?

Слово состоит из 8 букв: первая ф, вторая и, третья н, четвёртая и, пятая т, шестая н, седьмая ы, последняя й,

Слово финитный английскими буквами (транслитом) - finitnyi

Правильное написание и ударение в слове ФИНИТНЫЙ

Фини́тный.

Орфографический словарь. — 2004

ДОКАЗАТЕЛЬСТВ ТЕОРИЯ

ДОКАЗАТЕЛЬСТВ ТЕОРИЯ - раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники.Если последнее считать непротиворечивым (напр., в силу его естественной финитной интерпретации), то отсюда следует непротиворечивость и классического арифметич. исчисления.

Математическая энциклопедия. - 1977-1985

Социализация

СОЦИАЛИЗАЦИЯ (от лат. socialis - общественный) - совокупность взаимосвязанных процессов усвоения и воспроизводства индивидом необходимого и достаточного для полноценного включения в общественную жизнь социокультурного опыта и фило-онтогенетического…Первичная С. трактуется при этом как финитный процесс, завершающийся со становлением личностных структур индивида и приобретением им прав "взрослого" в данном типе общества (т.е. началом...

Социология: Энциклопедия. - 2003

Финитизм

ФИНИТИЗМ — идущая т Д. Гильберта методологическая установка на сильные требования к осмысленности и к надежности математических суждений и рассуждений.Финитные рассуждения, предназначаемые для осуществления этой работы, Гильберт обозначал словом «метаматематика».. Становление и расцвет программы Гильберта занял 1-ю треть 20-го столетия.

Новая философская энциклопедия. - 2003

ФИНИТИЗМ (лат. finitus — определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико-множеств. математики.Надёжность финитной т. зр., рассчитанной на минимум логико-математич. средств, привлекаемых для обоснования, оказалась, однако, препятствием для решения гл. задачи Ф. — доказательства...

Философская энциклопедия

ФИНИТИЗМ (лат. finitus - определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико-множеств. математики.Т. о., в теории доказательств финитная т. зр. предполагала конкретно-содержат. способ рассмотрения и конечную установку мышления. В известном смысле Ф. явился усилением интуиционистских...

Советский философский словарь. - 1974

Финитная смысловая область

ФИНИТНАЯ СМЫСЛОВАЯ ОБЛАСТЬ - понятие феноменологической социологии, восходящее к концепции множественных реальностей У Джеймса. Автор «Принципов психологии» постулирует множественность реальностей как областей человеческих переживаний…

Прохоров Б.Б. Экология человека. - 2005

ФИНИТНАЯ ФУНКЦИЯ

ФИНИТНАЯ ФУНКЦИЯ - функция, определенная в нек-рой области пространства Е n и имеющая принадлежащий к этой области компактный носитель. Точнее, пусть функция f(х)= f(x 1,…, х п)…

Математическая энциклопедия. - 1977-1985

Финитного управления задача

Финитного управления задача - задача отыскания и единообразного описания всего множества U управлений, любое из которых переводит управляемую динамическую систему из заданного начального состояния в заданное конечное состояние за фиксированное…

Энциклопедический фонд России

Формальная система

АКСИОМАТИЧЕСКИЙ МЕТОД - способ построения научной теории, при к-ром в основу теории кладутся нек-рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом.Поскольку формальные системы описанного выше типа сами оказываются точными, или, как говорили в школе Гильберта, финитными, математич. объектами, можно было ожидать, что удастся получить...

Математическая энциклопедия. - 1977-1985

Аксиоматический метод, способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) — аксиомы, или постулаты…По замыслу Гильберта, в рамках созданной им теории доказательств, т.е. допуская в метатеории только т. н. финитные способы рассуждения (не использующие ссылки ни на какие объекты, не...

Большая советская энциклопедия (БСЭ). — 1969—1978