scientific article; zbMATH DE number 3291106

Authors

Publication date 1967

Philosophy of mathematics (00A30) Collections of translated articles of miscellaneous specific interest (00B55) Collections of reprinted articles (00B60) History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Cited in

(only showing first 100 items - show all)

Harmonious logic: Craig's interpolation theorem and its descendants
Wittgenstein and logic
Hilbert, logicism, and mathematical existence
The good, the bad and the ugly
Introduction to the special issue on the bad company problem
Russell's substitutional theory
Kurt Gödel in sharper focus
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
An algebraic synthesis of the foundations of logic and probability
Some unpublished papers of Jean van Heijenoort
Hilbert's ``Grundlagen der Geometrie
On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
The first example of a recursive function which is not primitive recursive
From types to sets
Intuitionist type theory and the free topos
Zermelo's discovery of the Russell paradox
Burali-Forti's paradox: A reappraisal of its origins
Complexity results for classes of quantificational formulas
Peirce the logician
A theory of abstraction
Hilbert's \(\varepsilon{}\)-operator and classical logic
Logic, sets, and mathematics
Some set-theoretical partition theorems suggested by the structure of Spinoza's God
Sense in Frege
Frege on sense identity
Unifying threads in Alfred Tarski's work
Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity
On the relations between Georg Cantor and Richard Dedekind
Revisiting the notion of function
The discovery of forcing.
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
Soviet mathematics and dialectics in the Post-Stalin era: New horizons
Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age
The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?}
The proof-theoretic strength of Ramsey's theorem for pairs and two colors
Is the principle of contradiction a consequence of \(x^2=x\)?
Book review of: J. Szymanik, Quantifiers and cognition: logical and computational perspectives
A transfer method from bounded existential Diophantine equations to Tarski algebra formulas
To be or not to be constructive, that is not the question
Intuitionism and effective descriptive set theory
From Dedekind to Zermelo versus Peano to Gödel
Subminimal negation
Carnap on logic and rationality
Carnap's early metatheory: scope and limits
Three questions for minimalism
A note on non-classical nonstandard arithmetic
Deflationary truth and the Liar
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
Peano's concept of number
Skolem redux
Traditional logic and the early history of sets, 1854-1908
The concept of relevance and the logic diagram tradition
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
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
Formalism and Hilbert's understanding of consistency problems
The effects of effects on constructivism
Ideal objects for set theory
Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach
The scope of Gödel's first incompleteness theorem
Mathematics Ho! Which modern mathematics was modernist?
Euclid's proof of the infinitude of primes: distorted, clarified, made obsolete, and confirmed in modern mathematics
Formal metatheory of the lambda calculus using Stoughton's substitution
Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth.
Truth, reflection and hierarchies
Is complexity a source of incompleteness?
Beppo Levi's analysis of the paradoxes
A canonical locally named representation of binding
Zermelo and the Heidelberg Congress 1904
Two simple sets that are not positively Borel
The logic and meaning of plurals. II
Proper classes as members of extended sets
Bertrand Russell on his paradox and the multiplicative axiom. An unpublished letter to Philip Jourdain
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
\textit{Begriffsschrift}'s logic
A metatheory of a mechanized object theory
C-system of a module over a \(Jf\)-relative monad
What did Frege take Russell to have proved?
Domains of Sciences, Universes of Discourse and Omega Arguments
A theory of infinitary relations extending Zermelo's theory of infinitary propositions
Computerizing mathematical text with MathLang
Reconsidering pairs and functions as sets
Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)
Transfinite cardinals in paraconsistent set theory
Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
The set-theoretic multiverse

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5573940)