Приведите характеристики формализованного доказательства

Формализованное доказательство – это доказательство, записанное на специальном искусственном – формализованном – языке. Он имеет точно установленную структуру, благодаря чему процесс доказательства сводится к элементарным операциям со знаками. Формализованное доказательство– это идеальное и неоспоримое доказательство. Формализация может осуществляться с разной степенью полноты. Полная формализация теории имеет место тогда, когда совершенно отвлекаются от содержательного смысла исходных понятий и положений теорий и перечисляют все правила логического вывода, используемые в доказательствах. В формализованной теории доказательство не требует обращения к каким-либо интуитивным представлениям. Оно является последовательностью формул, каждая из которых либо аксиома, либо получается из аксиомы по правилам вывода. Проверка такого доказательства превращается в механическую процедуру и может быть передана вычислительной машине. Формализация играет существенную роль в уточнении научных понятий. Многие проблемы не могут быть не только решены, но даже сформулированы и поставлены, пока не будут формализованы связанные с ними рассуждения.

102. Дайте определение категории «гипотеза».

Гипотеза (от греч. hipothesis - основание, предположение) - положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Как предположительное, вероятное знание, еще не доказанное логически и не настолько подтвержденное опытом, чтобы считаться достоверным, гипотеза не истинна и не ложна. О ней можно сказать, что она неопределенна, лежит между истиной и ложью. Получив подтверждение, гипотеза превращается в истину и на этом прекращает свое существование. Опровергнутая гипотеза становится ложным положением и опять-таки перестает быть гипотезой. Гипотеза выдвигается в науке для решения некоторой конкретной проблемы: объяснения новых фактических данных, устранения противоречия теории с отрицательными результатами экспериментов и т. п.