scientific article

From MaRDI portal

Publication:3037403

Jump to:navigation, search

zbMath0524.03026MaRDI QIDQ3037403

Wojciech Kowalczyk

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

independence consistency automata theory Peano arithmetic indicator finite-state automaton deterministic Turing machines P=NP problem true sentence

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Complexity of computation (including implicit computational complexity) (03D15) Consistency and independence results (03E35) Turing machines and related notions (03D10) Nonstandard models (03H99)

Related Items (2)

On the metamathematics of the P vs. NP question ⋮ Informal versus formal mathematics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3037403&oldid=16076728"