有两篇严格来说更像是定理证明的传记，主角都是那种读起来就让人直呼“我去这是怎么想到的”的证明。
一篇是菲奖得主Paul Cohen阐述自己如何发明他的获奖工作力迫法的：
The Discovery of Forcing by Paul Cohen
另外一篇是逻辑学家Leon Henkin讲自己研究生时期，如何想出如今教科书通用的哥德尔完备性定理的Henkin construction证明方法：
The Discovery of my Completeness Proofs by Leon Henkin
Cohen的文章主要着重在他如何作为一个非集合论学家，从一些直觉上的观察出发，需要解决哪些问题，一步步得到力迫法的。而Henkin的文章则有着更生动个人角度，描述了他研究生时期做不出结果的迷茫。
其中一个很有趣的小段落讲的是，在写出完备性定理的证明之前，Henkin一度给系主任Lefschetz写好了一篇退学申请书，但是他因为拖延症，大半夜的想着说过个几天再寄出去。就是这么一拖，就让他想出来现在连逻辑学初学生都能理解的完备性定理的绝妙证明方法 （Henkin甚至还特意描写了自己想到这个点子时奇怪的坐姿）。
