Вероятность того, что теорема недоказуема по теореме Гёделя

[Brukvalub]

alhimikoff, так ничего путного не выйдет. NSKuber уже пояснил вам выше, что такая конструкция не задает вероятностную меру. Жду новых предложений.

[alhimikoff]

NSKuber в сообщении #1079336 писал(а):

alhimikoff в сообщении #1079335 писал(а):

Сумма этих вероятностей по всем n от 0 до бесконечности даст искомую вероятность.

Которая может быть больше единицы, а то и вовсе бесконечной.

А если так?

$$P=\lim\limits_{n\to\infty}^{}\frac{1}{n}\sum\limits_{i=0}^{n}n_i/2^i$$

[Brukvalub]

alhimikoff в сообщении #1079340 писал(а):

А если так?

$$P=\lim\limits_{n\to\infty}^{}\frac{1}{n}\sum\limits_{i=0}^{n}n_i/2^i$$

Нужно проверить все свойства меры, в частности, счетную аддитивность. Начинайте проверку.