scientific article; zbMATH DE number 2000106
From MaRDI portal
Publication:4433665
zbMath1089.00003MaRDI QIDQ4433665
Publication date: 3 November 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) General topics in artificial intelligence (68T01) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02)
Related Items (19)
Lakatos's criticism of Carnapian inductive logic was mistaken ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Duality as a category-theoretic concept ⋮ How to think about informal proofs ⋮ A Practice-Based Approach to Diagrams ⋮ Figures, Formulae, and Functors ⋮ Non-deductive Logic in Mathematics: The Probability of Conjectures ⋮ Experimental mathematics, computers and the a priori ⋮ Introduction ⋮ Logic of imagination. Echoes of Cartesian epistemology in contemporary philosophy of mathematics and beyond ⋮ Another Look at Mathematical Style, as Inspired by Le Lionnais and the OuLiPo ⋮ What can the philosophy of mathematics learn from the history of mathematics? ⋮ Pluralism and “Bad” Mathematical Theories: Challenging our Prejudices ⋮ On the persuasiveness of visual arguments in mathematics ⋮ Mathematics and argumentation ⋮ Naturalness in Mathematics ⋮ From Euclidean geometry to knots and nets ⋮ Expressing `the structure of' in homotopy type theory ⋮ L’équivalence duale de catégories: A Third Way of Analogy?
This page was built for publication:
