Тейт, У. Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева> // Философия науки. - 2007. - N 4. - С. 183-191 . - ISSN 1560-7488
Рубрики: Философия Философские вопросы и методология отдельных наук Математика Математическая логика Кл.слова (ненормированные): множества (математика) -- числа -- трансфинитные числа -- теория множеств Аннотация: О теории трансфинитных чисел. Доп.точки доступа: Целищев, В. В. \.\; Кантор, Георг (немецкий математик ; 1845-1918) \г.\ |
Николенко, Сергей. Истина в математике: от Египта к... Египту? [Текст] / С. Николенко> // Знание-сила. - 2008. - N 6. - С. 63-69 . - ISSN 0130-1640
Рубрики: Математика История математики Математическая логика Кл.слова (ненормированные): истина в математике -- математическая истина -- доказательства (математика) Аннотация: О математической истине. |
Бессонов, А. В. Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев> // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488
Рубрики: Логика Математика Математическая логика Общие вопросы логики Кл.слова (ненормированные): вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча. Доп.точки доступа: Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\ |
Черепанов, Е. М. Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов> // Философия науки. - 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
Рубрики: Логика Общие вопросы логики Математика Математическая логика Кл.слова (ненормированные): сверхзадачи -- Черча Тезис -- Тезис Черча -- гипервычисление Аннотация: В статье дается методологический анализ физического тезиса Черча. Доп.точки доступа: Черч, Алонзо (американский логик и математик) \а.\ |
Белякин, Н. В. Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов> // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. ) . - ISSN 1560-7488
Рубрики: Логика Логические формы и законы Математика Математическая логика Кл.слова (ненормированные): доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями. Доп.точки доступа: Черепанов, Е. М. |
Анкин, Д. В. К эпистемологической интерпретации семантики [Текст] / Д. В. Анкин> // Философия науки. - 2012. - № 3. - С. 29-35. - Библиогр.: с. 35 (5 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): эпистемология -- интерпретации -- истина -- семантика -- теория истины -- истины теория -- логика Аннотация: В статье обосновывается тезис, согласно которому эпистемологическая интерпретация собственных результатов в духе корреспондентной (классической) теории истины, которую предлагает Тарский, вовсе не является обязательной. Доп.точки доступа: Тарский, Альфред (польско-американский математик; логик ; 1901-1983) \а.\ |
Ладов, В. А. "Principia Mathematica" о природе логических парадоксов [Текст] / В. А. Ладов> // Философия науки. - 2012. - № 3. - С. 36-44. - Библиогр.: с. 43-44 (7 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): логика -- парадоксы -- основания -- порочные круги -- классы -- принципы Аннотация: Статья посвящена исследованию природы логических парадоксов. Утверждается, что принцип порочного круга, который авторы "Principia Mathematica" рассматривали как универсальное основание парадоксальности, не является таковым по отношению по крайней мере к некоторым парадоксам. В частности, парадокса класса всех стандартных классов, сформулированный Б. Расселом, имеет иную природу и должен получить объяснение своего появления исходя из иного основания, отличного от принципа порочного круга. Доп.точки доступа: Рассел, Бертран Артур Уильям (английский математик; философ ; 1872-1970) \б.\ |
Ламберов, Л. Д. Дефляционизм и неконсервативность: проблема релевантности? [Текст] / Л. Д. Ламберов> // Философия науки. - 2012. - № 3. - С. 45-52. - Библиогр.: с. 51-52 (16 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): дефляционизм -- истина -- неконсервативность -- адекватность -- теория истины -- истины теория Аннотация: Статья посвящена рассмотрению дефляционных теорий истины и проблемы неконсервативности. Ставится вопрос о релевантности аргументов от неконсервативности при рассмотрении дефляционизма. |
Лобовиков, В. О. Применение аппарата логических исчислений для анализа традиционных проблем философии права [Текст] : формально-этический закон контрапозиции правового закона в двузначной алгебре естественного права / В. О. Лобовиков> // Философия науки. - 2012. - № 3. - С. 53-64. - Библиогр.: с. 63-64 (18 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Математическая логика Право Право. Юридические науки в целом Кл.слова (ненормированные): алгебра логики -- принцип двойственности -- алгебра естественного права -- морально-правовая ценностная переменная -- морально-правовая ценностная функция -- морально-этическая эквивалентность -- закон естественного права -- естественного права закон -- закон позитивного права -- позитивного права закон -- закон контрапозиции -- контрапозиции закон Аннотация: В статье исследуется дискретная математическая модель формально-этического аспекта взаимоотношения систем естественного и позитивного права. На уровне модели дается точное определение, во-первых, того отношения, в котором системы естественного и позитивного права различны и подлежат разделению и, во-вторых, того отношения и условия, в котором они тождественны. |
Кислов, А. Г. Динамическая логика и деонтические операторы "в строгом смысле" [Текст] / А. Г. Кислов> // Философия науки. - 2012. - № 3. - С. 65-80. - Библиогр.: с. 79-80 (24 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Математическая логика Кл.слова (ненормированные): деонтическая логика -- динамическая логика высказываний -- логическая семантика -- секции -- степени ответственности Аннотация: В данной статье стандартная семантика деонтической логики, выполненная на основе динамической логики высказываний, дополняется "строгими" операторами. Обсуждается понятие "степень ответственности". |
Булычев, Владимир Александрович (кандидат физико-математических наук; доцент). Статистическое моделирование как средство развития информационной и математической культуры школьников [Текст] / В. А. Булычев> // Информатика в школе. - 2020. - № 8. - С. 4-11 : ил. - Библиогр.: с. 11 (11 назв.) . - ISSN 2221-1993
Рубрики: Образование. Педагогика Применение вычислительной техники в педагогике Методика преподавания учебных предметов Математика Математическая логика Кл.слова (ненормированные): Монте-Карло метод -- интерактивная математическая среда -- компьютерные программы -- математические конструкторы -- метод Монте-Карло -- методика обучения математике -- обучение программированию -- случайные выборки -- случайные числа -- статистическое моделирование Аннотация: Рассматривается использование статистического моделирования для развития информационной и математической культуры школьников. Приводится сравнительный анализ различных инструментов статистического моделирования: электронных таблиц, языков программирования, интерактивных математических сред. Выделено наиболее интересные теоретические вопросы, возникающие при проведении статистических экспериментов и доступные для изучения в школьном курсе математики. Рассмотрено несколько игр с вероятностным содержанием, демонстрирующих известные статистические парадоксы. Показано, как накопленные в процессе статистического моделирования навыки могут использоваться для изучения реальных ситуаций и выполнения на этой основе самостоятельных исследований и проектных работ. |