Kendine göndergeli önerme

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

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 | kaynağı 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:

P \equiv (\phi(P))

burada \phi, P değişkenli bir tamdeyimdir.

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

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

Örnekler[değiştir | kaynağı değiştir]

Kaynaklar[değiştir | kaynağı değiştir]

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