- метод арифметизации
- мат. method of arithmetization
Большой англо-русский и русско-английский словарь. 2001.
метод арифметизации
Смотреть что такое "метод арифметизации" в других словарях:
ГЁДЕЛЬ — (Godel) Курт (1906 1978) австр. логик и математик. Участвовал в работе Венского кружка. В 1933 1939 приват доцент Венского ун та, в 1940 эмигрировал в США, с 1953 проф. Ин та высших исследований в Принстоне. Г. принадлежат ряд важнейших… … Философская энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
Метаматематика — Метаматематика раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики» … Википедия
метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. рассматривает формализованную теорию как множество некоторых конечных… … Словарь терминов логики
Бахтияров, Камиль Ибрагимович — (р. 21.06.1934) спец. по логике; канд. техн. наук, д р филос. наук, проф. Род. в Москве. Окончил Моск. инж. строительный ин т (1957) и механико матем. ф т МГУ (1965). С 1971 преп., затем доц. кафедр высшей математики Военно инж. академии и… … Большая биографическая энциклопедия
ГЁДЕЛЬ (GODEL) Курт — (1906 1978) австр. логик и математик. Участвовал в работе Венского кружка. В 1933 39 приват доцент Венского ун та, в 1940 эмигрировал в США, с 1953 проф. Института высших исследований в Принстоне. Г. принадлежит ряд важнейших результатов в… … Современная западная философия. Энциклопедический словарь
ЛЕЙБНИЦ — (Leibniz) Готфрид Вильгельм (1646 1716) нем. философ, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском ун тах. В 1672 1676 в Париже. С 1676 состоял на службе у ганноверских… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
МАТЕМАТИЧЕСКИЙ АНАЛИЗ — раздел математики, дающий методы количественного исследования разных процессов изменения; занимается изучением скорости изменения (дифференциальное исчисление) и определением длин кривых, площадей и объемов фигур, ограниченных кривыми контурами и … Энциклопедия Кольера
ПУАНКАРЕ — (Poincare) Жюль Анри (1854 1912) французский мыслитель, математик и астроном, автор философской доктрины конвенционализма, труды которого, с одной стороны, завершили построение математики и физики классического периода, а с другой стороны,… … История Философии: Энциклопедия
