scientific article; zbMATH DE number 1021615
From MaRDI portal
Publication:4340904
zbMath0913.00010MaRDI QIDQ4340904
Publication date: 16 June 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to history and biography (01-02) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02)
Related Items (28)
Beautiful formalizations in Isabelle/Naproche ⋮ Can zombies write mathematical poetry? Mathematical poetry as a model for humanistic mathematics ⋮ An outlook on behavioural OR -- three tasks, three pitfalls, one definition ⋮ Exploratory Experimentation: Digitally-Assisted Discovery and Proof ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Russell's Paradox: A Historical Study about the Paradox in Frege's Theories ⋮ Top-down and bottom-up philosophy of mathematics ⋮ Mathematics as the Art of Abstraction ⋮ Ugly mathematics: why do mathematicians dislike computer-assisted proofs? ⋮ Does Mathematics Need Foundations? ⋮ Speech acts in mathematics ⋮ Wigner's ``Unreasonable effectiveness of mathematics, revisited ⋮ Cyclotomy and Ramanujan sums in quantum phase locking ⋮ Mathematics, ethics and purism: an application of MacIntyre's virtue theory ⋮ Social constructivism in mathematics? The promise and shortcomings of Julian Cole's institutional account ⋮ Epistemic injustice in mathematics ⋮ Experimental mathematics, computers and the a priori ⋮ On the Educational Legacies of Jonathan M. Borwein ⋮ Learning and teaching ``what is mathematics ⋮ A dialogue on the ethics of mathematics ⋮ Is mathematics problem solving or theorem proving? ⋮ Reply to Martin Gardner. ⋮ Can one define geometry today? ⋮ Mathematics as information compression via the matching and unification of patterns ⋮ Reviews ⋮ The applicability of mathematics as a philosophical problem: mathematization as exploration ⋮ Diagrams in mathematics ⋮ Evolution and design inside and outside mathematics
This page was built for publication:
