Fixpunktssatsen

Från Rilpedia

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

Låt PA vara Peanos aritmetik. Fixpunktssatsen för PA är följande påstående:

För varje formel \varphi(x) finns en sats δ sådan att
PA \vdash \delta \leftrightarrow \varphi(\delta)

Fixpunktssatsen används flitigt i metalogiska resonemang, till exempel i konstruktionen av gödelsatser, rossersatser och henkinsatser.

Hämtad från "https://sv.rilpedia.org/wiki/Fixpunktssatsen"
Personliga verktyg