Fullständighet (logik)

Från Rilpedia

Version från den 17 april 2008 kl. 00.31 av PipepBot (Diskussion)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
icon_anmal.gif
rp-wp-sv.gif

Ett formellt system i logiken sägs vara fullständigt om varje sann sats i systemet kan bevisas utgående från axiomen i systemet, dvs

\Gamma \models \varphi \Rightarrow \Gamma \vdash \varphi

Ett berömt teorem av Kurt Gödel säger att alla tillräckligt komplexa system är ofullständiga.


AND ANSI.svg E-to-the-i-pi.svg Denna logik- och matematik-relaterade artikel är bara påbörjad. Du kan hjälpa till genom att utöka den.

Se även

Hämtad från "https://sv.rilpedia.org/wiki/Fullst%C3%A4ndighet_(logik)"
Personliga verktyg
På andra språk