scientific article; zbMATH DE number 3013302
From MaRDI portal
Publication:4756727
zbMath0009.14501MaRDI QIDQ4756727
Publication date: 1934
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (33)
Recursive Functions and Intuitionistic Number Theory ⋮ THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME ⋮ A second order theory of data types ⋮ Logical equations in monadic logic ⋮ The Semantic Function of the Axiomatic Method ⋮ Some concepts concerning formal systems of number theory ⋮ Hilbert's ``Grundlagen der Geometrie ⋮ Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations ⋮ Different senses of finitude: an inquiry into Hilbert's finitism ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ On rereading van Heijenoort's selected essays ⋮ Unnamed Item ⋮ Hilbert's objectivity ⋮ An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion ⋮ Formal axiomatic theories based on a three-valued logic ⋮ Asymptotic Quasi-completeness and ZFC ⋮ The mathematical universe ⋮ Proof of structural completeness of a certain class of implicative propositional calculi ⋮ Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie ⋮ Finite set theory, number theory and axioms of limitation ⋮ Hilbert's logic. From axiomatics to proof theory ⋮ Axiomatics of set theory without element relation ⋮ Propositional calculus for contradictory deductive systems ⋮ Natural Deduction for Equality: The Missing Entity ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays ⋮ Natural deduction and arbitrary objects ⋮ Reverse mathematics and its meaning ⋮ Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie. ⋮ Recursive Functions and Intuitionistic Number Theory ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC ⋮ Truth Definitions and Consistency Proofs ⋮ Unnamed Item
This page was built for publication:
