Математики, можно ли, манипулируя аксиомами, узреть новую теорему? Как появляются формулировки теорем? Как догадки?

Question

Или как награда за изнурительную работу с аксиомами в рамках Аксиоматического подхода?

Answer 1

Это неправильный вопрос. . Всё как раз совсем наоборот - аксиомы подбираются под уже сформулированные теоремы! !
Ну а формулировки теорем - это изначально откровенная чушь (см, например оригиналы записок Менделева относительно периодической таблицы элементов) , ну а потом эта чушь шлифуется для сответствия с устоявшейся научной доктриной
Шо там за награда, и шо там за аксиоматический там подход - я без малейшего понятия)

Answer 2

"Слова, написанные или произнесенные, не играют, видимо, ни малейшей роли в механизме моего мышления. Психическими элементами мышления являются некоторые, боле или мене ясные, знаки или образы, которые могут быть «по желанию» воспроизведены и скомбинированы. . Элементы, о которых я только что говорил, у меня бывают обычно визуального или изредка двигательного типа. Слова или другие условные знаки приходится подыскивать (с трудом) только во вторичной стадии, когда эта игра ассоциаций дала некоторый результат и может быть по желанию воспроизведена. "
Эйнштейн

Answer 3

Как я уже писал в комментариях к Вашему вопросу про Евклидову геометрию, существует такая интересная штука, как теоремы Гёделя "о неполноте".

Первая из них доказывает, что в любой непротиворечивой формальной системе, в которой можно определить натуральные числа, 0, 1, сложение и умножение, существует невыводимая и неопровержимая теорема.

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

Т. е. с помощью конечного числа аксиом невозможно построить полную непротиворечивую формальную систему, включающую в себя арифметику.

Вывод: аксиоматический подход в принципе НЕ ПРИМЕНИМ для построения "полной" математики.