scientific article; zbMATH DE number 3291106
From MaRDI portal
Publication:5573940
zbMath0183.00601MaRDI QIDQ5573940
No author found.
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Collections of translated articles of miscellaneous specific interest (00B55) Collections of reprinted articles (00B60)
Related Items
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, A NOTE ON CHOICE PRINCIPLES IN SECOND-ORDER LOGIC, THE POTENTIAL IN FREGE’S THEOREM, THE GENEALOGY OF ‘’, Intrinsic theories and computational complexity, Structural Rules in Natural Deduction with Alternatives, Axiomatic quantum theory, Introduction, TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME, A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH, M, V = Land Intuitive Plausibility in set Theory. A Case Study, On Arbitrary sets andZFC, Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth., Reflecting on incompleteness, Leon Henkin the Reviewer, Henkin’s Theorem in Textbooks, Hilbert’s Axiomatisches Denken, The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki, Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics, Image of Soviet and Russian logic in the West. Latter Half of the XXth Century, What is a proof?, Herbrand semantics, the potential infinite, and ontology-free logic, Truth, reflection and hierarchies, Is complexity a source of incompleteness?, THE SET-THEORETIC MULTIVERSE, Beppo Levi's analysis of the paradoxes, A canonical locally named representation of binding, A paradox of definability: Richard’S and poincaré’S ways out, \textit{Begriffsschrift}'s logic, THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY, Transfinite Constructions in Classical Type Theory, A metatheory of a mechanized object theory, Peirce’s Role in the History of Logic: Lingua Universalis and Calculus Ratiocinator, Set-theoretic foundations, Peano as logician, C-system of a module over a \(Jf\)-relative monad, When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science, Pāṇini's Grammar and Modern Computation, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, What did Frege take Russell to have proved?, Function and Argument inBegriffsschrift, On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs, Developing arithmetic in set theory without infinity: some historical remarks, The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper, Andrzej Mostowski and the Notion of a Model, Three books on computability, with a special focus on Turing's legacy. Essay review of: A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Book review of: R. Adams, An early history of recursive functions and computability from Gödel to Turing; B. J. Copeland (ed.) et al., Computability. Turing, Gödel, church, and beyond; G. Sommaruga and T. Strahm (ed.), Turing's revolution. The impact of his ideas about computability, Forcing, Multiverse and Realism, Computability, Finiteness and the Standard Model of Arithmetic, The Operational Perspective: Three Routes, Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective, At the Limits of Thought, Completeness and categoricity: Frege, gödel and model theory, Zermelo and the Heidelberg Congress 1904, Pragmatic Platonism, Ranked partial structures, Discussion on the foundation of mathematics, Peirce's Truth-functional Analysis and the Origin of the Truth Table, Domains of Sciences, Universes of Discourse and Omega Arguments, Analysisversuslawsboole’s explanatory psychologism versus his explanatory anti-psychologism, Alonzo church:his life, his work and some of his miracles, In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs, Unnamed Item, Automath and Pure Type Systems, Potential infinite models and ontologically neutral logic, Two simple sets that are not positively Borel, Russell, presupposition, and the vicious-circle principle, Many-valued logics, Lewis Carroll's Formal Logic, The Origins of the Use of the Argument of Trivialization in the Twentieth Century, The logic and meaning of plurals. II, ON THE SYNTAX OF LOGIC AND SET THEORY, DA INTUIÇÃO À AXIOMATIZAÇÃO DA MATEMÁTICA: UMA ANÁLISE DIACRÔNICA DA TRANSPOSIÇÃO DIDÁTICA DOS CARDINAIS E ORDINAIS, On the Motives for Proof Theory, Naturalness in Mathematics, Many-Valued Logics and Translations, Abstraction, Axiomatization and Rigor: Pasch and Hilbert, Extensions of the Finitist Point of View, Primitive recursion in the abstract, Proper classes as members of extended sets, On the mathematical and foundational significance of the uncountable, Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940, What is Tarski's Common Concept of Consequence?, REREADING TARSKI ON LOGICAL CONSEQUENCE, Busting a Myth about Leśniewski and Definitions, Supra-logic: using transfinite type theory with type variables for paraconsistency, The Gödelian Inferences, The truth and nothing but the truth, yet never the whole truth: Frege, Russell and the analysis of unities, Bertrand Russell on his paradox and the multiplicative axiom. An unpublished letter to Philip Jourdain, Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited, Analysis without actual infinity, Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives, Notes on the theory of variable binding term operators, A New–old Characterisation of Logical Knowledge, Psychology in the foundations of logic and mathematics: the cases of boole, cantor and brouwer, NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF, Hilbert and Einstein, Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections, Nonsets, Computerizing Mathematical Text with MathLang, Mathematical roots of phenomenology: Husserl and the concept of number, Relatives of the Russell Paradox, DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES, Substitution and Propositional Proof Complexity, Russellian Propositions in Principia Mathematica, Comments on the Contributions, Good-for-Game QPTL: An Alternating Hodges Semantics
