Comment Comment by soberhoff Author here.I'd like to mention that this article is currently slated for publication in the Bulletin of the European Association for Theoretical Computer Science. A revised draft can be found at: https://github.com/SOberhoff/incompleteness_ex_machina/relea...I haven't handed it over yet, so we'll have to see about further changes. parent soberhoff 7 years ago
I'd like to mention that this article is currently slated for publication in the Bulletin of the European Association for Theoretical Computer Science. A revised draft can be found at: https://github.com/SOberhoff/incompleteness_ex_machina/relea...
I haven't handed it over yet, so we'll have to see about further changes.