On the public citation graph

Die grundlagen der mathematik

https://doi.org/10.1007/bf02940602
0 signed · 200 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.5281/zenodo.17580351zenodo-depositor-declared
inferred← citeshttps://doi.org/10.1002/malq.19570030104openalex-snapshot
Theorie der Logischen Auswahlfunktionen
inferred← citeshttps://doi.org/10.1006/hmat.2001.2332openalex-snapshot
Hilbert on the Infinite: The Role of Set Theory in the Evolution of Hilbert's Thought
inferred← citeshttps://doi.org/10.1007/0-387-24270-8_19openalex-snapshot
Hilbert, Weyl, and the Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1007/3-540-18170-9_179openalex-snapshot
Relative konsistenz
inferred← citeshttps://doi.org/10.1007/3-540-45616-3_21openalex-snapshot
A New Indefinite Semantics for Hilbert’s Epsilon
inferred← citeshttps://doi.org/10.1007/978-0-387-74938-9_21openalex-snapshot
Natural Language Processing Methods for Extracting Information from Mathematical Texts
inferred← citeshttps://doi.org/10.1007/978-1-4020-6264-3_54openalex-snapshot
Natural Language Processing of Mathematical Texts in mArachna
inferred← citeshttps://doi.org/10.1007/978-1-4020-8926-8_16openalex-snapshot
Tarski’s Practice and Philosophy: Between Formalism and Pragmatism
inferred← citeshttps://doi.org/10.1007/978-1-4020-8926-8_19openalex-snapshot
Beyond Hilbert’s Reach?
inferred← citeshttps://doi.org/10.1007/978-1-4020-8926-8_20openalex-snapshot
Hilbert and the Problem of Clarifying the Infinite
inferred← citeshttps://doi.org/10.1007/978-1-4471-2173-2_3openalex-snapshot
The Axioms of Zermelo–Fraenkel Set Theory
inferred← citeshttps://doi.org/10.1007/978-1-4471-4616-2_14openalex-snapshot
The Three Battles
inferred← citeshttps://doi.org/10.1007/978-1-4613-0609-2_1openalex-snapshot
On the Early History of Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/978-1-4613-0897-3_3openalex-snapshot
Godel’s Life and Work
inferred← citeshttps://doi.org/10.1007/978-3-030-25365-3_20openalex-snapshot
Denotation, Paradox and Multiple Meanings
inferred← citeshttps://doi.org/10.1007/978-3-030-59177-9_8openalex-snapshot
Experimental Mathematics: Overview and Pedagogical Implications
inferred← citeshttps://doi.org/10.1007/978-3-030-77657-2_2openalex-snapshot
Hilbert’s Axiomatisches Denken
inferred← citeshttps://doi.org/10.1007/978-3-030-77657-2_9openalex-snapshot
Proofs as Objects
inferred← citeshttps://doi.org/10.1007/978-3-031-21655-8_15openalex-snapshot
Steiner’s Wittgenstein
inferred← citeshttps://doi.org/10.1007/978-3-031-31582-4_5openalex-snapshot
Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-34518-0_8openalex-snapshot
Some Remarks About Dependent Type Theory
inferred← citeshttps://doi.org/10.1007/978-3-031-85414-9_3openalex-snapshot
Related Processes
inferred← citeshttps://doi.org/10.1007/978-3-032-09675-3_6openalex-snapshot
Beyond the Code: Gödel’s Incompleteness and the Limits of Formal Governance in DAOs
inferred← citeshttps://doi.org/10.1007/978-3-0348-8278-1_10openalex-snapshot
Foundations of Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-10103-3_1openalex-snapshot
Gentzen’s Consistency Proof in Context
inferred← citeshttps://doi.org/10.1007/978-3-319-10103-3_2openalex-snapshot
Gentzen’s Anti-Formalist Views
inferred← citeshttps://doi.org/10.1007/978-3-319-11041-7_5openalex-snapshot
On the Motives for Proof Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-24756-4_3openalex-snapshot
The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen
inferred← citeshttps://doi.org/10.1007/978-3-319-40229-1_3openalex-snapshot
Logic & Proofs for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-50924-2_29openalex-snapshot
Public and Personal Causations of Creditions
inferred← citeshttps://doi.org/10.1007/978-3-319-60231-8_2openalex-snapshot
First-Order Logic in a Nutshell
inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3_9openalex-snapshot
Iterated Inductive Definitions Revisited
inferred← citeshttps://doi.org/10.1007/978-3-540-74113-8_2openalex-snapshot
First-Order Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-39905-3_23openalex-snapshot
History of the Finite Element Method – Mathematics Meets Mechanics – Part II: Mathematical Foundation of Primal FEM for Elastic Deformations, Error Analysis and Adaptivity
inferred← citeshttps://doi.org/10.1007/978-3-658-12153-2_9openalex-snapshot
Computing in Space and Time
inferred← citeshttps://doi.org/10.1007/978-3-658-19606-6_4openalex-snapshot
Grundlagen des logischen Schließens
inferred← citeshttps://doi.org/10.1007/978-3-658-23715-8_4-1openalex-snapshot
Grundlagen des logischen Schließens
inferred← citeshttps://doi.org/10.1007/978-3-662-72179-7_8openalex-snapshot
Intuitionism
inferred← citeshttps://doi.org/10.1007/978-3-662-72179-7_9openalex-snapshot
Formalism
inferred← citeshttps://doi.org/10.1007/978-3-7091-6432-7_2openalex-snapshot
Elemente der allgemeinen Wissenschaftstheorie
inferred← citeshttps://doi.org/10.1007/978-94-007-2390-0_3openalex-snapshot
Applied Mathematics in the Sciences
inferred← citeshttps://doi.org/10.1007/978-94-007-4435-6_5openalex-snapshot
In the Shadow of Incompleteness: Hilbert and Gentzen
inferred← citeshttps://doi.org/10.1007/978-94-009-1575-6_10openalex-snapshot
Hilbert and Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-1902-0_9openalex-snapshot
Physicalism, Reductionism & Hilbert
inferred← citeshttps://doi.org/10.1007/978-94-009-2476-5_12openalex-snapshot
Reflections on Hilbert’s Program
inferred← citeshttps://doi.org/10.1007/978-94-009-7066-3_1openalex-snapshot
Elementary Predicate Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-8356-4_10openalex-snapshot
Philosophical aspects of proof theory
inferred← citeshttps://doi.org/10.1007/978-94-009-9795-0_4openalex-snapshot
Symbolism and Axiomatics
inferred← citeshttps://doi.org/10.1007/978-94-017-0466-3_2openalex-snapshot
Diagonalization in Logic and Mathematics
inferred← citeshttps://doi.org/10.1007/978-94-017-2796-9_5openalex-snapshot
Toward Finitist Proof Theory
inferred← citeshttps://doi.org/10.1007/978-981-10-6355-8_6openalex-snapshot
Contentual and Formal Aspects of Gentzen’s Consistency Proofs
inferred← citeshttps://doi.org/10.1007/978-981-96-4656-2_2openalex-snapshot
From Logic to Programming
inferred← citeshttps://doi.org/10.1007/bf00485379openalex-snapshot
Relative consistency and accessible domains
inferred← citeshttps://doi.org/10.1007/bf00540093openalex-snapshot
Conditio sine qua non? Zuordnung in the early epistemologies of Cassirer and Schlick
inferred← citeshttps://doi.org/10.1007/bf02022556openalex-snapshot
On Cauchy's convergence test
inferred← citeshttps://doi.org/10.1007/bf03356604openalex-snapshot
Poincaré su Logica e fondamenti
inferred← citeshttps://doi.org/10.1007/s00153-021-00782-7openalex-snapshot
Formalism and Hilbert’s understanding of consistency problems
inferred← citeshttps://doi.org/10.1007/s00422-006-0050-3openalex-snapshot
Symbols as Self-emergent Entities in an Optimization Process of Feature Extraction and Predictions
inferred← citeshttps://doi.org/10.1007/s10516-010-9110-3openalex-snapshot
Consistency, Models, and Soundness
inferred← citeshttps://doi.org/10.1007/s10817-012-9247-4openalex-snapshot
On the Formalization of Theories
inferred← citeshttps://doi.org/10.1007/s10817-021-09594-zopenalex-snapshot
Human-Centered Automated Proof Search
inferred← citeshttps://doi.org/10.1007/s11225-017-9728-xopenalex-snapshot
William Ewald and Wilfried Sieg (eds.), Michael Hallett (associate ed.), David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm (David Hilbert’s Lectures on the Foundations of Mathematics and Physics, 1891–1933, Vol. 3),…
inferred← citeshttps://doi.org/10.1007/s11225-017-9776-2openalex-snapshot
Is There a “Hilbert Thesis”?
inferred← citeshttps://doi.org/10.1007/s11229-005-3718-7openalex-snapshot
TRUTH, REFLECTION, AND HIERARCHIES
inferred← citeshttps://doi.org/10.1007/s11229-010-9823-2openalex-snapshot
Different senses of finitude: An inquiry into Hilbert’s finitism
inferred← citeshttps://doi.org/10.1007/s11229-014-0639-3openalex-snapshot
On the concept of finitism
inferred← citeshttps://doi.org/10.1007/s11229-021-03415-xopenalex-snapshot
Substructural approaches to paradox: an introduction to the special issue
inferred← citeshttps://doi.org/10.1007/s40329-013-0007-zopenalex-snapshot
Poincaré on logic and foundations
inferred← citeshttps://doi.org/10.1016/b978-0-08-025800-3.50014-3openalex-snapshot
Selected Bibliography
inferred← citeshttps://doi.org/10.1016/b978-0-12-599661-7.50011-2openalex-snapshot
Towards A History of Cantor's Continuum Problem
inferred← citeshttps://doi.org/10.1016/b978-0-444-51555-1.50017-1openalex-snapshot
ON COMPUTABILITY
inferred← citeshttps://doi.org/10.1016/b978-044451541-4/50014-2openalex-snapshot
Hilbert's Program Then and Now
inferred← citeshttps://doi.org/10.1016/j.apal.2009.01.008openalex-snapshot
Turing oracle machines, online computing, and three displacements in computability theory
inferred← citeshttps://doi.org/10.1016/j.hm.2016.07.002openalex-snapshot
On A.Ya. Khinchin's paper ‘Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics’ (1926): A translation with introduction and commentary
inferred← citeshttps://doi.org/10.1016/j.jal.2007.07.009openalex-snapshot
Hilbert's epsilon as an operator of indefinite committed choice
inferred← citeshttps://doi.org/10.1016/j.shpsa.2015.05.005openalex-snapshot
Hilbert's axiomatic method and Carnap's general axiomatics
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70338-0openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70009-6openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70115-6openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70656-1openalex-snapshot
The Origins of Forcing
inferred← citeshttps://doi.org/10.1016/s0049-237x(99)80017-2openalex-snapshot
The History and Concept of Computability
inferred← citeshttps://doi.org/10.1016/s0960-0779(96)00055-0openalex-snapshot
Links between physics and set theory
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70009-3openalex-snapshot
Jacques Herbrand: Life, Logic, and Automated Deduction
inferred← citeshttps://doi.org/10.1017/9781316755983.020openalex-snapshot
Remarks on finitism
inferred← citeshttps://doi.org/10.1017/bsl.2014.29openalex-snapshot
GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE
inferred← citeshttps://doi.org/10.1017/bsl.2015.10openalex-snapshot
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
inferred← citeshttps://doi.org/10.1017/bsl.2018.91openalex-snapshot
NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
inferred← citeshttps://doi.org/10.1017/s0269889700003021openalex-snapshot
Brouwer versus Hilbert: 1907–1928
inferred← citeshttps://doi.org/10.1017/s1755020309990323openalex-snapshot
TWO (OR THREE) NOTIONS OF FINITISM
inferred← citeshttps://doi.org/10.1017/s1755020310000122openalex-snapshot
ON THE SYNTAX OF LOGIC AND SET THEORY
inferred← citeshttps://doi.org/10.1017/s175502031900056xopenalex-snapshot
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
inferred← citeshttps://doi.org/10.1017/s1755020321000265openalex-snapshot
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH
inferred← citeshttps://doi.org/10.1023/a:1004908225146openalex-snapshot
HILBERT AND SET THEORY
inferred← citeshttps://doi.org/10.1023/a:1026247421383openalex-snapshot
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
inferred← citeshttps://doi.org/10.1023/a:1026278800910openalex-snapshot
The Russellian Influence on Hilbert and his School
inferred← citeshttps://doi.org/10.1023/a:1026287119565openalex-snapshot
Hilbert's Program Revisited
inferred← citeshttps://doi.org/10.1080/0022250x.1984.9989948openalex-snapshot
Baseline models of sociological phenomena
inferred← citeshttps://doi.org/10.1080/01445340.2013.860732openalex-snapshot
Why Did Weyl Think that Formalism's Victory Against Intuitionism Entails a Defeat of Pure Phenomenology?
inferred← citeshttps://doi.org/10.1080/01445340.2020.1752034openalex-snapshot
Lorenzen's Proof of Consistency for Elementary Number Theory
inferred← citeshttps://doi.org/10.1080/01445340.2025.2499409openalex-snapshot
Kolmogorov's Calculus of Problems and its Legacy
inferred← citeshttps://doi.org/10.1080/01445340210154295openalex-snapshot
Extensions of the Finitist Point of View
inferred← citeshttps://doi.org/10.1080/01445340310001606930openalex-snapshot
Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
inferred← citeshttps://doi.org/10.1080/01445340500141586openalex-snapshot
Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science
inferred← citeshttps://doi.org/10.1080/01445348308837045openalex-snapshot
Notes on the theory of variable binding term operators
inferred← citeshttps://doi.org/10.1086/psaprocbienmeetp.1984.2.192508openalex-snapshot
The Reception of Gödel's Incompleteness Theorems
inferred← citeshttps://doi.org/10.1093/9780197784402.003.0008openalex-snapshot
Weyl’s Attempted Mediation Between Intuitionism and Formalism
inferred← citeshttps://doi.org/10.1093/9780197784402.003.0009openalex-snapshot
Mathematical Structuralism: Weyl’s Positions
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.001.0001openalex-snapshot
A History of Mathematical Impossibility
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.002.0004openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.002.0006openalex-snapshot
Recommended Supplementary Reading
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0001openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0002openalex-snapshot
Prehistory
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0003openalex-snapshot
The First Impossibility Proof
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0004openalex-snapshot
Classical Problems of Antiquity
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0005openalex-snapshot
The Classical Problems
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0006openalex-snapshot
Diorisms
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0007openalex-snapshot
Cube Duplication and Angle Trisection in the Seventeenth and Eighteenth Centuries
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0008openalex-snapshot
Circle Quadrature in the Seventeenth Century
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0009openalex-snapshot
Circle Quadrature in the Eighteenth Century
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0010openalex-snapshot
Impossible Equations Made Possible
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0011openalex-snapshot
Euler and the Bridges of Königsberg
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0012openalex-snapshot
The Insolvability of the Quintic by Radicals
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0013openalex-snapshot
Constructions with Ruler and Compass
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0014openalex-snapshot
Impossible Integrals
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0015openalex-snapshot
Impossibility of Proving the Parallel Postulate
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0016openalex-snapshot
Hilbert and Impossible Problems
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0017openalex-snapshot
Hilbert and Gödel on Axiomatization and Incompleteness
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0018openalex-snapshot
Fermat’s Last Theorem
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0019openalex-snapshot
Impossibility in Physics
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0020openalex-snapshot
Arrow’s Impossibility Theorem
inferred← citeshttps://doi.org/10.1093/oso/9780192867391.003.0021openalex-snapshot
Conclusion
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.001.0001openalex-snapshot
The Oxford History of Phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.002.0005openalex-snapshot
List of Figures and Tables
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.002.0006openalex-snapshot
List of Abbreviations
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0001openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0002openalex-snapshot
Writing systems
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0003openalex-snapshot
Pāṇini
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0004openalex-snapshot
The East Asian tradition
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0005openalex-snapshot
Thetaṣrīfin the medieval Arabic grammatical tradition
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0007openalex-snapshot
Phonological phrasing
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0008openalex-snapshot
Nineteenth-century historical linguists’ contributions to phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0009openalex-snapshot
The Kazan School
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0010openalex-snapshot
Saussure and structural phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0011openalex-snapshot
The Prague School
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0012openalex-snapshot
John R. Firth and the London School
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0013openalex-snapshot
Boas—Sapir—Bloomfield
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0014openalex-snapshot
The (early) history of sign language phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0015openalex-snapshot
Phonology in the Soviet Union
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0016openalex-snapshot
Phonology in Glossematics in Northern and Western Europe
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0017openalex-snapshot
Mid-century American phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0018openalex-snapshot
Developments leading towards generative phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0019openalex-snapshot
The Sound Pattern of Englishand early generative phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0020openalex-snapshot
Phonological derivation in early generative phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0021openalex-snapshot
Representations in generative phonology in the 1970s and 1980s
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0022openalex-snapshot
The interaction between phonology and morphosyntax in generative grammar
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0023openalex-snapshot
Dependency Phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0024openalex-snapshot
Government Phonology in historical perspective
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0025openalex-snapshot
Historical notes on constraint-and-repair approaches
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0026openalex-snapshot
Optimality Theory
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0027openalex-snapshot
The study of variation
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0028openalex-snapshot
Phonetic explanation in phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0029openalex-snapshot
Corpora and phonological analysis
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0030openalex-snapshot
More than seventy years of probabilistic phonology
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0031openalex-snapshot
Phonological theory and computational modelling
inferred← citeshttps://doi.org/10.1093/oso/9780198796800.003.0033openalex-snapshot
Phonology and evolution
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0008openalex-snapshot
Formalism
inferred← citeshttps://doi.org/10.1093/philmat/nkad017openalex-snapshot
Intuition, Iteration, Induction
inferred← citeshttps://doi.org/10.1093/philmat/nkt042openalex-snapshot
Finitistic Arithmetic and Classical Logic
inferred← citeshttps://doi.org/10.1109/hicss.2008.241openalex-snapshot
Managing Mathematical Texts with OWL and Their Graphical Representation
inferred← citeshttps://doi.org/10.1109/icalt.2007.185openalex-snapshot
mArachna - Applying Natural Language Processing Techniques to Ontology Engineering
inferred← citeshttps://doi.org/10.1109/icsmc.2008.4811795openalex-snapshot
KEA - applications of ontology engineering on mathematical natural language texts
inferred← citeshttps://doi.org/10.1109/icspc.2007.4728598openalex-snapshot
KEA - A Knowledge Management System for Mathematics
inferred← citeshttps://doi.org/10.1111/phpr.70027openalex-snapshot
The philosophical significance of Gödel's Dialectica interpretation
inferred← citeshttps://doi.org/10.1145/1290144.1290162openalex-snapshot
Information extraction from mathematical texts by means of natural language processing techniques
inferred← citeshttps://doi.org/10.1305/ndjfl/1093891699openalex-snapshot
An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice.
inferred← citeshttps://doi.org/10.1387/theoria.555openalex-snapshot
Signs, figures and time: Cavaillès on "intuition" in mathematics
inferred← citeshttps://doi.org/10.18318/td.2021.3.22openalex-snapshot
Symbolarium (Wprowadzenie do projektu)
inferred← citeshttps://doi.org/10.2178/bsl/1344861886openalex-snapshot
Gentzen's Proof Systems: Byproducts in a Work of Genius
inferred← citeshttps://doi.org/10.22201/iifs.18704905e.2003.1004openalex-snapshot
What Finitism Could Not Be
inferred← citeshttps://doi.org/10.2307/2272394openalex-snapshot
The work of Kurt Gödel
inferred← citeshttps://doi.org/10.2307/2275512openalex-snapshot
Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
inferred← citeshttps://doi.org/10.2307/421038openalex-snapshot
Hermann Weyl's Intuitionistic Mathematics
inferred← citeshttps://doi.org/10.2307/421139openalex-snapshot
Hilbert's Programs: 1917–1922
inferred← citeshttps://doi.org/10.2307/421184openalex-snapshot
Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
inferred← citeshttps://doi.org/10.3390/math6090146openalex-snapshot
L-Fuzzy Sets and Isomorphic Lattices: Are All the “New” Results Really New? †
inferred← citeshttps://doi.org/10.3917/oj.bouve.2008.01.0323openalex-snapshot
Mathématiques et expérience
inferred← citeshttps://doi.org/10.3917/puf.prade.2020.01.0523openalex-snapshot
Bibliographie
inferred← citeshttps://doi.org/10.4000/cahierscfv.2274openalex-snapshot
Le programme de Gödel et la subjectivité mathématicienne
inferred← citeshttps://doi.org/10.4000/philosophiascientiae.1413openalex-snapshot
Weyl’s Philosophy of Physics: From Apriorism to Holism (1918-1927)
inferred← citeshttps://doi.org/10.4000/philosophiascientiae.1553openalex-snapshot
Philosophie scientifique : origines et interprétations. Hans Reichenbach et le groupe de Berlin
inferred← citeshttps://doi.org/10.4000/philosophiascientiae.2786openalex-snapshot
The Peano School: Logic, Epistemology and Didactics
inferred← citeshttps://doi.org/10.4000/philosophiascientiae.2846openalex-snapshot
Dedekinds Sätze und Peanos Axiomata
inferred← citeshttps://doi.org/10.4288/jafpos.20.0_3openalex-snapshot
The Mathematical Infinite as a Matter of Method( Infinity in Philosophy and Mathematics)
inferred← citeshttps://doi.org/10.4288/jafpos.27.0_1openalex-snapshot
On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects
inferred← citeshttps://doi.org/10.4288/kisoron.41.1_63openalex-snapshot
[Challenged by [challenged by [challenged by the Incompleteness Theorems]]] - a review of K. Godel, "Uber fromal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I", translated and commented by Susumu Hayashi and Mariko Yasugi (2006), / Kazuyuki Tanaka, "Challenged by Godel",…
inferred← citeshttps://doi.org/10.5040/9781472546999.ch-004openalex-snapshot
Kant’s Schematism
inferred← citeshttps://doi.org/10.70675/e4f8af86z1531z4edcza6ccz8fcf7039c709openalex-snapshot
Recherches sur le déflationnisme aléthique contemporain
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.