2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 О "неполноте" вероятностной аксиоматики Колмогорова
Сообщение21.09.2015, 21:54 
Возьмём две псевдотеоремы:

1. Если два события А и B независимы и достоверно известно, что наступление события А невозможно, а следовательно и совместное наступление событий А и B также невозможно, то вероятность того, что событие В может наступить равно 0.
2. Если два события А и B независимы и достоверно известно, что наступление события А невозможно, а следовательно и совместное наступление событий А и B также невозможно, то вероятность того, что событие В может наступить равно 1.

Вопрос не в том, какая из вышеуказанных псевдотеорем является "истинной", т.к. они обе в вероятностной аксиоматике Колмогорова истинны, а в том, считать ли достоверным огульное утверждение Гёделя о якобы "неполноте" формальных систем при обнаружении в них двух высказываний, совпадающих в части аргументации и "взаимоисключающих" в части вывода?

Потому что по Гёделю можно было бы с таким же успехом и алгебру объявить "неполноценной", поскольку два высказывания:

1. Результат корня квадратного из действительного числа положителен
2. Результат корня квадратного из действительного числа отрицателен

в результативной части вывода "взаимоисключающи".

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

Суть в том, что если корней более одного, т.е. высказывание в части вывода неоднозначно, то вероятность "неполноты" по Гёделю становится "достоверной".

 
 
 
 Re: О "неполноте" вероятностной аксиоматики Колмогорова
Сообщение21.09.2015, 22:04 
Аватара пользователя
Тут кто-то где-то либо теорему Гёделя не понимает, либо определение полноты, либо отрицания строить не умеет, либо всё вместе. Сложная история, в общем.

 
 
 
 Re: О "неполноте" вероятностной аксиоматики Колмогорова
Сообщение21.09.2015, 22:29 
kp9r4d в сообщении #1055663 писал(а):
Тут кто-то где-то либо теорему Гёделя не понимает, либо определение полноты, либо отрицания строить не умеет, либо всё вместе. Сложная история, в общем.


Я так предполагаю, что тот кто "всё" понимает, не стал бы свои "понятия" делать предметом дискуссии? Ведь если и так всё ясно и понятно, то какого тогда обсуждать?

 
 
 
 Re: О "неполноте" вероятностной аксиоматики Колмогорова
Сообщение21.09.2015, 22:35 
Reshetov в сообщении #1055657 писал(а):
1. Если два события А и B независимы и достоверно известно, что наступление события А невозможно, а следовательно и совместное наступление событий А и B также невозможно, то вероятность того, что событие В может наступить равно 0.
2. Если два события А и B независимы и достоверно известно, что наступление события А невозможно, а следовательно и совместное наступление событий А и B также невозможно, то вероятность того, что событие В может наступить равно 1.

Вопрос не в том, какая из вышеуказанных псевдотеорем является "истинной", т.к. они обе в вероятностной аксиоматике Колмогорова истинны,

Давайте начнем с обоснования, почему они обе истинны. Гёделя - потом как-нибудь.

 
 
 
 Re: О "неполноте" вероятностной аксиоматики Колмогорова
Сообщение21.09.2015, 22:51 
Reshetov в сообщении #1055657 писал(а):
Суть в том, что если корней более одного, т.е. высказывание в части вывода неоднозначно, то вероятность "неполноты" по Гёделю становится "достоверной".
"Вероятность неполноты становится достоверной".
Будем обсуждать?

-- Пн сен 21, 2015 22:52:35 --

kp9r4d в сообщении #1055663 писал(а):
Тут кто-то где-то либо теорему Гёделя не понимает, либо определение полноты, либо отрицания строить не умеет, либо всё вместе.
Тут человек не понимает, что вот такие штуки
Reshetov в сообщении #1055657 писал(а):
1. Результат корня квадратного из действительного числа положителен
2. Результат корня квадратного из действительного числа отрицателен
не являются высказываниями, так что всё гораздо проще.

 
 
 
 Re: О "неполноте" вероятностной аксиоматики Колмогорова
Сообщение21.09.2015, 23:19 
Тут человек не понимает, что вот такие штуки не являются высказываниями, так что всё гораздо проще.
Reshetov в сообщении #1055657 писал(а):
1. Результат корня квадратного из действительного числа положителен
2. Результат корня квадратного из действительного числа отрицателен


Хорошо, тогда переформулирую:

1. Утверждение о том, что результат вычисления корня квадратного из действительного числа положителен, является истинным;
2. Утверждение о том, что результат вычисления корня квадратного из действительного числа положителен, является ложным.

 
 
 
 Re: О "неполноте" вероятностной аксиоматики Колмогорова
Сообщение22.09.2015, 00:12 
Аватара пользователя
Reshetov в сообщении #1055657 писал(а):
Но мы также знаем, что корень квадратный из действительного числа, также является действительным числом.

Не нужно нас прикручивать к подобному бреду! Это только вы знаете, что $\sqrt{-1}$ является действительным числом, меня же учили иначе. :twisted:

 
 
 
 Posted automatically
Сообщение22.09.2015, 00:35 
 i  Тема перемещена из форума «Дискуссионные темы (М)» в форум «Пургаторий (М)»
Причина переноса:В общем, как-то это невынимаемо.

 
 
 
 Re: О "неполноте" вероятностной аксиоматики Колмогорова
Сообщение23.09.2015, 11:19 
Аватара пользователя
Жаль, что быстро убрали в Пургаторий. Я бы с интересом посмотрел на вывод "теорем" из аксиоматики Колмогорова. Это должно быть впечатляющим кунстштюком...

 
 
 [ Сообщений: 9 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group