scientific article; zbMATH DE number 3237808
From MaRDI portal
zbMath0147.24703MaRDI QIDQ5525322
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On theorems of Gödel and Kreisel: Completeness and Markov's principle, Principles of reflection and second-order logic, Justification logic and type theory as formalizations of intuitionistic propositional logic, Parametric Church's thesis: synthetic computability without choice, Algorithmic properties of structures, To be or not to be constructive, that is not the question, \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, Physical Computability Theses, Unnamed Item, The ontology of digital physics, Montague's paradox, informal provability, and explicit modal logic, Well-Partial Orderings and their Maximal Order Types, Knowledge-based proof planning, Verificationism and Classical Realizability, The Operational Perspective: Three Routes, Unnamed Item, Extensions to a generalization critic for inductive proof, Unnamed Item, Intrinsic reasoning about functional programs. I: First order theories, The creating subject, the Brouwer-Kripke schema, and infinite proofs, On the Completeness of Dynamic Logic, Inductive Completeness of Logics of Programs, Transfinite expansions of arithmetic formulas, Unfolding Schematic Systems, Some applications of Gentzens second consistency proof, From constructivism to computer science, Formal notes on the substitutional analysis of logical consequence, Five observations concerning the intended meaning of the intuitionistic logical constants, Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session, Gödel and Intuitionism, Rosser provability and the second incompleteness theorem, The Significance of Relativistic Computation for the Philosophy of Mathematics, Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
