This paper develops a theoretical framework to better understand how implicit biases about social identity (e.g., gender, race, class, seniority, or institutional affiliation) may influence different ...

An invitation to join Friedrich Wilhelm Grafe's Discussion on Academia.edu.

<p>For years in my logic classes I’ve been giving a rough but fairly accessible sketch of the fact that there are unprovable arithmetical truths (a special case of Tarski’s indefinability of truth), using an explicit Goedel sentence using concatenation of strings of symbols rather than Goedel encoding and the diagonal lemma.</p> <p>I’ve finally revised the sketch to give the full First Incompleteness theorem, using Rosser’s trick. <a href="http://alexanderpruss/classes/philmath/incompleteness.pdf">Here</a> is a draft.</p> <div style="clear: both;"></div>