A modell és a következvény semmilyen iskola szerint sem fér bele a formális nyelvészetbe. Épp ez a lényeg, hogy az egy másik játék, másik topikkal.
Kedves buki, egyáltalán nincs igazad: ez matematika.
A formális nyelvészet a matematika egyik ága. Mármost ha igazolsz egy tételt róla, az axiómarendszerben van (következmény). Legáltalánosabb esetben a ZFC halmazelméletben.
A konkrét esetet véve: vegyünk egy 0-adrendű nyelvet, amely nem rekurzív!
Akkor van-e lehetőség az adott formális nyelv komplementer nyelve szavainak meghatározására?
Én egy olyan tételt igazoltam (majdnem), hogy nagyon korlátozottan, de lehet.
Ne tévesszen meg, hogy felhasználtam a logika más területeit is. A nyelvet számokká írtam át (ez nem változtat semmit és ez szokás néha), és grammatika helyett rekurzív függvényeket használtam (ez is szokás néha).
Ne tévesszen meg, hogy más a szóhasználat, ugyanis így sokkal egyszerűbb érvelni.
De mivel Te nyitottad a topikot, bár ontopik voltam, a további hozzászólást (egy volt még) a Metamatematika topikba írom.
|