j
k
j a
j l
The propositionn P=NP? is undecidable in the UTM formulation, and by extension in ZFC.
Pièces jointes :
Afficher les réponses dans la discussion
gambit-list@iro.umontreal.ca
Ajouter aux marque-pages Supprimer des marque-pages