scientific article; zbMATH DE number 3521895

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)