14 Mai
2018
14 Mai
'18
15:47
The propositionn P=NP? is undecidable in the UTM formulation, and by extension in ZFC.