Курт Фри́дрих Гёдель — австрийский логик, математик и философ математики, наиболее известный сформулированной и доказанной им теоремой о неполноте.