(Q11030584)

English

Entscheidungsproblem

in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit