Свой последний доклад на кёнигсбергском конгрессе 1930 года Давид Гильберт закончил фразой: «Мы должны знать, мы будем знать». Николай Казимиров отмечает иронию в том факте, что на том же конгрессе делал доклад... Кто?
Ответ: [Курт] Гёдель.
Зачет:
Комментарий:
Высказывание Гильберта противоречит теореме Гёделя о неполноте, которая постулирует существование в системах, вроде арифметики, невыводимых и при этом неопровержимых утверждений.