Tuppers “zelfverwijzende” formule

In het juli/augustus-nummer van PC-Active heb ik een artikel geschreven over paradoxen en zelfreferentie. Zowel de filosofische kant als computertoepassingen komen aan bod. Zo beschrijf ik er zogenaamde quines, computerprogramma’s zonder invoer die hun eigen broncode als uitvoer geven. Je kan de besproken quines in C, Java, Ruby en Prolog downloaden om er zelf eens [...]