Источник: Словарь афоризмов русских писателей. Составители: А. В. Королькова, А. Г. Ломов, А. Н. Тихонов
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Все значения словосочетания «математическое доказательство»Строгость математических доказательств, непреложность получаемых с их помощью выводов, незыблемость математических истин вошли в поговорку.
А если вы из тех, кому хочется докопаться до самой сути и понять принцип действия этих методов, загляните на последние страницы – там вы найдёте математические доказательства.
Пифагор успешно разрабатывал различного рода математические доказательства.