pq kerfið úr geb
DESCRIPTION
Þessi fyrirlestur fjallar ekki um pq kerfið. pq kerfið úr GEB. Matthías Ásgeirsson. Gödel. Escher. Bach. Douglas R. Hofstadter. Gödel, Escher, Bach. 1979 GEB Pulitzer verðlaunin 1980 Hugsun / skilvit / sjálf. p q kerfið. - PowerPoint PPT PresentationTRANSCRIPT
pq kerfið
xp-qx- er frumsenda ef x samanstendur einungis af bandstrikum
-p-q-- --p-q--- ---p-q--------p-q-----
pq kerfið
x,y og z eru strengir sem innihalda einungis bandstrik.
og xpyqz er setning
Þá er xpy-qz- einnig setning
-p--q-----p--q-------p--q---------p--q------
Hvaða með aðrar túlkanir?
p=hestur, q=ánægður, -=epli --p-q---
epli, epli, hestur, epli, ánægður, epli, epli, epli
Breytt pq kerfi
• Regla II:Ef x er ‘-’ strengur, þá er xp-qx í málinu
• Þversagnir, ekki lengur samlagning• Endurtúlkum