167/168 Т 303 Тейт, У. Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт> // Философия науки. - 2007. - N 4. - С. 183-191 . - ISSN 1560-7488
Рубрики: Философия Философские вопросы и методология отдельных наук Математика Математическая логика Кл.слова (ненормированные): множества (математика) -- числа -- трансфинитные числа -- теория множеств Аннотация: О теории трансфинитных чисел. Доп.точки доступа: Целищев, В. В. \пер.\; Кантор, Г. (немецкий математик ; 1845-1918) |
510.6 Б 536 Бессонов, А. В. Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев> // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488
Рубрики: Логика Математика Математическая логика Общие вопросы логики Кл.слова (ненормированные): вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча. Доп.точки доступа: Хлебалин, А. В.; Целищев, В. В.; Черч, А. (американский логик и математик) |
Кравцов, А. Г. Наследственная конечная аксиоматизируемость логики SL{n} [Текст] / А. Г. Кравцов> // Доклады Академии наук. - 2003. - Т. 391, N 1. - С. 14-16 . - ISSN 0869-5652
Рубрики: Математика Математическая логика Кл.слова (ненормированные): аксиоматизируемость -- аксиоматизируемость логики SL{n} -- конечная аксиоматизируемость -- логика SL -- модальная логика Аннотация: Рассматриваются расширения модальной логики SL{n}, представляющей собой многомерный аналог известной логики модальности "завтра" SL. Доказывается, что они обладают свойством конечной аксиоматизируемости. |
Гришин, А. М. Физическое моделирование огненных смерчей [Текст] / А. М. Гришин, А. Н. Голованов, Я. В. Суков> // Доклады Академии наук. - 2004. - Т. 395, N 2. - С. 196-198 . - ISSN 0869-5652
Рубрики: Математика Математическая логика Кл.слова (ненормированные): конвективные колонки -- моделирование смерчей -- огненные смерчи -- тепловые потоки Аннотация: Приводятся результаты физического моделирования в лабораторных условиях, полученные на разных установках с различной закруткой конвективной колонки. Доп.точки доступа: Голованов, А. Н.; Суков, Я. В. |
Морозов, А. С. Счетные структуры, сумма-определимые над классическими непрерывными числовыми системами [Текст] / А. С. Морозов, М. В. Коровина> // Доклады Академии наук. - 2007. - Т. 416, N 5, октябрь. - С. 594-596. - Библиогр.: с. 596 (4 назв. ) . - ISSN 0869-5652
Рубрики: Математика Математическая логика Кл.слова (ненормированные): алгебраические структуры -- алгоритмические языки -- языки программирования -- счетные структуры -- конструктивные модели Аннотация: Охарактеризованы счетные алгебраические структуры, сумма-определимые в наследство конечных надстройках над полями вещественных и комплексных чисел и телом кватернионов. Доп.точки доступа: Коровина, М. В. |
Калябин, Г. А. Условия расходимости средних Рисса от функций Радемахера [Текст] : текст / Г. А. Калябин> // Доклады Академии наук. - 2008. - Т. 419, N 2, март. - С. 151-154. - Библиогр.: с. 154 (8 назв. ) . - ISSN 0869-5652
Рубрики: Математика Математическая логика Кл.слова (ненормированные): функции Радемахера -- Радемахера функции -- теоремы -- доказательство теоремы -- метод Рисса -- Рисса метод Аннотация: Рассматриваются условия расходимости средних Рисса от функций Радемахера. |
Хомич, В. И. О свойстве простой подстановки для суперинтуиционистских и модальных пропозициональных логик [Текст] / В. И. Хомич> // Доклады Академии наук. - 2008. - Т. 423, N 6, декабрь. - С. 740-742. - Библиогр.: с. 742 (14 назв. ) . - ISSN 0869-5652
Рубрики: Математика Математическая логика Кл.слова (ненормированные): простая подстановка -- модальная логика -- модальное исчисление -- модальные пропозициональные формулы -- топологическая булева алгебра Аннотация: Изучены свойства простой подстановки. |
Николенко, Сергей. Истина в математике: от Египта к... Египту? [Текст] / С. Николенко> // Знание-сила. - 2008. - N 6. - С. 63-69 . - ISSN 0130-1640
Рубрики: Математика История математики Математическая логика Кл.слова (ненормированные): истина в математике -- математическая истина -- доказательства (математика) Аннотация: О математической истине. |
Батыршин, И. И. Относительная перечислимость в иерархии Ершова [Текст] / И. И. Батыршин> // Математические заметки. - 2008. - Т. 84, вып: вып. 4. - С. 506-515. - Библиогр.: с. 515 . - ISSN 0025-567X
Рубрики: Математика Математическая логика Кл.слова (ненормированные): подмножества -- иерархия Ершова -- Ершова иерархия -- относительная перечислимость -- уровни иерархии Аннотация: Приводятся результаты, касающиеся обобщений на другие уровни иерархии Ершова некоторой теоремы о связи n-вычислимой перечислимости и относительной перечислимости. |
Поляков, Е. А. Об R-универсальных функциях [Текст] / Е. А. Поляков> // Математические заметки. - 2005. - Т. 78, N 2. - С. 259-264. - Библиогр.: с. 264 . - ISSN 0025-567Х
Рубрики: Математика Математическая логика Кл.слова (ненормированные): функции -- R-универсальные функции -- изоморфизмы Аннотация: Доказано, что тип p-сходства R-универсальной функции состоит из одного типа изоморфизма, но более чем из одного типа p-рекурсивного изоморфизма. |
Калимуллин, И. Ш. Почти вычислимо перечислимые семейства множеств [Текст] / И. Ш. Калимуллин> // Математический сборник. - 2008. - Т. 199, N 10. - С. 33-40 : ил. - Библиогр.: с. 40 (5 назв. ) . - ISSN 0368-8666
Рубрики: Математика Математическая логика Кл.слова (ненормированные): функции -- натуральные числа -- обобщенные циклы -- неотрицательные числа -- операторы -- перечислимые семейства множеств -- множества -- подмножества -- тьюринговы скачки Аннотация: Построено почти вычислимо перечислимое семейство, не являющиееся 0-вычислимо перечислимым. |
Шалак, Владимир Иванович (канд. филос. наук, ст. науч. сотрудник Ин-та философии РАН). Канон и органон [Текст] / В. И. Шалак> // Эпистемология и философия науки. - 2008. - N 4. - С. 210-217. - Библиогр. в сносках . - ISSN 1811-833Х
Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): каноны -- интуиция -- древнегреческая философия -- логический субъект -- естественные науки Аннотация: Автор доказывает на примере математической логики, что она должна быть свободной не только от конкретного содержания, но и от конкретных форм, не гарантирующих выражения в них всякого будущего опыта. |
Адян, С. И. Оценка сложности вывода в одной системе подстановок [Текст] / С. И. Адян> // Доклады Академии наук. - 2009. - Т. 428, N 3, сентябрь. - С. 295-299. - Библиогр.: с. 299 . - ISSN 0869-5652
Рубрики: Математика Математическая логика Кл.слова (ненормированные): оценка сложности вывода -- сложность вывода -- система подстановок -- подстановки в системе сигма -- система сигма Аннотация: Для системы подстановок сигма получена квадратичная верхняя оценка максимальной длины цепочек вывода из данного слова. |
О некоторых свойствах одномерных унимодальных отображений [Текст] / Э. В. Недоступов [и др. ]> // Доклады Академии наук. - 2010. - Т. 430, N 1, январь. - С. 23-28 : 4 рис. - Библиогр.: с. 28 (6 назв. ) . - ISSN 0869-5652
Рубрики: Математика--4 рис. Математическая логика Кл.слова (ненормированные): одномерные отображения -- унимодальные отображения -- разностные уравнения -- моделирование популяций -- математическая логика Аннотация: Проведено исследование одномерных унимодальных отображений, полученных при описании динамики численности животных. Предложены оригинальные способы нахождения периодических траекторий одномерных унимодальных отображений. Доп.точки доступа: Недоступов, Э. В.; Саранча, Д. А.; Чигерев, Е. Н.; Юрезанская, Ю. С. |
Хисамиев, А. Н. (Сигма) -ограниченные алгебраические системы и универсальные функции [Текст] / А. Н. Хисамиев> // Доклады Академии наук. - 2010. - Т. 431, N 6, апрель. - С. 747-750. - Библиогр.: с. 750 . - ISSN 0869-5652
Рубрики: Математика Математическая логика Кл.слова (ненормированные): абсолютная теория вычислимости -- вычислимые фукции -- натуральные числа Аннотация: Введено понятие относительно конечного подмножества алгебраической системы. |
Анализ аварий и возможностей их предотвращения в сложных техногенных системах с использованием моделей причинно-следственных связей [Текст] / В. В. Клюев [и др. ]> // Контроль. Диагностика. - 2009. - N 12. - С. 29-36. - Библиогр.: с. 36 (8 назв. ) . - ISSN 0201-7032
Рубрики: Математика Математическая логика Техника Эргономика Транспорт Автодорожный транспорт Кл.слова (ненормированные): аварии -- предотвращение аварий -- техногенные системы -- модели связей -- причинно-следственные связи -- человекомашинные системы -- причинно-следственные комплексы -- дорожно-транспортные происшествия -- причины аварий -- логические модели -- теория технической диагностики Аннотация: Рассмотрена проблема построения моделей и алгоритмов для поиска причин аварий и возможностей их предотвращения в сложных человекомашинных системах. Доп.точки доступа: Клюев, В. В.; Резчиков, А. Ф.; Иванов, А. С.; Домнич, В. С. |
Черепанов, Е. М. Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов> // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка. |
Самохвалов, К. Ф. Физический тезис Черча [Текст] / К. Ф. Самохвалов> // Философия науки. - 2010. - N 2. - С. 34-61. - Библиогр.: с. 60-61 (25 назв. ) . - ISSN 1560-7488
Рубрики: Логика Общие вопросы логики Математика Математическая логика Кл.слова (ненормированные): сверхзадачи -- Черча Тезис -- Тезис Черча -- гипервычисление Аннотация: В статье дается методологический анализ физического тезиса Черча. Доп.точки доступа: Черч, Алонзо (американский логик и математик) \а.\ |
Браун, Джеймс Роберт (проф. Ун-та Торонто (Канада)). Может ли математика объяснять? [Текст] / Дж. Р. Браун ; пер. с англ. Л. Г. Антипенко> // Эпистемология и философия науки. - 2009. - N 1. - С. 16-32. - Библиогр. в сносках . - ISSN 1811-833Х
Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): математический реализм -- природа (философия) -- математическая репрезентация Аннотация: Автор доказывает, что математика моделирует и отслеживает естественный мир, а не описывает его непосредственно. Доп.точки доступа: Антипенко, Л. Г. \.\ |
Беклемишев, Л. Д. Теоремы Геделя о неполноте и границы их применимости. I [Текст] / Л. Д. Беклемишев> // Успехи математических наук. - 2010. - Т. 65, вып: вып. 5 (395). - С. 61-106. - Библиогр.: с. 103-106 (68 назв. ) . - ISSN 0042-1316
Рубрики: Математика Математическая логика Кл.слова (ненормированные): теоремы Геделя -- Геделя теоремы -- неполнота -- недоказуемые утверждения -- алгоритмические проблемы Аннотация: Дан обзор результатов, связанных с теоремами Геделя о неполноте и границами их применимости. В первой части обсуждаются формулировки самого Геделя, а также современные усиления первой теоремы о неполноте. Сравниваются между собой различные формы и доказательства этой теоремы. Рассматриваются результаты о неполноте, связанные с алгоритмическими проблемами, и обсуждаются математически естественные примеры недоказуемых утверждений. |