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:
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
- 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.
This article is issued from Vikipedi - version of the 8/15/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.