Kurt Gödel

Либо математика слишком велика для человеческого разума, либо человеческий разум — это нечто большее, чем машина.