RT @KamerynJW: @DenkenAnalysis This paper by Maddy is the thing to read on this topic. https://t.co/oL23tvMQxT pdf of preprint: https://t.c…
3,299 followers
264 followers
@Joshua50054538 @DenkenAnalysis This is a much more serious question, my initial answer was a fairly superficial clarification. I agree with Kameryn that this paper is a good start https://t.co/oXMqPLfahQ
4,840 followers
@DenkenAnalysis This paper by Maddy is the thing to read on this topic. https://t.co/oL23tvMQxT pdf of preprint: https://t.co/6dGcS2B9Gk
6,887 followers
@LawrPaulson @jjcarett2 @XenaProject @EgbertRijke Sure, and as Maddy points out in https://t.co/3GHlONP6mi, different foundations serve different roles. ZF(C) does not serve actual formalization, just like Turing machines don't serve actual programming. Th