Musimy wiedzieć. Ale czy będziemy wiedzieć? Michał Skrzypczak zastanawia się czy wszystko da się udowodnić informatyka logika Delta 4/2021