Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

Существуют ли формальные системы, содержащие в себе доказательство собственной непротиворечивости?

Не так давно Владислав Сурков написал: ни одна система не содержит в себе доказательства собственной истинности. Прав ли он с математической точки зрения?
ФилософияМатематика+3
Дмитрий Чубаров
  ·   · 288
Инженер, но ныне - исследователь, исследую этот...  · 24 нояб 2021
Истина - она безконечна, как безконечно познание. То что кажется истиной-базируется на знаниях. А они -безконечны, ну стремятся в безконечность! Чем громоздкее система, тем сложнее это квантовое переосмысление. Тем более - сопротивление.поэтому важна верность знаний, на которых базируется система. Считали что Земля - плоская, знания сделали ее круглой, потом завращали, и каждый раз -сложнее было. Так и в любой науке, в том числе и в философии. Системы базируются на теории, которая объясняет больше. Отметаются те - где противоречий более. А противоречия -есть везде, потому что истины не знаем. И она отдаляется с познанием, с расширением сферы Аристотеля. То что считалось истиной вчера, сегодня подлежит сомнению. Теории меняются, с ростом противоречий, переосмысливаются!
Давно занимался прогнозирования. Потом бизнесом...  · 24 нояб 2021
Посмотрите теорему Геделя о полноте. Наверно можно распространить её на ваш вопрос. Во всяком случае на неё всегда ссылаются говоря о том, что для доказательства непротиворечимости нужны внесистемные правила.