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 değiştir
Matematiksel mantıkta, eğer bir P tamdeyimi, değişken olarak yine P'yi içeriyorsa, bu tamdeyimlere özgöndergeli önermeler denir:
burada , P değişkenli bir tamdeyimdir.
Bu tanım, aslında iki adımdan oluşturulabilir:
- Taban önerme:
- Özelleme, X=P seçme:
Örnekler değiştir
- 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)"
Kaynakça değiştir
- Douglas R. Hofstadter, Gödel, Escher, Bach: Bir Ebedi Gökçe Belik, Kabalcı, 2001.
Yazılım ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
Matematik ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |