Rigour and intuition
type: Item
instance of: scholarly article
title: Rigour and intuition
author: Oliver William Tatton-Brown
published in: Erkenntnis
publication date: 2024-12-10T00:00:00Z
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 57K10
zbMATH DE Number: 7956373
MaRDI profile type: Publication
cites work: A lemma on systems of knotted curves.
cites work: On types of knotted curves.
cites work: Informal proofs and mathematical rigour
cites work: The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof
cites work: Rigor and Structure
cites work: Why Proof? What is a Proof?
cites work: Envisioning transformations -- the practice of topology
cites work: Q4234366
cites work: Confronting ideals of proof with the ways of proving of the research mathematician
cites work: Q3533739
cites work: Differential Topology
cites work: Q4247031
cites work: How to think about informal proofs
cites work: From Euclidean geometry to knots and nets
cites work: Introduction to Smooth Manifolds
cites work: Q3101071
cites work: Why Do We Believe Theorems?
cites work: Why Do We Prove Theorems?
cites work: A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
cites work: Elementare Begründung der Knotentheorie.
cites work: Informal proof, formal proof, formalism
DOI: 10.1007/S10670-019-00180-9
description: scientific article; zbMATH DE number 7956373