Manin, Yu. I. Provable and unprovable. (Dokazuemoe i nedokazuemoe.). (Russian) Zbl 0403.03002 Moskva: Izdatel’stvo ”Sovetskoe Radio”. 168 p. R. 0.60 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 2 Documents MSC: 03A05 Philosophical and critical aspects of logic and foundations 03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations 03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations 03F99 Proof theory and constructive mathematics 03E50 Continuum hypothesis and Martin’s axiom 03F30 First-order arithmetic and fragments 00A30 Philosophy of mathematics 81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) 03G12 Quantum logic 03B10 Classical first-order logic Keywords:Use of Natural and Formal Languages in Mathematics; Proof; Mathematics and Reality; Metamathematics PDF BibTeX XML