Thanks mainly to Samara‘s efforts, the Open Logic Project has begun to include short biographies of logicians in a new History part (Source on GitHhub, PDF). So far we have Cantor, Church, Gentzen, Gödel, Noether, Russell, Tarski, Turing, and Zermelo. We’ve made an effort to appeal to our target audience — undergrad students from a variety of backgrounds — and kept them short and as non-boring as possible. References are included not just to academic biographies, but also to YouTube videos and podcasts. As always, feedback is more than welcome, and we take requests for additions!
In order to enable these biographies to contain references, all driver LaTeX files now automatically generate and include a bibliography. The bibliographies so far are the only texts that contain references (in Natbib author-year format), but they can now be included in other texts as well. Two environments, ‘history’ and ‘reading’ for Historical Remarks and Further Reading sections are now available (defined in open-logic-envs.sty) and material using these will be added to the main text as time goes on. We’re also very close to including portraits! To keep the main repository to a reasonable size, these will be provided in a separate GitHub repository.
[Photo credits: Alan Turing / National Portrait Gallery CC-BY-NC-ND; Georg Cantor / University of Halle Archives; Kurt Gödel / Institute for Advanced Study Archives; Emmy Noether / Göttingen University Library]