Man With Dogs (man_with_dogs) wrote,
Man With Dogs
man_with_dogs

Categories:
  • Mood:

Может ли быть нечто истинным без доказуемости этой истинности?

Свежий ролик с переводом Ветирасума от Врт Дайдера - про проблемы математики по Гильберту: полноту, непротиворечивость и разрешимость. И то, как их закрывали. Проcтое объяснение теоремы Гёделя о неполноте или противоречивости, объяснения Тьюрингом неразрешимости. Которые завязаны на утверждения, ссылающиеся сами на себя - самореференсные. Аналогично, как в парадоксе лжеца, из которого выбираются либо введением 3го состояния (истина-ложь-неопределено), либо в логиках предикатов порядка 2 и выше (об это уже пишу я, и этого в ролике нет).

https://www.youtube.com/watch?v=jP3ceURvIYc
32:49
Слабое место математики: можно ли доказать всё, что истинно? [Veritasium]
Vert Dider, 17 тыщ просмотров•27 мая 2021 - 980 тыс. подписчиков
Read more...Collapse )

Read more...Collapse )
Tags: логика, философия
Subscribe

  • Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments