Kendine göndergeli önerme

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla

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:

burada , P değişkenli bir tamdeyimdir.

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

  1. Taban önerme:
  2. Özelleme, X=P seçme:

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

Kaynakça[değiştir | kaynağı değiştir]

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