The propositionn P=NP? is undecidable in the UTM formulation, and by extension in ZFC. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20180514/67078f43/attachment.htm>