Sonlayıcı Nedir?
SMD MiSiM
SONLAYICI sıf. Mant. ve Mat. Sonlayıcılık öğretisine, bu öğretiye ilişkin olana denir.
♦ sıf. ve a. Sonlayıcılığı savunana denir.
—ANSİKL. Bir akılyürütmenin sonlayıcı olması için şu koşulların hepsini yerine getirmesi gerekir:
1. akılyürütma her biri gerçek algoritma niteliği taşıyan temel aşamaların sonlu bir ser isi olmalıdır;
2. bu temel aşamalar, bir kanıtlamanın, 3xıp(x) formunda bir önerme için ıç(a) gibi bir a nesnesini gerçekten kurmaya olanaklı kılan bir yordam sağladığı zaman kurucu olması anlamında kurucu olmalıdırlar;
3. bu akılyürütme, somut nesneler olarak ele alınan, yani "görselleştirilebilir” olan simgelerin bileşimlerine ilişkin olmalıdır.
Sponsorlu Bağlantılar
—ANSİKL. Bir akılyürütmenin sonlayıcı olması için şu koşulların hepsini yerine getirmesi gerekir:
1. akılyürütma her biri gerçek algoritma niteliği taşıyan temel aşamaların sonlu bir ser isi olmalıdır;
2. bu temel aşamalar, bir kanıtlamanın, 3xıp(x) formunda bir önerme için ıç(a) gibi bir a nesnesini gerçekten kurmaya olanaklı kılan bir yordam sağladığı zaman kurucu olması anlamında kurucu olmalıdırlar;
3. bu akılyürütme, somut nesneler olarak ele alınan, yani "görselleştirilebilir” olan simgelerin bileşimlerine ilişkin olmalıdır.
Kaynak: Büyük Larousse
X-Sözlük Konusu: ne demek anlamı tanımı.
