3
Enthält P Sprachen, deren Existenz unabhängig von PA oder ZFC ist? (TCS Community Wiki)
Antwort: nicht bekannt. Die gestellten Fragen sind natürlich, offen und anscheinend schwierig. die frage ist jetzt ein community wiki. Überblick Die Frage versucht, Sprachen der KomplexitätsklassePPP - zusammen mit den Entscheidungs-Turing-Maschinen (TMs), die diese Sprachen akzeptieren - in zwei komplementäre Unterklassen zu unterteilen: gnostische Sprachen und TMs (die validiert / …