[gambit-list] (no subject)

Dimitris Vyzovitis vyzo at hackzen.org
Mon May 14 11:47:13 EDT 2018


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>


More information about the Gambit-list mailing list