AM
Окей, тогда что такое "доказательство"?
Доказа́тельство — рассуждение по определённым логическим правилам, обосновывающее истинность какого-либо предположения, утверждения, гипотезы или теории.
Size: a a a
2020 June 14
AM
Вот. Цитата с вики, что бы не выдумывать
CC
Из этого определения не вытекает ничего полезного. Какова структура, какие критерии полноты доказательства и тд
AM
Из этого определения не вытекает ничего полезного. Какова структура, какие критерии полноты доказательства и тд
Щяс я тебе попытаюсь найти свои слайды по этому поводу. Минутку
CC
Какие-то рассуждения, по каким-то правилам, обосновывающее истинность(каким образом?)
CD
@webreh, возник вопрос. Что такое доказательство? Оно может быть НЕ субъективным?
А что ты доказываешь?
CD
Там вроде учили, что три типа пруфов - к истине, к авторитету и к толпе
CC
Там вроде учили, что три типа пруфов - к истине, к авторитету и к толпе
К истине(
CC
А что ты доказываешь?
Вот это клевый вопрос
CC
Вот и грю шо в современном мире(да и раньше) работает доказательство убеждением
CD
А куды деваться
CD
К истине это надо либо матан, либо божественное откровение
CC
Там же и матан также доказывают(
CC
"Очевидно, что из (15) следует - ..."
CD
Ну автоматическую верификацию докрутят
CC
Обычно, кстати именно в этих кусках проебаное доказательство
CC
Ну автоматическую верификацию докрутят
Там сложно, они пока что лишь хуйню доказывать могут(
CC
Верифицировать*
CD
Ну пусть докручивают :)
CC
Крч, доказательство является верным с точностью до уровня доебчивости аудитории которая верифицирует доказательство