scientific article; zbMATH DE number 3625335

zbMath0403.03002MaRDI QIDQ4187781

Yuri I. Manin

Publication date: 1979

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

zbMATH Keywords

ProofMetamathematicsMathematics and RealityUse of Natural and Formal Languages in Mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) First-order arithmetic and fragments (03F30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Continuum hypothesis and Martin's axiom (03E50) Quantum logic (03G12) Proof theory and constructive mathematics (03F99)

Related Items

On interpretation of inconsistent theories, Computers as a novel mathematical reality. I: A personal account, Embedding of provably unsolvable problems into stream ciphers;Встраивание доказуемо неразрешимых задач в шифры гаммирования, Banach-Kantorovich spaces