Доведення
Доведення у математиці — процедура, за допомогою якої встановлюють істинність гіпотези чи будь-якого твердження.
Цитати про доведення
ред.У самій лише математиці є наука і доведення у найточнішому і власному розумінні.[1] |
|||||
— Роберт Гросетест |
— Блез Паскаль |
Дуже важливо не приймати ніяких припущень без доведення, а ще важливіше не користуватися словами, якщо їм не надано певного смислу.[1] |
|||||
— Вільям Кліфорд |
— Давид Гільберт |
Доведення, яке не є строгим, — це ніщо.[1] |
|||||
— Анрі Пуанкаре |
У математиці немає і не може бути «напівдоведених» і «майже доведених» тверджень: або повноцінність аргументації — така, що ніякі суперечки про правильність доводжуваного твердження вже неможливі, або аргументація взагалі відсутня.[1] |
|||||
— Олександр Хінчин |
Математичне доведення наводиться так скрупульозно, що воно стає незаперечним і переконливим для кожного, хто тільки його зрозуміє... Однак строгість математики не абсолютна: вона розвивається, принципи математики не застигли раз назавжди, а рухаються і теж можуть бути і є об'єктом наукових суперечок.[1] |
|||||
— Олександр Александров |
Ми, математики, маємо напрочуд простий критерій істини. Доведення або є, або його немає.[1] |
|||||
— К. Урбанік |
У математиці немає авторитетів. Єдиний аргумент істинності — доведення.[1] |
|||||
— К. Урбанік |
Для строгого логіка неповне доведення — взагалі не доведення. І, звичайно, потрібно чітко розмежовувати неповні й повні доведення. Плутати їх одне з одним погано, а ще гірше приймати одне за друге.[1] |
|||||
— Дьордь Пойа |
Потрібно всіма засобами навчати мистецтву доведення, не забуваючи при цьому про мистецтво здогадуватися.[1] |
|||||
— Дьордь Пойа |
«Доведення від супротивного», яке так любив Евклід, є чи не найвитонченішою зброєю математика. Це набагато красивіший прийом, ніж будь-який шаховий гамбіт: шахіст, щоб добитися успіху, може пожертвувати пішака або навіть фігуру, математик же йде на ризик програшу всієї партії. [2] |
|||||
— Р.X. Харді |
Математичне твердження, справедливість якого встановлюється за допомогою міркувань, називають теоремою, а саме міркування називають доведенням теореми. |
Примітки
ред.