• А
  • Б
  • В
  • Г
  • Д
  • Е
  • Ж
  • З
  • И
  • Й
  • К
  • Л
  • М
  • Н
  • О
  • П
  • Р
  • С
  • Т
  • У
  • Ф
  • Х
  • Ц
  • Ч
  • Ш
  • Щ
  • Ф
  • Э
  • Ю
  • Я
  • Чертомлык

    Чертомлык, скифский царский курган конца 4 в. до н. э. в 22 км к С.-З. от г. Никополя Днепропетровской области УССР. Раскопан И. Е. Забелиным в 1862-63. В насыпи высотой 19,5 м и окружностью около 350…



    Чертополох

    Чертополох (Carduus), род колючих растений семейства сложноцветных. Около 120 видов, в Евразии и Северной Африке; в СССР свыше 30. Ч. поникающий (С. nutans), Ч. курчавый (С. crispus) и Ч. колючий (С…



    Чертополоховка

    Чертополоховка, дневная бабочка семейства нимфалид; то же, что репейница…



    Черусти

    Черусти, посёлок городского типа в Шатурском районе Московской области РСФСР. Ж.-д. станция на линии Москва - Муром, в 156 км к В. от Москвы. Предприятия ж.-д. транспорта, ремонтно-механический завод…



    Черути Джакомо

    Черути (Ceruti) Джакомо (прозванный Иль Питоккетто, Il Pitocchetto, т. е. маленький нищий) (года рождения и смерти неизвестны), итальянский живописец 18 в. Работал между 1720 и 1750 в Бреше, а также…



    Чёрч Алонзо

    Чёрч (Church) Алонзо (р 14.6.1903, Вашингтон), американский логик, математик. Профессор Принстонского университета (1947—1967). С 1967 профессор математики и философии Калифорнийского университета (Лос-Анджелес). Работы Ч. относятся к различным областям логики. Он развил мысль об отделении понятия функции от понятия множества. В 1936 выдвинул основную гипотезу теории вычислимых функций (т. н. тезис Чёрча): каждая эффективно вычислимая функция является общекурсивной (см. Рекурсивные функции). В 1935 Ч. привёл пример неразрешимой массовой проблемы, а в 1966 доказал, что разрешения проблема для исчисления предикатов неразрешима. Эти результаты оказали большое влияние на развитие математической логики. Ч. внёс существенный вклад в развитие комбинаторной логики: ему принадлежат исследования в области логической семантики и модальной логики.

    Соч. в рус. пер.: Введение в математическую логику, т. 1, М., 1960.

     

    Рекурсивные функции

    Рекурсивные функции (от позднелатинского recursio - возвращение), название, закрепившееся за одним из наиболее распространённых вариантов уточнения общего понятия арифметического алгоритма, т.е…

    Разрешения проблема

    Разрешения проблема, важное понятие логики. Р. п. данного множества А конструктивных объектов (относительно некоторого объемлющего множества V конструктивных объектов) называют проблему построения…

    Логическая семантика

    Логическая семантика, раздел логики, посвященный изучению значений и смыслов понятий и суждений и их формальных аналогов - интерпретаций выражений (термов и формул) различных исчислений (формальных…