Нестандартный анализ: различия между версиями

м
[непроверенная версия][непроверенная версия]
 
По сути же, формальная теория нестандартного анализа есть консервативное расширение классической, т.е. любое суждение классической математики, доказанное с помощью нестандартного анализа, может быть доказано и без использования новых методов.
Тем не менее, есть одно технически полезное "классическое" представление нестандартных чисел, которое дают т.н. ''[[дуальные числа]]'', т.е. числа вида '''<math>a+\varepsilon * b</math>''', где <math>\varepsilon^2=0</math>).
 
== Приложения ==