IRCForumları - IRC ve mIRC Kullanıcılarının Buluşma Noktası

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:
[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...] burada φ, P değişkenli bir tamdeyimdir.
Bu tanım, aslında iki adımdan oluşturulabilir:

Taban önerme: [Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]
Özelleme, X=P seçme: [Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]

Ö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)"