Gödel

Gödel je programovací jazyk, který vytvořil matematik a počítačový vědec Kurt Gödel. Patří do rodiny programovacích jazyků známých jako Vídeňská vývojová metoda. Gödel vychází ze stejnojmenného věšteckého testu, který vyvinuli Kurt Gödel a Wolfgang Bibel. Věštec je nástroj pro automatické dokazování správnosti programů. Gödel je navržen jako uživatelsky přívětivější verze proveru teorémů. Má programovací jazyk vyšší úrovně, který je snazší na naučení a používání než jazyk proveru teorémů. Gödel je pojmenován po Kurtu Gödelovi, který byl slavným matematikem a logikem. Je známý především svými větami o neúplnosti, které říkají, že existují určité pravdy, které nelze v daném formálním systému dokázat. Gödelův věštecký prover je založen na jeho práci o větách o neúplnosti. Prover teorémů lze použít k automatickému dokazování správnosti programů. Gödel je důležitým programovacím jazykem, protože je založen na formálních metodách. Formální metody představují způsob zajištění správnosti programů pomocí matematických technik. Gödel se používá v průmyslu i na akademické půdě k vývoji správného a spolehlivého softwaru.