Blog

[ ÚJ BEJEGYZÉS ]   [ ÚJ CIKK ]

• GEB - A matematikai jelentés és forma

  Ez a fejezet arról szól, hogy hogyan kötünk jelentést egy adott szimbólumhoz, szimbólumok sorozatához, vagy akármi máshoz ha már itt tartunk. A felvezető dialógus ez esetben nem Hofstadter, hanem Lewis Carroll tollából származik (ő az Alíz csodaországban írója). Carroll maga is aktívan érdeklődött a matematikai logika iránt, ebben a novellában pedig - pont miután vége lett a futóversenyüknek, amit természetesen Akhilleusz nyert meg - Akhilleusz és a Teknős a logikai következtetés lehetetlenségéről beszélgetnek. A Teknős, hasonlóan Zénón trükkjéhez, egy végtelenségig folytatható logikai láncolatot épít fel egy látszólag egyszerű következtetésre alapozva (mint mikor Besenyő Pista Bácsinak annyiszor van igaza, ahányszor akarja ). A párbeszéd a könyvben a kétszólamú invenció címet kapta.

  Maga a fejezet egy újabb formális rendszer bevezetésével kezd, ez pedig a pg-rendszer. Ez szintén egy nagyon egyszerű rendszer, három szimbólummal (p, g, -). Itt az író mélyebben kifejti a döntési eljárás fogalmát, ami egy olyan eljárást takar, amivel véges időn belül eldönthető bármely karakterláncról, hogy tétele-e a formális rendszernek.

  Folytatás...

  tobal 8 éve 0