Конструктивное направление - meaning and definition. What is Конструктивное направление
Diclib.com
ChatGPT AI Dictionary
Enter a word or phrase in any language 👆
Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

What (who) is Конструктивное направление - definition

ЖЕЛЕЗНОДОРОЖНАЯ ЛИНИЯ МОСКОВСКОЙ ЖЕЛЕЗНОЙ ДОРОГИ В РОССИИ
Белорусское направление МЖД; Смоленское направление МЖД; Белорусское направление; Смоленское направление Московской железной дороги
  • Белорусское направление МЖД, вид в сторону станции Фили

Конструктивное направление      

в математике, математическое мировоззрение, связанное с признанием исследования конструктивных процессов и конструктивных объектов основной задачей математики. К концу 19 в. в математике возникло неконструктивное, теоретико-множественное направление, получившее существенное развитие в трудах К. Вейерштрасса, Р. Дедекинда и особенно Г. Кантора. Началось построение теории множеств, претендовавшей на роль фундамента всей математики. В этой теории, в соответствии с изречением Кантора "сущность математики в её свободе", допускался большой произвол при введении "множеств", которые затем рассматривались как законченные "объекты". Однако в начале 20 в. в теории множеств были открыты т. н. антиномии, т. е. противоречия, показавшие, что нельзя любым образом объединить "объекты" в "множества". Попытки преодолеть возникшие трудности были сделаны на пути аксиоматизации теории множеств, т. е. превращения её в аксиоматическую науку наподобие геометрии (см. Аксиоматическая теория множеств). Это осуществляется так, чтобы всё, требуемое для обоснования математики, получалось на основе аксиом, тогда как известные до сих пор антиномии не проходили бы.

Первая попытка в этом направлении была предпринята Э. Цермело, опубликовавшим свою систему аксиом теории множеств в 1908. Известные антиномии теории множеств не проходили в системе Цермело, однако гарантий против появления противоречий не было. Возникла проблема обеспечения непротиворечивости аксиоматически построенной теории множеств. Эту проблему выдвинул и пытался решить Д. Гильберт, основная идея которого состояла в полной формализации аксиоматической теории множеств, в трактовке её как формальной системы (см. в ст. Логика). Задача установления непротиворечивости рассматриваемой теории сводилась бы тогда к доказательству формальной недоказуемости формул определённого вида. Это доказательство должно было быть убедительным рассуждением о конструктивных объектах - формальных доказательствах. Оно, таким образом, должно было укладываться в рамки конструктивной математики (См. Конструктивная математика). Цепь, поставленная Гильбертом, оказалась недостижимой, что было доказано К. Гёделем (См. Гёдель) в 1931. Однако большой интерес представляет предложенное Гильбертом средство - Метаматематика, конструктивная наука о формальных доказательствах, являющаяся частью конструктивной математики. Программу Гильберта можно охарактеризовать как неудавшуюся попытку обосновать теоретико-множественную математику на базе конструктивной математики, в надёжности которой он не сомневался. Самого же Гильберта следует считать одним из основоположников конструктивной математики.

К. н. можно рассматривать как ответвление основанного Л. Э. Я. Брауэром интуиционизма, программа которого состоит в исследовании умственных математических построений. Близость К. н. к интуиционизму проявляется в понимании дизъюнкций и теорем существования, а также в трактовке закона исключенного третьего. Расхождения между этими двумя направлениями состоят прежде всего в том, что конструктивисты, в отличие от интуиционистов, не считают свои построения чисто умственным занятием; кроме того, интуиционисты рассуждают о неких "свободно становящихся последовательностях" и рассматривают континуум как "среду свободного становления", тем самым привлекая к рассмотрению неконструктивные объекты. К. н. в математике привело к построению особой науки - конструктивной математики.

А. А. Марков.

Курское направление Московской железной дороги         
Курское направление Московской железной дороги — железнодорожная линия от Москвы до Курска через Тулу и Орёл длиной 536 км. Проходит по городу Москве, Московской, Тульской, Орловской и Курской областям.
Рязанское направление Московской железной дороги         
  • альт=
  • альт=
  • альт=
  • альт=
  • Раменское]], Московская область
  • Ансамбль исторических зданий на станции Раменское незадолго перед разрушением в 2005
  • Выхино]] в Москве
Рязанское направление Московской железной дороги — железнодорожная линия от Москвы до Рязани через города Люберцы, Жуковский, Раменское, Белоозёрский, Воскресенск, Коломна, Озёры, Луховицы, Зарайск. Проходит по Москве (Центральный, Восточный, Юго-Восточный округа), Московской и Рязанской областям.

Wikipedia

Белорусское направление Московской железной дороги

Белорусское направление Московской железной дороги (встречается также название «Смоленское направление») — железнодорожная линия от Москвы к Смоленску и далее до границы с Белоруссией (до станции Красное). Длина главного хода 490 км.

Линия административно относится к двум регионам Московской железной дороги: участок от Москвы до станции Можайск — к Московско-Смоленскому (центр — Москва-Пассажирская-Смоленская), участок от станции Бородино до границы с Белоруссией — к Смоленскому (центр — Смоленск).

Участок Москва-Пассажирская-Смоленская — Одинцово четырёхпутный, далее — двухпутный на всём протяжении. Все ответвления однопутные, за исключением участка Смоленск — Ракитная, где обе параллельных линии двухпутные.

Участок от Белорусского вокзала до станции Бородино (включая Усовскую и Звенигородскую ветки) оборудован высокими пассажирскими платформами. На самой станции Бородино одна платформа высокая, другая низкая. Две высоких платформы также имеются на станции Смоленск, одна — на станции Вязьма. Большинство платформ на участке Вязьма — Красное укороченные. Единственная высокая укороченная платформа на Белорусском направлении — на станции Кунцево-2.

What is Конструкт<font color="red">и</font>вное направл<font color="red">е</font>ние - meaning and d