Интенсиональный модус в математическом дискурсе: "прыжок веры" и математическая практика
Анализ главных причин истинности геделева предложения. Связь допущения обоснованности или непротиворечивости формальной системы с неустранимым "прыжком" от размышлений о формальных теориях арифметики к эпистемологическим вопросам об обосновании веры.
Подобные документы
Структура сопоставимых нестандартных моделей. Программа Гильберта формализации математики и теорема Гёделя о неполноте. Формальный математический анализ теории числовых систем. Анализ нестандартной модели формальной арифметики и ее некатегоричность.
курсовая работа, добавлен 28.04.2022Аксиоматический метод в математике. Конъюнктивная и дизъюнктивная нормальные формы. Построение исчисления высказываний в виде формальной системы. Формализация математических теорий на языке первого порядка. Теорема о полноте. Алгоритмы и машина Тьюринга.
учебное пособие, добавлен 07.08.2013Введение полярных координат в качестве формальной системы координат. Раскрытие понятия полярной системы координат на плоскости и в пространстве и нахождение уравнения линий в полярных координатах. Связь между декартовыми и полярными координатами.
курсовая работа, добавлен 12.12.2016Рассмотрение и анализ сущности математической статистики, которая тесно связана с теорией вероятности и базируется на ее математическом аппарате. Исследование и характеристика главных особенностей биномиального распределения (распределения Бернулли).
контрольная работа, добавлен 28.11.2016Изучение построения фундамента для математики в XX в. Понятие истинности в математике, абсолютизация человеческих представлений о реальном мире. Формализация математической логики. Эквивалентность интуитивных и формальных доказательств в тезисе Гильберта.
реферат, добавлен 28.10.2018Получение дифференциальных уравнений, дополняющих математическую модель движения двухваерной траловой системы учетом изменения в процессе движения вытравленных ваеров. Математическое описание пространственного движения управляемого тралового комплекса.
статья, добавлен 23.06.2018Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
реферат, добавлен 28.11.2016Анализ результатов систематизации методов вычислительной оптимизации преобразования цветовых пространств на базе применения арифметики с фиксированной точкой. Характеристика принципов перехода от формата с плавающей к формату с фиксированной точкой.
статья, добавлен 07.03.2019Характеристика основной теоремы арифметики и ее роли. Рассмотрение различных колец, в которых она выполняется. Идея изучения математических объектов путем факторизации (разбиения) их на более простые математические объекты. Решение диофантовых уравнений.
статья, добавлен 20.05.2017Общее понятие интервальной арифметики — математической структуры, которая для вещественных интервалов определяет операции, аналогичные обычным арифметическим. Ее реализация с помощью электронных таблиц (Microsoft Excel, Calc), C++, CLIPS; примеры расчета.
статья, добавлен 06.06.2015- 11. Бутылка Клейна
Научная деятельность Ф. Клейна, его биография. Конструирование бутылки Клейна. Первое доказательство непротиворечивости геометрии Лобачевского как одно из важнейших достижений математика. Связь бутылки Клейна с лентой Мёбиуса и проективной плоскостью.
творческая работа, добавлен 02.03.2019 Особенность нахождения отношения эквивалентности на множестве А. Построение таблиц истинности для высказываний. Изучение замыкания над множеством булевой функции. Проведение исследования класса линейных функций. Нахождение максимального потока в сети.
курсовая работа, добавлен 05.12.2019Исследование причин возникновения "Неклассической теории погрешностей измерений". Обоснование адекватности принципов этой теории практике современных многократных наблюдений, что позволяет осуществлять анализ данных на более высоком математическом уровне.
статья, добавлен 05.03.2018Научные и инженерные расчеты как одна из важнейших сфер приложения компьютеров. Знакомство с основными особенностями реализации рациональной арифметики в системах символьной математики. Общая характеристика возможностей и преимуществ пакета Matlab.
реферат, добавлен 10.11.2020Історія виникнення і розвитку криптографії, класичні шифри. Криптосистема Діффі-Хеллмана. Протокол Фіата-Шаміра. Криптосистема Ель-Гамаля (навчальна). Система Рабіна з використанням модулярної арифметики. Таблиця Віженера для латинського алфавіту.
дипломная работа, добавлен 27.04.2020Алгебра логики как математическая основа преобразования логических функций. Основные свойства конъюнкции, дизъюнкции и отрицания. Методы составления таблицы истинности для импликации и сложения по модулю 2 совершенной дизъюнктивной нормальной формы.
курсовая работа, добавлен 29.04.2014- 17. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Процесс обоснования принятия принципа рефлексии в теории истины. Использование автономной прогрессии в случае выявления имплицитных допущений при принятии математической теории. Концепций истины и имплицитных допущений принятия математических теорий.
статья, добавлен 25.09.2020Сущность гипотез о дисперсии, которые играют важную роль в экономико-математическом моделировании, так как дают возможность судить о пригодности модели, на основании которой строится теория. Проверка статистической значимости коэффициента корреляции.
контрольная работа, добавлен 14.01.2012Использование исследовательской модели для выяснения потенциальных возможностей изучаемого объекта. Основные этапы и принципы разработки математической модели. Определение главных требований, которым должны удовлетворять модели реальных процессов.
статья, добавлен 08.12.2018Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012Аналіз алгоритмів виконання арифметичних операцій над цілими числами великого діапазону. Принципи побудови пристроїв "фібоначчієвої" цілочисельної арифметики. Розробка алгоритмів відображення раціональних чисел. Побудова перетворювачів кодів і чисел.
автореферат, добавлен 18.11.2013Исследование особенностей математической индукции, одного из методов доказательства истинности некоего утверждения для всех натуральных чисел. Характеристика аксиомы Пеано, аксиомы существования минимума, доказательства аксиомы индукции как теоремы.
статья, добавлен 25.01.2012История возникновения математической логики. Основное содержание, формулы, элементы, символы. Таблицы истинности, логические функции, основные логические операции. Законы логики и упрощение логических выражений. Решения задач по математической логике.
реферат, добавлен 06.06.2012