The mathematical foundations of modern computer science began to be laid by Kurt Gödel with his incompleteness theorem (1931).
Математические основы современной информатики были заложены Куртом Гёделем в его теореме о неполноте (1931).