scientific article; zbMATH DE number 3521895
From MaRDI portal
Publication:4099559
zbMATH Open0334.00022MaRDI QIDQ4099559FDOQ4099559
Publication date: 1976
Title of this publication is not available (Why is that?)
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02)
Cited In (only showing first 100 items - show all)
- A German translation of Euler's articles on the polyhedron formula now available on the world wide web
- Mathematics and conceptual analysis
- Efficient network authentication protocols: Lower bounds and optimal implementations
- Checking Proofs
- The logical study of science
- The quantum Hall effects: philosophical approach
- Mathematical applications of inductive logic programming
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
- From Euclidean geometry to knots and nets
- A discrete Gauss-Bonnet type theorem
- Objects and processes in mathematical practice
- Philosophy of mathematics: an outlook
- A star in the Minkowskian sky: anisotropic special relativity
- Some proposals for reviving the philosophy of mathematics
- The Algebra of Geometric Impossibility: Descartes and Montucla on the Impossibility of the Duplication of the Cube and the Trisection of the Angle
- A successful concept for measuring non-planarity of graphs: The crossing number.
- Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
- Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Type inference for polymorphic references
- Reply to Schenkerman's avoiding rank reversal in AHP decision support models
- Analogical Arguments in Mathematics
- The flux theory of gravitation. V: The mathematics of the new physics
- Title not available (Why is that?)
- Towards a credit network based early warning indicator for crises
- Louis Olivier: A Mathematician Only Known Through his Publications in Crelle's Journal During the 1820s
- Continuum, name and paradox
- Explanation of two non-blocking shared-variable communication algorithms
- Recent developments in primality testing
- On uniform convergence of sequences and series of fuzzy-valued functions
- Mathematical models and reality: A constructivist perspective
- Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
- Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics
- Towards a theory of mathematical argument
- Proof and refutation in MALL as a game
- Command algebras, recursion and program transformation
- Proofs and retributions, or: why Sarah can't take limits
- Modernizing the philosophy of mathematics
- Knowledge representation for mathematical discovery: Three experiments in graph theory
- Geometric invariants for 3-manifolds
- The problem of the invariance of dimension in the growth of modern topology. II
- Models and the dynamics of theory-building in physics. I: Modeling strategies
- The spaces of functions of two variables of bounded \(\kappa \Phi\)-variation in the sense of Schramm-Korenblum
- Ten misconceptions from the history of analysis and their debunking
- Top-down and bottom-up philosophy of mathematics
- Against logical generalism
- Von Riemann zu Lebesgue - zur Entwicklung der Integrationstheorie
- The problem of the invariance of dimension in the growth of modern topology, part I
- Categories for the working mathematician: making the impossible possible
- Letter
- Polyhedra and symmetry
- Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets
- How to think about informal proofs
- Exceptions and counterexamples: understanding Abel's comment on Cauchy's theorem
- Platitudes in mathematics
- A dialogue on the ethics of mathematics
- Logic of paradox revisited
- What can the philosophy of mathematics learn from the history of mathematics?
- Law, learning and representation
- Recursive categoricity and recursive stability
- The fundamental theorem of algebra and complexity theory
- The Poincaré-Volterra theorem: A significant event in the history of the theory of analytic functions
- Social processes and proofs of theorems and programs
- Incremental System Modelling in Event-B
- Arguing Around Mathematical Proofs
- What is a proof?
- Some Problems in the History of Modern Mathematics
- Vertical line and point symmetries of differentiable functions
- Arguments, Proofs, and Dialogues
- On the edge of a paradigm shift: Quantum nonlocality and the breakdown of peaceful coexistence
- Open texture and mathematics
- Formal and Natural Proof: A Phenomenological Approach
- Peano's axioms in their historical context
- Abductive inference in defeasible reasoning: a model for research programmes
- Irrational rotations motivate measurable sets
- In a class with Klein: generating a model of the hyperbolic plane
- Abel and his mathematics in contexts.
- Mathematics, ethics and purism: an application of MacIntyre's virtue theory
- Contextualizing Unguru’s 1975 Attack on the Historiography of Ancient Greek Mathematics
- Purity and Explanation: Essentially Linked?
- Logic, Reasoning, Argumentation: Insights from the Wild
- Is it mathematics or is it school mathematics?
- Emmental squares are tasty
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- Social processes, program verification and all that
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship
- Belief systems and partial spaces
- An upper bound on the derivational complexity of Knuth-Bendix orderings.
- Argumentation and Proof in the Mathematics Classroom
- Experimental Approaches to Theoretical Thinking: Artefacts and Proofs
- From Exploration to Proof Production
- Examining the Role of Logic in Teaching Proof
- Proof, Proving, and Teacher-Student Interaction: Theories and Contexts
- On Experimental Mathematics and Mathematics Education
- Another Look at Mathematical Style, as Inspired by Le Lionnais and the OuLiPo
- Analogy and Invention Some Remarks on Poincaré’s Analysis Situs Papers
- Frontier Theory of Inquiry: Apparent Conflicts Between the Ghent Logical Program and the “Darwinian” Selectionist Program
- Geometric Metrics for Topological Representations
- Exploring the abyss in Kleene's computability theory
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- Characteristic Classes
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)