Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts. Seine Erörterungen zu den Grundlagen der Mathematik fanden weite Beachtung – unter anderem folgt daraus, dass es niemals ein mathematisches System geben wird, das alle mathematischen Sätze beweisen kann, also auch nie einen Computer, der alle Mathematik oder eine Software, die die Fehlerlosigkeit beliebiger Programme beweisen kann.
