scientific article; zbMATH DE number 3291106

From MaRDI portal
Revision as of 03:42, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5573940

zbMath0183.00601MaRDI QIDQ5573940

No author found.

Publication date: 1967


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (only showing first 100 items - show all)

Formal metatheory of the lambda calculus using Stoughton's substitutionBook review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital ageA theory of infinitary relations extending Zermelo's theory of infinitary propositionsReconsidering pairs and functions as setsNatural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective)The effects of effects on constructivismThe 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 probabilityIdeal objects for set theoryThe proof-theoretic strength of Ramsey's theorem for pairs and two colorsSome unpublished papers of Jean van HeijenoortIs the principle of contradiction a consequence of \(x^2=x\)?Hilbert's ``Grundlagen der GeometrieTraditional logic and the early history of sets, 1854-1908Negative translations not intuitionistically equivalent to the usual onesWhat 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 theoryAnother paradox in naive set-theoryThe mentor of Alan Turing: Max Newman (1897--1984) as a logicianThe first example of a recursive function which is not primitive recursiveThe concept of relevance and the logic diagram traditionBook review of: J. Szymanik, Quantifiers and cognition: logical and computational perspectivesA transfer method from bounded existential Diophantine equations to Tarski algebra formulasRevisiting the notion of functionTo be or not to be constructive, that is not the questionIntuitionism and effective descriptive set theoryFrom types to setsWigner's ``Unreasonable effectiveness of mathematics, revisitedFrom Dedekind to Zermelo versus Peano to GödelGuest editor's introduction: JvH100Jean van Heijenoort: kaleidoscopeEditor's introduction to Jean van Heijenoort, ``Historical development of modern logicHistorical development of modern logicJean van Heijenoort's conception of modern logic, in historical perspectiveHerbrand's fundamental theorem in the eyes of Jean van HeijenoortOn rereading van Heijenoort's selected essaysIn defense of logical universalism: taking issue with Jean van HeijenoortOmnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logicsIntuitionist type theory and the free toposSubminimal negationZermelo's discovery of the Russell paradoxIF logic, definitions and the vicious circle principleBurali-Forti's paradox: A reappraisal of its originsComplexity results for classes of quantificational formulasThe discovery of forcing.Carnap on logic and rationalityCarnap's early metatheory: scope and limitsThree questions for minimalismPeirce the logicianA note on non-classical nonstandard arithmeticFuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approachA personal account of Turing's imprint on the development of computer scienceHusserl and the algebra of logic: Husserl's 1896 lecturesThe `natural' and the `formal'A characterization of alternating log time by ramified recurrenceThe shaping of Dedekind's rigorous mathematics: what do Dedekind's drafts tell us about his ideal of rigor?On the virtue of categoricityOpen texture and mathematicsOn the concept of finitismA theory of abstractionThe scope of Gödel's first incompleteness theoremNumbers as moments of multisets: a new-old formulation of arithmeticExtensionality and restriction in naive set theoryHilbert's \(\varepsilon{}\)-operator and classical logicLogic, sets, and mathematicsThe habilitation of John von Neumann at Friedrich-Wilhelms-Universität in Berlin: judgements on a Hungarian-Jewish mathematician in the Germany of 1927Consistency, models, and soundnessA simple proof of Parsons' theoremReduction and Tarski's definition of logical consequenceMathematics Ho! Which modern mathematics was modernist?Some set-theoretical partition theorems suggested by the structure of Spinoza's GodSense in FregeFrege on sense identityFormalism and Hilbert's understanding of consistency problemsThe power of a propositional constantIn memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theoremHarmonious logic: Craig's interpolation theorem and its descendantsWittgenstein and logicDeflationary truth and the LiarWhich set existence axioms are needed to prove the separable Hahn-Banach theorem?Hilbert, logicism, and mathematical existenceThe good, the bad and the uglyIntroduction to the special issue on the bad company problemUnifying threads in Alfred Tarski's workRamified recurrence and computational complexity. III: Higher type recurrence and elementary complexityFrom computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed modelsTruth in Frege's ``law of truthWittgenstein and finitismPeano's concept of numberThe givenRussell's substitutional theoryEuclid's proof of the infinitude of primes: distorted, clarified, made obsolete, and confirmed in modern mathematicsFoundations for analysis and proof theoryKurt Gödel in sharper focusSkolem reduxSoviet mathematics and dialectics in the Post-Stalin era: New horizonsOn the relations between Georg Cantor and Richard DedekindThe logic and meaning of plurals. IOn rewriting the history of the foundations of mathematics at the turn of the centuryThe emergence of some of the nonlogical paradoxes of the theory of sets, 1903-1908







This page was built for publication: