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

[mns2012]

Comments

[uri-ben-cephas.livejournal.com]

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

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