Коварство амбициозной самодостаточности. В защиту адекватного понимания бесконечности, парадокса "Лжец" и диагонального метода Кантора
Анализ проблемы парадоксов логики и математики, основанной на "физическом" моделировании парадокса "Лжец" на аналоговой вычислительной машине. Изучение понятия актуальной бесконечности и некоторых аспектов применения диагонального метода Кантора.
| Рубрика | Математика |
| Предмет | Логика |
| Вид | статья |
| Язык | русский |
| Прислал(а) | А.А. Зенкин |
| Дата добавления | 16.01.2018 |
| Размер файла | 65,5 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Свойство, устранение и объяснение парадоксов в математике. Логический парадокс "Лжец" Эвбулида из Милета (IV в. до н.э.). Парадокс Греллинга, связанный с прилагательными. Парадоксы с множествами, парадоксы-петли. Проблемы парадоксов в математике.
контрольная работа [34,1 K], добавлен 30.01.2010Свойства множества Кантора. Исследование заданной функции на непрерывность. Выражение множества B (кладбище Серпинского) и D (гребёнка Кантора) через множество Кантора. Свойства и построение всюду непрерывной, но нигде не дифференцируемой функции.
курсовая работа [1,1 M], добавлен 24.06.2015Философский подход к количественной характеристике и ее переходу к качественной категории. Математический анализ гегелевской логики теории непрерывности. Определение числа посредством бесконечности. Сущность и значение метода дифференциального исчисления.
реферат [35,4 K], добавлен 14.08.2015Применение способа решета Эратосфена для поиска из заданного ряда простых чисел до некоторого целого значения. Рассмотрение проблемы простых чисел-близнецов. Доказательство бесконечности простых чисел-близнецов в исходном многочлене первой степени.
контрольная работа [66,0 K], добавлен 05.10.2010Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа [133,5 K], добавлен 08.06.2010Определение понятия множеств Г. Кантора, их примеры и обозначения. Способы задания, включение и равенство множеств, операции над ними: объединение, пересечения, разность, дополнение, их определение и наглядное представление на диаграмме Эйлера-Венна.
реферат [70,9 K], добавлен 11.03.2009Анализ логических ошибок с помощью E-структур. Коллизиями E-структуры: коллизии парадокса и цикла. Основные методы анализа рассуждений. Построение графа рассуждения и применение к посылкам правила контрапозиции. Корректные и некорректные E-структуры.
контрольная работа [188,6 K], добавлен 04.09.2010История возникновения и развития математической логики как раздела математики, изучающего математические обозначения и формальные системы. Применение математической логики в технике и криптографии. Взаимосвязь программирования и математической логики.
контрольная работа [50,4 K], добавлен 10.10.2014Простые числа-близнецы - числа, находящиеся на расстоянии друг от друга в 2 единицы.
научная работа [65,3 K], добавлен 12.07.2008Понятие интерполяций функций и их роль в вычислительной математике. Рассмотрение метода интерполяции кубическими сплайнами, составление алгоритма и программного модуля. Описание тестовых примеров. Достоинства и недостатки метода сплайн-интерполяции.
курсовая работа [195,1 K], добавлен 08.06.2013
