Коварство амбициозной самодостаточности. В защиту адекватного понимания бесконечности, парадокса "Лжец" и диагонального метода Кантора

Анализ проблемы парадоксов логики и математики, основанной на "физическом" моделировании парадокса "Лжец" на аналоговой вычислительной машине. Изучение понятия актуальной бесконечности и некоторых аспектов применения диагонального метода Кантора.

Рубрика Математика
Вид статья
Язык русский
Дата добавления 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

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.