Создан заказ №3817097
3 апреля 2019
РАВНООБЬЕМНОСТЬ ЛОГИЧЕСКИХ СИСТЕМ ЕСТЕСТВЕННОГО ВЫВОДА И ОДНОИМЕННЫХ АКСИОМАТИЧЕСКИХ ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ(СИС
Как заказчик описал требования к работе:
Нужно доказать теорему о равнообъемности обязательно
Фрагмент выполненной работы:
ВВЕДЕНИЕ
Математическая логика по сути является формальной логикой, использует математические методы. Формальная логика изучает акты мышления (понятия, суждения, умозаключения, доказательства) с точки зрения их формы, логической структуры, абстрагируясь от конкретного содержания. Создателем формальной логики является Аристотель, а первую завершенную систему математической логики на базе строгой логико-математического языка - алгебру логики, - предложил Дж. (работа была выполнена специалистами author24.ru) Буль (1815-1864).
Логико-математические языки и теория их смысла развиты в работах Г. Фреге (1848-1925), который ввел понятие предиката и кванторов. Это позволило применить логико-математические языки к вопросам основ математики. Изложение целых разделов математики на языке математической логики и аксиоматизация арифметики сделаны Дж. Пеано (1858-1932). Грандиозная попытка Г. Фреге и Б. Рассела (1872-1970) сведение всей математики к логике не достиг основной цели, но привела к созданию богатого логического аппарата, без которого оформление математической логики как полноценного раздела математики было бы невозможно.
На рубеже 19-20 вв. были открыты парадоксы, связанные с основными понятиями теории множеств (наиболее известными являются парадоксы Г. Кантора и Б. Рассела). Для выхода из кризиса Л. Брауэр (1881-1966) выдвинул интуиционистское программу, в которой предложил отказаться от актуальной бесконечности и логического закона исключенного третьего, считая допустимыми в математике только конструктивные доказательства. Другой путь предложил Д. Гильберт (1862-1943), который в 20-х годах 20 в. выступил с программой обоснования математики на базе математической логики.
Программа Гильберта предусматривала построение формально-аксиоматических моделей (формальных систем) основных разделов математики и дальнейшее доведение их непротиворечивости надежными финитными средствами. Непротиворечивость означает невозможность одновременного вывода некоторого утверждения и его отрицания. Таким образом, математическая теория, непротиворечивость которой хотим доказать, становится предметом изучения определенной математической науки, которую Д. Гильберт назвал метаматематику, или теорией доказательств. Именно по разработке Д. Гильбертом и его учениками теории доказательств на базе развитой в работах Г. Фреге и Б. Рассела логического языка начинается становление математической логики как самостоятельной математической дисциплины.
Актуальность выбранной темы: все чаще и чаще звучат идеи построения систем искуственного интеллекта для решения различных задач научной, хозяйственной, учебной и других сфер. Без знания и понимания логического аппарата – основной математики ЭВМ, становится невозможной какая-либо разработка в сфере высоких компьютерных технологий. Таким образом, очень актуально на сегодняшний день стоит вопрос изучения логического аппарата.
Цель работы: рассмотреть доказательсва равнообъемности логических систем естественного вывода и одноименных аксиоматических логических исчислений
Объект исследования: логические системы естественного вывода и аксиоматические логические исчисления
Предмет исследования: отношение между логическими системами естественного вывода и аксиоматическими логическими исчислениямиПосмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией для внесения правок на основе комментариев преподавателя
6 апреля 2019
Заказ завершен, заказчик получил финальный файл с работой
5
РАВНООБЬЕМНОСТЬ ЛОГИЧЕСКИХ СИСТЕМ ЕСТЕСТВЕННОГО ВЫВОДА И ОДНОИМЕННЫХ АКСИОМАТИЧЕСКИХ ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ(СИС.docx
2020-05-16 09:27
Последний отзыв студента о бирже Автор24
Общая оценка
4.6
Положительно
Работа выполнена качественно и досрочно, что в текущей ситуации редкость. Большое спасибо автору.
Хочешь такую же работу?
300 ₽
