- НЕРАЗРЕШИМОСТЬ ТЕОРИЙ
- НЕРАЗРЕШИМОСТЬ ТЕОРИЙ
-
НЕРАЗРЕШИМОСТЬ ТЕОРИЙ — см. Металогика, Разрешения проблемы.
Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
.
Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.
.
Неразрешимость — В математической логике и теории алгоритмов под разрешимостью подразумевают свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если … Википедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ТЕОРИЯ МНОЖЕСТВ — теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… … Философская энциклопедия
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
МЕТОД — (от греч. methodos путь, способ исследования, обучения, изложения) совокупность приемов и операций познания и практической деятельности; способ достижения определенных результатов в познании и практике. Применение того или иного М. определяется… … Философская энциклопедия
РЕДУКЦИЯ — 1) (от лат. reducere приводить обратно, возвращать) исследовательский прием, обеспечивающий сведение (преобразование) данных, сущностей, задач, понятий, предложений, методов рассуждения и доказательства и т.д. к чему то более простому и легче… … Философская энциклопедия
РАЗРЕШЕНИЯ ПРОБЛЕМА — РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести… … Философская энциклопедия