scientific article; zbMATH DE number 3521895
From MaRDI portal
Publication:4099559
zbMath0334.00022MaRDI QIDQ4099559
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Related Items
In a Class With Klein: Generating A Model of the Hyperbolic Plane, Reply to Schenkerman's avoiding rank reversal in AHP decision support models, Recursive categoricity and recursive stability, Towards a credit network based early warning indicator for crises, Peano's axioms in their historical context, Purposive discovery of operators, Experimental Approaches to Theoretical Thinking: Artefacts and Proofs, The Need for Proof and Proving: Mathematical and Pedagogical Perspectives, Proof, Proving, and Teacher-Student Interaction: Theories and Contexts, From Exploration to Proof Production, The well-designed young mathematician, The advance party, Unpacking the logic of mathematical statements, Project work in university mathematics education. A Danish experience: Aalborg University, Identifiability of structural characteristics: how relevant is it for the Bayesian approach?, The role of symmetry in mathematics, Hidden lemmas in Euler's summation of the reciprocals of the squares, The Nemytskii operator in bounded \((p,\alpha)\)-variation space, Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus, Top-down and bottom-up philosophy of mathematics, Ten misconceptions from the history of analysis and their debunking, 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, Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation, How to think about informal proofs, Generalisations, examples, and counter-examples in analysis and optimisation. \textit{In honour of Michel Théra at 70}, 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, Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention, Letter, On uniform convergence of sequences and series of fuzzy-valued functions, An upper bound on the derivational complexity of Knuth-Bendix orderings., Social processes and proofs of theorems and programs, A discrete Gauss-Bonnet type theorem, Eliciting implicit assumptions of Mizar proofs by property omission, Objects and processes in mathematical practice, Mathematical applications of inductive logic programming, Proof and refutation in MALL as a game, Word choice in mathematical practice: a case study in polyhedra, Requiem for logical nihilism, or: logical nihilism annihilated, Reliability of mathematical inference, A star in the Minkowskian sky: anisotropic special relativity, Command algebras, recursion and program transformation, Recent developments in primality testing, Models and the dynamics of theory-building in physics. I: Modeling strategies, Nemytskii operator on \((\phi,2,\alpha )\)-bounded variation space in the sense of Riesz, Type inference for polymorphic references, The logical study of science, A successful concept for measuring non-planarity of graphs: The crossing number., On the edge of a paradigm shift: Quantum nonlocality and the breakdown of peaceful coexistence, Fractal geometry—The case of a rapid career, Explanation of two non-blocking shared-variable communication algorithms, Mathematics and conceptual analysis, Categories for the working mathematician: making the impossible possible, Modernizing the philosophy of mathematics, Knowledge representation for mathematical discovery: Three experiments in graph theory, The spaces of functions of two variables of bounded \(\kappa \Phi\)-variation in the sense of Schramm-Korenblum, Integrating searching and authoring in Mizar, Open texture and mathematics, Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof, Geometric invariants for 3-manifolds, What can the philosophy of mathematics learn from the history of mathematics?, Platitudes in mathematics, A dialogue on the ethics of mathematics, A German translation of Euler's articles on the polyhedron formula now available on the world wide web, Logic, ontology, mathematical practice, On the differentiability of continuous functions -- Ampère's proof and its consequences, Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship, Inconsistency in mathematics and the mathematics of inconsistency, Counting complexity classes for numeric computations. II: Algebraic and semialgebraic sets, Proofs and retributions, or: why Sarah can't take limits, Belief systems and partial spaces, Continuum, name and paradox, Mathematical models and reality: A constructivist perspective, Legendre's revolution (1794): the definition of symmetry in solid geometry, 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, 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, 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, Abductive inference in defeasible reasoning: a model for research programmes, The problem of the invariance of dimension in the growth of modern topology. II, Von Riemann zu Lebesgue - zur Entwicklung der Integrationstheorie, Polyhedra and symmetry, Exceptions and counterexamples: understanding Abel's comment on Cauchy's theorem, Logic of paradox revisited, The Poincaré-Volterra theorem: A significant event in the history of the theory of analytic functions, The flux theory of gravitation. V: The mathematics of the new physics, Abel and his mathematics in contexts., The quantum Hall effects: philosophical approach, Law, learning and representation, AROUND EULER'S THEOREM ON SUMS OF DIVISORS, Characteristic Classes, On definitions in mathematics, Vertical line and point symmetries of differentiable functions, Philosophy of mathematics: an outlook, What is a proof?, Principles of Task Design for Conjecturing and Proving, Argumentation and Proof in the Mathematics Classroom, Examining the Role of Logic in Teaching Proof, Computational logic: its origins and applications, 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, Some Problems in the History of Modern Mathematics, Against logical generalism, Maddy On The Multiverse, Formal and Natural Proof: A Phenomenological Approach, Does Mathematics Need Foundations?, Mathematics, ethics and purism: an application of MacIntyre's virtue theory, Purity and Explanation: Essentially Linked?, What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers, Enabling mathematical cultures: introduction, Mathematicians writing for mathematicians, Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society, Unnamed Item, Contextualizing Unguru’s 1975 Attack on the Historiography of Ancient Greek Mathematics, Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950, Introduction, Values, gender and images of mathematics: a philosophical perspective, Efficient network authentication protocols: Lower bounds and optimal implementations, True Grit in Real Analysis, Logic, Reasoning, Argumentation: Insights from the Wild, The construction of formal logical systems without axioms, 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, Unnamed Item, 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, On Experimental Mathematics and Mathematics Education, Hyperloops Do Not Threaten the Notion of an Effective Procedure, Irrational rotations motivate measurable sets, Guided discovery of the nine-point circle theorem and its proof, Using Theorema in the Formalization of Theoretical Economics, mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library, Visual thinking and simplicity of proof, Euler's combinatorial mathematics, Incremental System Modelling in Event-B, The fundamental theorem of algebra and complexity theory, Social processes, program verification and all that, Louis Olivier: A Mathematician Only Known Through his Publications in Crelle's Journal During the 1820s, Kantian Philosophy of Mathematics and Young Robots, Turán’s Brick Factory Problem: The Status of the Conjectures of Zarankiewicz and Hill, Computers as a Source of A Posteriori Knowledge in Mathematics, Is it mathematics or is it school mathematics?, Emmental squares are tasty, The Euler tiling formula
