Восток и запад: предпочитает ли бог инициальные алгебры?

[furia_krucha]

Радио, телевидение и попутчики в вечерних электричках уведомят всякого, что „теорема Гёделя о неполноте“ накладывает непреодолимые ограничения на формализацию математики, прокапывая между „доказуемо“ и „истинно“ противопожарную траншею, в которой так удобно петь песни, скатившись даже и с далёкого от математики пригорка

Comments

Восток и запад: предпочитает ли бог инициальные алгебр

[livejournal]

User az118 referenced to your post from Восток и запад: предпочитает ли бог инициальные алгебры? saying: [...] Оригинал взят у в Восток и запад: предпочитает ли бог инициальные алгебры? [...]

генеалогия структур

[livejournal]

User az118 referenced to your post from генеалогия структур saying: [...] да, эти аксиомы задают еще ZF [...]