пригодным для машинной математики (для доказательства теорем), являясь методом
хотя и использовался в истории математики, является единственным принципом,
что иное, как "метод бесконечного спуска", которым так гордился
Автор полагает, что принцип полной редукции есть ни
используя принцип полной редукции, нетрудно доказать, что некоторое положение
полной индукции можно доказать СУЩЕСТВОВАНИЕ некоторого математического ВЫВОДА.
памяти моего учителя Петра Сергеевича Новикова - посвящаю.
О ДОКАЗАТЕЛЬСТВЕ ПОСЛЕДНЕЙ ТЕОРЕМЫ ФЕРМА
Комментариев нет:
Отправить комментарий