Digital Social Mind
Táto kniha dokazuje, že vzťahové poznanie, forma sociálneho poznania, vykazuje digitálnu nekonečnosť rovnako ako jazyk.
Kópie základných modelov sa kombinujú a rekurzívne vnášajú do potenciálne nekonečného počtu komplexných modelov. Tak ako sa predpokladajú dôkazovo-teoretické gramatiky, aby sa vysvetlila digitálna nekonečnosť jazyka, mali by sa predpokladať aj dôkazovo-teoretické gramatiky, aby sa vysvetlila digitálna nekonečnosť vzťahového poznávania.
Zvažujú sa a kritizujú námietky voči dôkazovo-teoretickému prístupu, ktorý sa často rovnako vzťahuje na jazyk aj na vzťahové poznanie. Takéto námietky buď predkladajú príliš zložité alternatívy, alebo prehliadajú úlohu idealizácie vo vede.