scientific article; zbMATH DE number 3521895
From MaRDI portal
Publication:4099559
Recommendations
Cited in
(only showing first 100 items - show all)- Von Riemann zu Lebesgue - zur Entwicklung der Integrationstheorie
- Recursive categoricity and recursive stability
- The problem of the invariance of dimension in the growth of modern topology, part I
- Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Social processes and proofs of theorems and programs
- Recent developments in primality testing
- The logical study of science
- Modernizing the philosophy of mathematics
- Knowledge representation for mathematical discovery: Three experiments in graph theory
- Geometric invariants for 3-manifolds
- Logic, ontology, mathematical practice
- On the differentiability of continuous functions -- Ampère's proof and its consequences
- Some proposals for reviving the philosophy of mathematics
- Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics
- Reply to Schenkerman's avoiding rank reversal in AHP decision support models
- Purposive discovery of operators
- Hidden lemmas in Euler's summation of the reciprocals of the squares
- An upper bound on the derivational complexity of Knuth-Bendix orderings.
- A successful concept for measuring non-planarity of graphs: The crossing number.
- Towards a credit network based early warning indicator for crises
- Identifiability of structural characteristics: how relevant is it for the Bayesian approach?
- The role of symmetry in mathematics
- Generalisations, examples, and counter-examples in analysis and optimisation. \textit{In honour of Michel Théra at 70}
- Legendre's revolution (1794): the definition of symmetry in solid geometry
- The flux theory of gravitation. V: The mathematics of the new physics
- Abel and his mathematics in contexts.
- Peano's axioms in their historical context
- The advance party
- Unpacking the logic of mathematical statements
- Project work in university mathematics education. A Danish experience: Aalborg University
- Eliciting implicit assumptions of Mizar proofs by property omission
- Open texture and mathematics
- Proofs and retributions, or: why Sarah can't take limits
- Belief systems and partial spaces
- Explanation in AI and law: past, present and future
- David Hilbert and the foundations of the theory of plane area
- From Euclidean geometry to knots and nets
- Structural relativity and informal rigour
- On Lakatos's decomposition of the notion of proof
- The Nemytskii operator in bounded \((p,\alpha)\)-variation space
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
- Nemytskii operator on \((\phi,2,\alpha )\)-bounded variation space in the sense of Riesz
- Inconsistency in mathematics and the mathematics of inconsistency
- Bridging the gap between argumentation theory and the philosophy of mathematics
- Towards a theory of mathematical argument
- Mathematics and argumentation
- Informal and absolute proofs: some remarks from a Gödelian perspective
- Comments on indivisibles and infinitesimals: a response to David Sherry, by Amir Alexander: in view of the original book
- Heuristics and inferential microstructures: the path to quaternions
- Definition in mathematics
- The quantum Hall effects: philosophical approach
- The well-designed young mathematician
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- Mathematical applications of inductive logic programming
- Integrating searching and authoring in Mizar
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets
- Abductive inference in defeasible reasoning: a model for research programmes
- Exceptions and counterexamples: understanding Abel's comment on Cauchy's theorem
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- An elementary proof of Euler's formula using Cauchy's method
- How to grow it? Strategies of mathematical development presented by the example of enumerating certain set partitions
- Word choice in mathematical practice: a case study in polyhedra
- Requiem for logical nihilism, or: logical nihilism annihilated
- Reliability of mathematical inference
- On the edge of a paradigm shift: Quantum nonlocality and the breakdown of peaceful coexistence
- Fractal geometry—The case of a rapid career
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship
- In a class with Klein: generating a model of the hyperbolic plane
- Experimental approaches to theoretical thinking: artefacts and proofs. With a response by Jonathan M. Borwein and Judy-anne Osborn
- The need for proof and proving: mathematical and pedagogical perspectives
- Proof, proving, and teacher-student interaction: theories and contexts
- From exploration to proof production
- Principles of task design for conjecturing and proving
- Argumentation and proof in the mathematics classroom
- Examining the role of logic in teaching proof
- Arguments, proofs, and dialogues
- Arguing Around Mathematical Proofs
- Checking proofs
- Strategic maneuvering in mathematical proofs
- Analogical arguments in mathematics
- Towards a theory of mathematical argument
- Bridging the gap between argumentation theory and the philosophy of mathematics
- Mathematical arguments and distributed knowledge
- Justifying definitions in mathematics -- going beyond Lakatos
- An examination of counterexamples in Proofs and Refutations
- The Euler tiling formula
- Frontier theory of inquiry: apparent conflicts between the Ghent logical program and the ``Darwinian selectionist program
- Another look at mathematical style, as inspired by Le Lionnais and the OuLiPo
- Analogy and invention some remarks on Poincaré's analysis situs papers
- Geometric metrics for topological representations
- Louis Olivier: A Mathematician Only Known Through his Publications in Crelle's Journal During the 1820s
- Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
- The algebra of geometric impossibility: Descartes and Montucla on the impossibility of the duplication of the cube and the trisection of the angle
- Throwing some light on the vast darkness that is analysis: Niels Henrik Abel's critical revision and the concept of absolute convergence
- Hyperloops do not threaten the notion of an effective procedure
- Lakatos, Lakoff and Núñez: towards a satisfactory definition of continuity
- Authoritarian versus authoritative teaching: Pólya and Lakatos
- Top-down and bottom-up philosophy of mathematics
- Ten misconceptions from the history of analysis and their debunking
- Incremental System Modelling in Event-B
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 Q4099559)
