Рейтинг: 0 из 5 звезд
0 оценок
Электронная книга154 страницы3 часа
Обратная математика. Доказательства, вывернутые наизнанку
Автор Дж. Стилуэлл
Рейтинг: 0 из 5 звезд
()
Об этой электронной книге
Эта книга — первое изложение обратной математики для аудитории, состоящей из математиков общего профиля. Обратная математика — новая дисциплина, которая «выворачивает наизнанку» традиционную математическую логику: ее цель — не вывод теорем, а поиск аксиом, которые позволяют доказать известные теоремы.
Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Придерживаясь исторического взгляда на обратную математику, он описывает два ставших возможными благодаря ей направления развития. Первое — проект арифметизации анализа, предпринятый в XIX веке с целью определить все понятия анализа в терминах натуральных чисел и их множеств. Второе — выполненная в XX веке арифметизация математической логики и понятия вычисления. Таким образом, арифметика в некотором смысле лежит в основе анализа, логики и вычислений. Обратная математика опирается на эту идею, рассматривая анализ как арифметику, дополненную аксиомами существования бесконечных множеств.
Книга будет интересна как студентам старших курсов, так и специалистам, интересующимся основаниями математики.
Джон Стилуэлл рассказывает о том, как найти «правильные» аксиомы для доказательства фундаментальных теорем. Придерживаясь исторического взгляда на обратную математику, он описывает два ставших возможными благодаря ей направления развития. Первое — проект арифметизации анализа, предпринятый в XIX веке с целью определить все понятия анализа в терминах натуральных чисел и их множеств. Второе — выполненная в XX веке арифметизация математической логики и понятия вычисления. Таким образом, арифметика в некотором смысле лежит в основе анализа, логики и вычислений. Обратная математика опирается на эту идею, рассматривая анализ как арифметику, дополненную аксиомами существования бесконечных множеств.
Книга будет интересна как студентам старших курсов, так и специалистам, интересующимся основаниями математики.
Связано с Обратная математика. Доказательства, вывернутые наизнанку
Похожие электронные книги
Анализ данных в науке и технике Что такое наука, и как она работает Рейтинг: 0 из 5 звезд0 оценокСбор данных в Интернете на языке R Рейтинг: 0 из 5 звезд0 оценокМатериаловедение: 10 главных идей Рейтинг: 0 из 5 звезд0 оценокРегрессия: теория и практика. C примерами на R и Stan Рейтинг: 0 из 5 звезд0 оценокКомпьютерное зрение. Теория и алгоритмы Рейтинг: 0 из 5 звезд0 оценокКрасота простой физики Рейтинг: 0 из 5 звезд0 оценокВведение в UML от создателей языка Рейтинг: 0 из 5 звезд0 оценокПрограммирование компьютерного зрения на языке Python Рейтинг: 0 из 5 звезд0 оценокЗамечательные научные теории Рейтинг: 0 из 5 звезд0 оценокЖемчужина Эйлера Рейтинг: 0 из 5 звезд0 оценокСтатистический анализ и визуализация данных с помощью R Рейтинг: 0 из 5 звезд0 оценокОсновы нечеткой технологии и примеры решения аналитических задач в государстве и бизнесе Рейтинг: 0 из 5 звезд0 оценокАлгоритмы Рейтинг: 0 из 5 звезд0 оценокВероятностные графовые модели. Принципы и приложения Рейтинг: 0 из 5 звезд0 оценокИскусство доказательства в математике Рейтинг: 0 из 5 звезд0 оценокЗа кулисой мироздания Рейтинг: 0 из 5 звезд0 оценокСтруктура и интерпретация классической механики Рейтинг: 0 из 5 звезд0 оценокЧисто функциональные структуры данных Рейтинг: 0 из 5 звезд0 оценокИскусство неизменяемой архитектуры: теория и практика управления данными в распределенных системах Рейтинг: 0 из 5 звезд0 оценокАлгоритмы биоинформатики Рейтинг: 0 из 5 звезд0 оценокЦифровая схемотехника и архитектура компьютера: RISC-V Рейтинг: 0 из 5 звезд0 оценокЭлектронные схемы и системы Рейтинг: 0 из 5 звезд0 оценокГлубокое обучение с R и Keras Рейтинг: 0 из 5 звезд0 оценокСкользкие места С++. Как избежать проблем при проектировании и компиляции ваших программ Рейтинг: 0 из 5 звезд0 оценокКомпьютерные системы: архитектура и программирование Рейтинг: 0 из 5 звезд0 оценокПостроение систем машинного обучения на языке Python Рейтинг: 0 из 5 звезд0 оценокPython. Сборник упражнений Рейтинг: 0 из 5 звезд0 оценокПрогнозирование: принципы и практика Рейтинг: 0 из 5 звезд0 оценокСистемная инженерия. Принципы и практика Рейтинг: 0 из 5 звезд0 оценок
«Математика» для вас
Математика с дурацкими рисунками: Идеи, которые формируют нашу реальность Рейтинг: 0 из 5 звезд0 оценокМагия математики: Как найти икс и зачем это нужно Рейтинг: 0 из 5 звезд0 оценокИнстаграм в кредит: как поднять от 0 до 1000 000 Рейтинг: 0 из 5 звезд0 оценокМатематические трюки для быстрого счёта Рейтинг: 0 из 5 звезд0 оценокФормулы на все случаи жизни: Как математика помогает выходить из сложных ситуаций Рейтинг: 0 из 5 звезд0 оценокСтратегии решения математических задач: Различные подходы к типовым задачам Рейтинг: 0 из 5 звезд0 оценокВремя переменных: Математический анализ в безумном мире Рейтинг: 0 из 5 звезд0 оценокОзадачник: 133 вопроса на знание логики, математики и физики Рейтинг: 0 из 5 звезд0 оценокГеометрия для Родителей Рейтинг: 0 из 5 звезд0 оценок
Связанные категории
Отзывы о Обратная математика. Доказательства, вывернутые наизнанку
Рейтинг: 0 из 5 звезд
0 оценок
0 оценок0 отзывов
Предварительный просмотр книги
Обратная математика. Доказательства, вывернутые наизнанку - Дж. Стилуэлл
Нравится краткая версия?
Страница 1 из 1