Синхронный турнир «Научпоп-2021». Тур 1. Вопрос 7

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

Ответ: [Курт] Гёдель.

Комментарий: Высказывание Гильберта противоречит теореме Гёделя о неполноте, которая постулирует существование в системах, вроде арифметики, невыводимых и при этом неопровержимых утверждений.

Источник(и):
    1. https://www.youtube.com/watch?v=IS_PazHA2_0&t=2075s
    2. https://ru.wikipedia.org/wiki/Теорема_Гёделя_о_неполноте

Автор: Михаил Екимов (Мюнхен)