Post #439

Первая теорема Геделя в той форме, из которой делаются далеко идущие выводы, говорит об "истинности" и "доказуемости" Мол, первое шире второго Но "истинность" в ней рассматривается мета-математически, чуть ли не в стиле платонизма (Гедель защищал платонизм) А "доказуемость" анализируется в строгой математической части как формальная процедура То есть, "не доказуемая истина" здесь — это макаронизм Смешение разных языков в своей худшей форме, вроде "сегодня very холодно", но еще хуже Вторая же теорема Геделя прямо следует из первой, но к ней применять двойные стандарты уже не хочется, так как здесь они не помогут, а помешают громким выводам и рассуждениям о мистике Вселенной Поэтому, мы забудем, с какой легкостью прикручивали их к первой