I’ve read only the introduction to this so far but it’s pushing all my buttons at once. May live-tweet my reading… Draws on Stanovich! So maybe will push some of yours too. https://www.amazon.com/Formal-Languages-Catarina-Dutilh-Novaes-ebook/dp/B00A8ICMBO/ …
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I'm reminded of what the late great Bill Thurston had to say re: proofs in his paper 'On proof and progress in mathematics', which I keep rereading for its nuggets of wisdom.pic.twitter.com/AMWSjP7Q9s
-
Yes that’s a keystone paper for me (and I think
@drossbucket also). I’m currently reading this by@cdutilhnovaes which is extremely interesting (although in a rather different way):http://dx.doi.org/10.1080/01445340.2011.555505 … - 3 more replies
New conversation -
-
-
Thanks, didn't know this book at all, will take a look!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.