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 (only showing first 100 items - show all)
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 ⋮ 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
This page was built for publication:
