Вопрос 7: Свой последний доклад на кёнигсбергском конгрессе 1930 года Давид Гильберт закончил фразой: «Мы должны знать, мы будем знать». Николай Казимиров отмечает иронию в том факте, что на том же конгрессе делал доклад... Кто?
Ответ: [Курт] Гёдель.
Высказывание Гильберта противоречит теореме Гёделя о неполноте, которая постулирует существование в системах, вроде арифметики, невыводимых и при этом неопровержимых утверждений.
Источник(и):
1. https://www.youtube.com/watch?v=IS_PazHA2_0&t=2075s
2. https://ru.wikipedia.org/wiki/Теорема_Гёделя_о_неполноте
Автор: Михаил Екимов (Мюнхен)