His book Forever Undecided popularizes Gödel's incompleteness theorems by phrasing them in terms of reasoners and their beliefs, rather than formal systems and what can be proved in them. كتابه " غير مقرر إلى الأبد" نشر نظريات عدم الاكتمال لغودل عن طريق صياغتها من حيث المفكرين ومعتقداتهم ، بدلاً من الأنظمة الرسمية وما يمكن إثباته فيها.