2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему
 
 Аксиоматика - нужен совет
Сообщение18.02.2014, 23:46 


26/11/13
29
Можно совет от разбирающихся людей?
Судя по всему(личные представления и вроде как Гёдель) докопаться до "аксиом всей математики" то ли невозможно, то ли очень трудно(но скорее первое).

Но! Было бы очень неплохо взять некую систему, на которой многое держится, и от неё фигачить силлогизмы
Какие книги вы порекомендуете, чтобы прямо вот теоремками от самого низа до основных всех математических объектов (например до теории чисел, и до классического анализа, и до геометрий, до всякой дискретки, и до тервера - последнее самое главное)
Я понимаю, что это моя обязанность - всё по полочкам расфасовывать, но вдруг есть что подобное.

Я немного читал Бурбаки(теорию множеств, в основном), однако вроде как они устарели (в чём? - тоже вопрос)
Какие есть аналоги? - очень хочется почитать стройную систему не путать причину и следствие

Цель - наведение порядка в мозге, в котором много всякой всячины.

Ещё вопрос - где можно почитать про сами аксиоматики и их проблемы (на качественном уровне хотя бы, что бы представлять что есть что)

 Профиль  
                  
 
 Re: Аксиоматика - нужен совет
Сообщение19.02.2014, 20:38 
Аватара пользователя


23/03/13
150
Идея Николы Бурбаки состояла в унификации архитектуры всей математики. Однако, я согласен с Muninом в том, что «эта программа была реализована во второй трети 20 века, и тогда же – сметена бурным валом новых тенденций. Так что сегодня математика существует уже в пост-бурбакистском мире, и возможно даже, в пост-пост-бурбакистском». Я думаю, что сейчас теория множеств является единым фундаментом преобладающей части современной математики. Однако, идея механического формального вывода из аксиоматики представляется мне малоперспективной, как для получения существенных математических результатов, так и их понимания (и, таким образом, мало способствуют наведению порядка в голове). Формальный вывод из простых аксиом формальной арифметики даже таких элементарных вещей как коммутативность умножения натуральных чисел весьма громоздок. Сейчас обычно доказательства, получаемые и принимаемые работающими математиками в какой-либо области математики хоть и являются дедуктивными следствиями из предыдущих аксиом и теорем, но их строгость состоит не в формальном выводе, а в их соответствии математической интуиции – правильным способам математического рассуждения в данной области. И хотя разные области математики могут иметь различные собственные интуиции, но единый фундамент математики позволяет использовать результаты из одной ее области в другой, например, из топологии в функциональном анализе.


Цитата:
Какие книги вы порекомендуете, чтобы прямо вот теоремками от самого низа до основных всех математических объектов (например до теории чисел, и до классического анализа, и до геометрий, до всякой дискретки, и до тервера - последнее самое главное)

С учетом написанного выше и ограниченности моего знания математики, я могу предложить Вашему вниманию следующие книги, которые можно поискать, например, здесь: Р. Энгелькинг «Общая топология», Карл Фейс «Алгебра: кольца, модули и категории», А. Н. Колмогоров, С. В. Фомин «Элементы теории функций и функционального анализа», Николай Владимирович Ефимов «Высшая геометрия». Первые три книги имеют теоретико-множественное введение. Я думаю, что подобные книги по теорверу тоже должны быть, поскольку есть аксиоматика Колмогорова теории вероятностей.

Цитата:
где можно почитать про сами аксиоматики и их проблемы (на качественном уровне хотя бы, что бы представлять что есть что)

Я могу предложить Вашему вниманию нигу Карла Подниекса «Вокруг теоремы Геделя». Я смутно припоминаю, что в ней были некоторые ляпы, но мне кажется, что, в общем, книга читабельная.

 Профиль  
                  
 
 Re: Аксиоматика - нужен совет
Сообщение19.02.2014, 22:06 


18/06/10
323
Э. Мендельсон. Введение в математическую логику.

 Профиль  
                  
 
 Re: Аксиоматика - нужен совет
Сообщение19.02.2014, 22:47 
Заслуженный участник
Аватара пользователя


11/12/05
10056
Yorick в сообщении #828252 писал(а):
Было бы очень неплохо взять некую систему, на которой многое держится, и от неё фигачить силлогизмы
Вроде бы компьютерные системы, которые "фигачат силлогизмы" уже давно существуют: http://en.wikipedia.org/wiki/Automated_theorem_proving

Другой вопрос - насколько эти силлогизмы содержательны?

 Профиль  
                  
 
 Re: Аксиоматика - нужен совет
Сообщение19.02.2014, 23:35 


19/12/09
428
Stan Slapenarski в сообщении #828601 писал(а):
Идея Николы Бурбаки состояла в унификации архитектуры всей математики. Однако, я согласен с Muninом в том, что «эта программа была реализована во второй трети 20 века, и тогда же – сметена бурным валом новых тенденций. Так что сегодня математика существует уже в пост-бурбакистском мире, и возможно даже, в пост-пост-бурбакистском». Я думаю, что сейчас теория множеств является единым фундаментом преобладающей части современной математики. Однако, идея механического формального вывода из аксиоматики представляется мне малоперспективной, как для получения существенных математических результатов, так и их понимания (и, таким образом, мало способствуют наведению порядка в голове). Формальный вывод из простых аксиом формальной арифметики даже таких элементарных вещей как коммутативность умножения натуральных чисел весьма громоздок. Сейчас обычно доказательства, получаемые и принимаемые работающими математиками в какой-либо области математики хоть и являются дедуктивными следствиями из предыдущих аксиом и теорем, но их строгость состоит не в формальном выводе, а в их соответствии математической интуиции – правильным способам математического рассуждения в данной области. И хотя разные области математики могут иметь различные собственные интуиции, но единый фундамент математики позволяет использовать результаты из одной ее области в другой, например, из топологии в функциональном анализе.

Есть же Унивалентные основания математики. Там как раз собираются бремя доказательств переложить на плечи компьютеров и вроде бы дела у филдсовского лауреата Воеводского продвигаются неплохо. Недавно книгу закончил: Воеводский. Homotopy Type Theory - Univalent Foundations of Mathematics. 2013
Мне вывод коммутативности умножения натуральных чисел показался абсолютно прозрачным, буквально шесть строчек, если не считать переносы стр. 92 Феферман. Числовые системы. Но это ладно, наверно вы хотели сказать про построение всей числовой системы натуральных чисел. Но там нет ничего сложного и не такая уж она и большая. Но я не про это. Ведь нет необходимости все все время доказывать с нуля из начальных аксиом. Можно ведь уже пользоваться раз таким способом доказанным как готовым кирпичом, вернее так и происходит на практике. Вы наверно хотели сказать о совместности дополнительных посылок в существующих теориях с аксиомами, нет?

 Профиль  
                  
 
 Re: Аксиоматика - нужен совет
Сообщение20.02.2014, 00:00 
Заслуженный участник
Аватара пользователя


11/12/05
10056

(Шизофазия?)

Tor в сообщении #828641 писал(а):
Мне вывод коммутативности умножения натуральных чисел показался абсолютно прозрачным, буквально шесть строчек, если не считать переносы стр. 92 Феферман. Числовые системы. Но это ладно, наверно вы хотели сказать про построение всей числовой системы натуральных чисел. Но там нет ничего сложного и не такая уж она и большая. Но я не про это. Ведь нет необходимости все все время доказывать с нуля из начальных аксиом. Можно ведь уже пользоваться раз таким способом доказанным как готовым кирпичом, вернее так и происходит на практике. Вы наверно хотели сказать о совместности дополнительных посылок в существующих теориях с аксиомами, нет?

http://ru.wikipedia.org/wiki/Шизофазия

 Профиль  
                  
 
 Re: Аксиоматика - нужен совет
Сообщение20.02.2014, 00:21 


19/12/09
428

(Мы вас и от этого вылечим)

Dan B-Yallay
Что опять нечего сказать по-существу? Обидно? Привыкайте. :lol:

 Профиль  
                  
 
 Re: Аксиоматика - нужен совет
Сообщение20.02.2014, 00:23 
Админ форума
Аватара пользователя


19/03/10
8952
Dan B-Yallay в сообщении #828649 писал(а):
http://ru.wikipedia.org/wiki/ Шизофазия
 !  Dan B-Yallay, замечание за личные выпады.

 Профиль  
                  
 
 Re: Аксиоматика - нужен совет
Сообщение20.02.2014, 00:48 
Заслуженный участник
Аватара пользователя


11/12/05
10056
Tor в сообщении #828653 писал(а):
Что опять нечего сказать по-существу? Обидно? Привыкайте.
По существу темы, открытой ТС, я уже высказался.
На что, кого обижаться? К чему надо привыкать? У вас снова что-то с логикой.
А то что ваш пост у меня ассоциируется с чем-то посторонним - примите мои извинения. Виноват, не сдержался, уж очень напоминает.
За что и получил справедливое преду.... замечание.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group