Rigour and intuition

DOI10.1007/s10670-019-00180-9MaRDI QIDQ6651277

Oliver William Tatton-Brown

Publication date: 10 December 2024

Published in: Erkenntnis (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Knot theory (57K10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• How to think about informal proofs
• Informal proofs and mathematical rigour
• Confronting ideals of proof with the ways of proving of the research mathematician
• On types of knotted curves.
• Elementare Begründung der Knotentheorie.
• A lemma on systems of knotted curves.
• From Euclidean geometry to knots and nets
• Informal proof, formal proof, formalism
• Introduction to Smooth Manifolds
• Rigor and Structure
• Why Do We Believe Theorems?
• Why Proof? What is a Proof?
• Differential Topology
• Why Do We Prove Theorems?
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof
• Envisioning transformations -- the practice of topology

Related Items (1)

Reconciling \textit{Rigor and intuition}

This page was built for publication: Rigour and intuition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6651277)