Metadata
Author: springer
Data
German[de]
Wir diskutieren die Sprachmittel, die zur Formalisierung des P = N P-Problems in einer naiven Mengenlehre benötigt werden.
English[en]
We discuss the language necessary to give a formalization of the P = N P-question in a Cantor's style set-theory.