Идея написать этот текст возникла у меня в результате дискуссий по поводу вещей, связанных с детерминизмом и вероятностными подходами. Многое из того, что я здесь напишу, давно и хорошо известно. Однако мне представляется небесполезным остановиться ещё раз на этих вопросах, так как частенько приходится сталкиваться с путаницей, которая имеет место
(
Read more... )
Reply
Reply
Reply
я так тоже могу: "это верно потому, что верно" - какое же это доказательство (т.е. скрытые параметры) - понятно, что никакой гедель против такой аргументации не устоит - как Вы сами, кстати, и заметили. Это просто логический круг. Еще есть такой способ теоремы доказывать:
"конечно верно! а докажи, что это не так, а?" Да ...
А про теорему Неймана написано у Манина "Доказуемое недоказуемое", "Вычислимое невычислимое" (в пятерке моих любимых книжек!).
Reply
(The comment has been removed)
Reply
Reply
Reply
Reply
Leave a comment