PZ
Я изучаю формальные системы, наблюдаю частные случаи для них, которые могу проверить - это увеличивает мою уверенность в тех случаях, которые проверить не могу.
Size: a a a
2020 April 24
YB
Я изучаю формальные системы, наблюдаю частные случаи для них, которые могу проверить - это увеличивает мою уверенность в тех случаях, которые проверить не могу.
Вот и говорю, везёт тебе
И
Из наблюдений.
Из наблюдений рельсы на горизонте соединяются в одну точку) а ещё дальние человечки не больше муравья
PZ
Yanis Benson
Везёт тебе
А ты уверенность откуда берёшь? Из чистого априорного знания?
YB
Ниоткуда :(
YB
Ни в чем не уверен
YB
Только в формальных системах
PZ
Yanis Benson
Ни в чем не уверен
ну... это крайне спорное утверждение. Ты вот например почти наверняка уверен в том, что арифметика работает в окружающем мире.
YB
ну... это крайне спорное утверждение. Ты вот например почти наверняка уверен в том, что арифметика работает в окружающем мире.
Я не уверен, что окружающий мир существует
YB
Нужно ли говорить о применимости арифметики к нему...
PZ
Yanis Benson
Ни в чем не уверен
Да, разумеется надо понимать что "уверен" это количественная оценка, не абсолютная.
YB
Yanis Benson
Я не уверен, что окружающий мир существует
Хотя зависит от определения окружающего мира, конечно
YB
Но это симптомом не является, это чисто логическое умозаключение
PZ
Вероятности в 1 не существует и любая уверенность = 1 - есть фундаментальное искажение восприятие.
С другой стороны существует некоторая эпсилон-окрестность этой 1 в которой мы можем пренебречь отклонением от 1 для любой практической задачи.
С другой стороны существует некоторая эпсилон-окрестность этой 1 в которой мы можем пренебречь отклонением от 1 для любой практической задачи.
YB
Yanis Benson
Если пройти опросники, то у меня депрессия средней тяжести последние 2-3 года, и мне пора пить антидепрессанты
В смысле, опросники, по которым диагностируют депрессию, не тестики в интернете