Tom Sterkenburg is one of the few people working on the issues around formal induction and computation who consistently delivers excellent philosophical and technical insights: http://philsci-archive.pitt.edu/16008/7/metapredl.pdf …
-
-
My semester has ended now, so I figured I would cash in your offer to provide some suggestions. Also I can't dm you so I hope this works as well. Thanks, Reza.
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.