zbMath0183.00601MaRDI QIDQ5573940
No author found.
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal metatheory of the lambda calculus using Stoughton's substitution ⋮
Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age ⋮
A theory of infinitary relations extending Zermelo's theory of infinitary propositions ⋮
Reconsidering pairs and functions as sets ⋮
Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) ⋮
The effects of effects on constructivism ⋮
The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?} ⋮
An algebraic synthesis of the foundations of logic and probability ⋮
Ideal objects for set theory ⋮
The proof-theoretic strength of Ramsey's theorem for pairs and two colors ⋮
Some unpublished papers of Jean van Heijenoort ⋮
Is the principle of contradiction a consequence of \(x^2=x\)? ⋮
Hilbert's ``Grundlagen der Geometrie ⋮ Traditional logic and the early history of sets, 1854-1908 ⋮ Negative translations not intuitionistically equivalent to the usual ones ⋮ What is the world of mathematics? ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Another paradox in naive set-theory ⋮ The mentor of Alan Turing: Max Newman (1897--1984) as a logician ⋮ The first example of a recursive function which is not primitive recursive ⋮ The concept of relevance and the logic diagram tradition ⋮ Book review of: J. Szymanik, Quantifiers and cognition: logical and computational perspectives ⋮ A transfer method from bounded existential Diophantine equations to Tarski algebra formulas ⋮ Revisiting the notion of function ⋮ To be or not to be constructive, that is not the question ⋮ Intuitionism and effective descriptive set theory ⋮ From types to sets ⋮ Wigner's ``Unreasonable effectiveness of mathematics, revisited ⋮
From Dedekind to Zermelo versus Peano to Gödel ⋮
Guest editor's introduction: JvH100 ⋮
Jean van Heijenoort: kaleidoscope ⋮
Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ Historical development of modern logic ⋮ 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 ⋮ In defense of logical universalism: taking issue with Jean van Heijenoort ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Intuitionist type theory and the free topos ⋮ Subminimal negation ⋮ Zermelo's discovery of the Russell paradox ⋮ IF logic, definitions and the vicious circle principle ⋮ Burali-Forti's paradox: A reappraisal of its origins ⋮ Complexity results for classes of quantificational formulas ⋮ The discovery of forcing. ⋮ Carnap on logic and rationality ⋮ Carnap's early metatheory: scope and limits ⋮ Three questions for minimalism ⋮ Peirce the logician ⋮ A note on non-classical nonstandard arithmetic ⋮ Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach ⋮ A personal account of Turing's imprint on the development of computer science ⋮ Husserl and the algebra of logic: Husserl's 1896 lectures ⋮ The `natural' and the `formal' ⋮ A characterization of alternating log time by ramified recurrence ⋮ The shaping of Dedekind's rigorous mathematics: what do Dedekind's drafts tell us about his ideal of rigor? ⋮ On the virtue of categoricity ⋮ Open texture and mathematics ⋮ On the concept of finitism ⋮ A theory of abstraction ⋮ The scope of Gödel's first incompleteness theorem ⋮ Numbers as moments of multisets: a new-old formulation of arithmetic ⋮ Extensionality and restriction in naive set theory ⋮ Hilbert's \(\varepsilon{}\)-operator and classical logic ⋮ Logic, sets, and mathematics ⋮ The habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927 ⋮ Consistency, models, and soundness ⋮ A simple proof of Parsons' theorem ⋮ Reduction and Tarski's definition of logical consequence ⋮ Mathematics Ho! Which modern mathematics was modernist? ⋮ Some set-theoretical partition theorems suggested by the structure of Spinoza's God ⋮ Sense in Frege ⋮ Frege on sense identity ⋮ Formalism and Hilbert's understanding of consistency problems ⋮ The power of a propositional constant ⋮ In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ Wittgenstein and logic ⋮ Deflationary truth and the Liar ⋮ Which set existence axioms are needed to prove the separable Hahn-Banach theorem? ⋮ Hilbert, logicism, and mathematical existence ⋮ The good, the bad and the ugly ⋮ Introduction to the special issue on the bad company problem ⋮ Unifying threads in Alfred Tarski's work ⋮ Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ Truth in Frege's ``law of truth ⋮
Wittgenstein and finitism ⋮
Peano's concept of number ⋮
The given ⋮
Russell's substitutional theory ⋮
Euclid's proof of the infinitude of primes: distorted, clarified, made obsolete, and confirmed in modern mathematics ⋮
Foundations for analysis and proof theory ⋮
Kurt Gödel in sharper focus ⋮
Skolem redux ⋮
Soviet mathematics and dialectics in the Post-Stalin era: New horizons ⋮
On the relations between Georg Cantor and Richard Dedekind ⋮
The logic and meaning of plurals. I ⋮
On rewriting the history of the foundations of mathematics at the turn of the century ⋮
The emergence of some of the nonlogical paradoxes of the theory of sets, 1903-1908
This page was built for publication: