Kararlaştırılamazlık Nedir?

KARARLAŞTIRILAMAZLIK a Mant
1. Kararlaştırılamaz bir formülün özelliği.

2. içinde her A formülü için, A nın K de tanıtlanabilir olup olmadığına karar verilebilmesi elde eden netice alıcı bir yöntemin bulunmadığı kuramın özelliği. (Aritmetiği biçimselleştirebilecek kadar kuvvetli bir kuram, eğer özyeterliyse, kararlaştırılamaz bir kuramdır; yüklemler hesabı, ka- rarlaştırılamaz bir özellik taşır.)




Kaynak: Büyük Larousse






 

Yorumlar