Почему же "математическая логика" так и не формализовала "математический анализ"? Нет даже аксиом матанализа? В чём дело

10 года назад от иван павлов

1 ответ

0 голосов
Почему же "математическая логика" так и не формализовала "математический анализ"?
А задача математической логики совсем нев этом. Ее задача - показать, как можно доказывать теоремы и как нельзя. И как определить непротиворечивость аксиом.
 Нет даже аксиом матанализа
Может плохо искали? Аксиомы арифметики Пеано - база матанализа, весь анализ строится на понятии числа. А сечения Дедекинда? Читайте Фихтенгольца.
10 года назад от GerDurr

Связанные вопросы

1 ответ
Где тут плюс а где минус?
1 год назад от мудистр всех наук
1 ответ
Химия - это зло
6 года назад от Sakur@ Skorpion WIND
2 ответа
Здравствуйте, имею трансф, но первичка 180В; R 3ом. Можно изобразить делитель напр, что бы включать от сети 220В.
8 года назад от Dima Tsatskin