Kendine göndergeli önerme

Bilgisayar programcılığında ve matematiksel mantıkta kendine göndergeli önerme ya da özgöndergeli önerme, bir önermenin veya fonksiyonun kendisi hakkında yargı veya çözüm içermesidir.

Tanım

Matematiksel mantıkta, eğer bir P tamdeyimi, değişken olarak yine P'yi içeriyorsa, bu tamdeyimlere özgöndergeli önermeler denir:

${\displaystyle P\equiv (\phi (P))}$

burada ${\displaystyle \phi }$, P değişkenli bir tamdeyimdir.

Bu tanım, aslında iki adımdan oluşturulabilir:

1. Taban önerme: ${\displaystyle P\equiv (\forall X:\ \phi (X))}$
2. Özelleme, X=P seçme: ${\displaystyle P\equiv (\phi (P))}$

Örnekler

• Epimenides Çatışkısı "Bu cümle yanlıştır"
• Fibonacci Serisi f(1)=1 f(2)=1 olmak üzere "f(x)=f(x-1)+f(x-2)"

Kaynaklar

• Douglas R. Hofstadter, Gödel, Escher, Bach: bir Ebedi Gökçe Belik, Kabalcı, 2001.