Метод проверки корректности доказательств

Guf96rUS

Кто знает, где найти информацию о таком методе доказательства:
Док-во А, которое следует проверить, особым образом "разбавляем водой" и получаем доказательство А*.
Далее корректность А доказываем на основании следующего факта:
1. Если А верно, то с высокой вероятностью любая часть А* верна.
2. Если в А допущена ошибка, то с высокой вероятностью любая часть А* содержит ошибку.
То есть выбирается любая часть А*, корректность её проверяется вручную и на основании утверждений 1 и 2 выносится вердикт

Lokomotiv59

Что-то сомнительно, что это может быть проще, чем проверка "в лоб". А речь идет о проверке с достоверной точностью или чтоб большинство переходов было применено по правилу?
И вообще под доказательством, надеюсь, понимается вывод некоторой формулы в логике первого порядка?

olegbek

Если в А допущена ошибка, то с высокой вероятностью любая часть А* содержит ошибку.
это, с т. зр. статистической проверки гипотез- сомнительно..
Да и аристотелевская логика из частноотрицательных суждений не рекомендует делать общеотрицательные выводы..

zuzaka

нечто подобное (но не совсем) было очерчено в одной из работ Катречко (это философ такой)

traffic_speed

Катречко (это философ такой)
чекнутый придурок, ведущий у несчастной половины ММ?
Он не только с логикой как наукой, он и с головой- то не дружит..
Строго научный подход, опираясь на работы идиота- ну, это ты загнул..
Только если потом защищаться (диплом,курсовик) на кафедре социальной философии философского фак-та..

zuzaka

я ничего не говорил про научный подход в статье была пара-тройка страниц без единого примера, общий треп. Но возможно, по ссылкам удастся найти что-то полезное

Guf96rUS

Это так называемый полуавтоматический метод докозательства корректности выводов (автоматически выполняется получение доказательства А*). Он неточный, но корректный с большой вероятностью. Прочитал про его существование в "Энциклопедии для детей - Математика" от "Аванта". Теперь хочу докопаться до истоков

kravecnata

Похоже, речь идёт о PCP-теореме - самом важном, наверное, достижении теории сложности вычислений за последние десять лет. Не знаю, есть ли хорошие популярные изложения, но можно много нагуглить по словам holographic proofs и PCP theorem.

iri3955

Гы. Видел там же и больше нигде. Там пример с солёной водой приведён, но на математику чё-то не перекладывается
Оставить комментарий
Имя или ник:
Комментарий: