Thanks in part to the encouragement of a friend‘s father, I have submitted my curriculum vitae to the Dean of Arts and […]
These are my links for February 26th through March 2nd: Practical Foundations of Mathematics – Although it is mainly concerned with a […]
These are my links for January 28th through February 1st: Keeping computers from ending science’s reproducibility – In recent years, scientists may […]
Bob “The Maximum Leader” Meyer‘s manifesto of the “Logicians Liberation League”, recently quoted by Branden Fitelson in the context of promoting formal […]