Пенроуз о теоремах Геделя о неполноте

[mns2012]

Click to view

Comments

[uri_ben_cephas]

Имеется ввиду априорная уверенность, что корректная формальная теория не позволяет доказывать ложные утверждения, поэтому, если в корректной теории можно записать утверждение со смыслом "это утверждение недоказуемо", то оно должно быть истинным.

Ещё встретил такой плейлист на ютубе:
https://www.youtube.com/playlist?list=PL1JJ1jVZ9z5Cn0T1Tfz32oWOv2WzuC4gj
Там вроде бы довольно удачный баланс понятности и детализации.