scientific article; zbMATH DE number 3521895
From MaRDI portal
Publication:4099559
zbMATH Open0334.00022MaRDI QIDQ4099559FDOQ4099559
Authors: Imre Lakatos 
Publication date: 1976
Title of this publication is not available (Why is that?)
Recommendations
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)
- Abel and his mathematics in contexts.
- Contextualizing Unguru’s 1975 Attack on the Historiography of Ancient Greek Mathematics
- Turán's brick factory problem: the status of the conjectures of Zarankiewicz and Hill
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- The need for proof and proving: mathematical and pedagogical perspectives
- An examination of counterexamples in Proofs and Refutations
- Belief systems and partial spaces
- An upper bound on the derivational complexity of Knuth-Bendix orderings.
- Philosophy of mathematics: an outlook
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- Principles of task design for conjecturing and proving
- Project work in university mathematics education. A Danish experience: Aalborg University
- The advance party
- Unpacking the logic of mathematical statements
- mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library
- An elementary proof of Euler's formula using Cauchy's method
- Legendre's revolution (1794): the definition of symmetry in solid geometry
- Characteristic classes
- Identifiability of structural characteristics: how relevant is it for the Bayesian approach?
- The role of symmetry in mathematics
- Informal and absolute proofs: some remarks from a Gödelian perspective
- Inconsistency in mathematics and the mathematics of inconsistency
- Explanation in AI and law: past, present and future
- The Nemytskii operator in bounded \((p,\alpha)\)-variation space
- Bridging the gap between argumentation theory and the philosophy of mathematics
- Mathematics and argumentation
- Bridging the gap between argumentation theory and the philosophy of mathematics
- Towards a theory of mathematical argument
- Nemytskii operator on \((\phi,2,\alpha )\)-bounded variation space in the sense of Riesz
- The well-designed young mathematician
- David Hilbert and the foundations of the theory of plane area
- Generalisations, examples, and counter-examples in analysis and optimisation. \textit{In honour of Michel Théra at 70}
- Arguments, proofs, and dialogues
- Knowledge representation for mathematical discovery: Three experiments in graph theory
- Geometric invariants for 3-manifolds
- Using Theorema in the Formalization of Theoretical Economics
- Eliciting implicit assumptions of Mizar proofs by property omission
- Computational logic: its origins and applications
- Comments on indivisibles and infinitesimals: a response to David Sherry, by Amir Alexander: in view of the original book
- Definition in mathematics
- Heuristics and inferential microstructures: the path to quaternions
- Logic, ontology, mathematical practice
- Purposive discovery of operators
- Introduction
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
- On Lakatos's decomposition of the notion of proof
- Structural relativity and informal rigour
- Integrating searching and authoring in Mizar
- Hidden lemmas in Euler's summation of the reciprocals of the squares
- On the differentiability of continuous functions -- Ampère's proof and its consequences
- Open texture and mathematics
- Peano's axioms in their historical context
- A German translation of Euler's articles on the polyhedron formula now available on the world wide web
- Mathematics and conceptual analysis
- 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
- Analogical arguments in mathematics
- A discrete Gauss-Bonnet type theorem
- Objects and processes in mathematical practice
- A star in the Minkowskian sky: anisotropic special relativity
- Some proposals for reviving the philosophy of mathematics
- 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
- Justifying definitions in mathematics -- going beyond Lakatos
- 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
- Efficient network authentication protocols: lower bounds and optimal implementations
- Reply to Schenkerman's avoiding rank reversal in AHP decision support models
- 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
- Proofs and refutations. The logic of mathematical discovery. Edited by John Worrall and Elie Zahar
- 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
- 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
- Title not available (Why is that?)
- Von Riemann zu Lebesgue - zur Entwicklung der Integrationstheorie
- Checking proofs
- 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
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)
