@tomcoates @S_Beckman2 @lindayacc Even mathematical proofs are dialogical. Check out this book among many others to see how that works. https://t.co/tOuJA6ZESA
2,537 followers
3,154 followers
hi @bblfish there are many other older discussions of games for intuitionistic and classical logic (e.g. Lorentzen) and also many other older discussions of dialogues as games (e.g Quatrini and Fouquere). choosing one and showing/proving that it does what
2,537 followers
@DavidCorfield8 There is a role for questions in the analysis of dependently typed reasoning in "Immanent Reasoning or Equality in Action" but it is quite technical https://t.co/Paee98usoY
2,537 followers
@andrejbauer @ThePatHayes @mietek @heades @tangled_zans @CreeepyJoe @valeriadepaiva @chrisamaphone Re @ThePatHayes question about LEM and time travel: the difference between classical and constructive logic in terms of dialogues holds on one simple rule ab