How to think about informal proofs
Bibliographic Data
| ID | 10810567 |
|---|---|
| Authors | Brendan Larvor (0000-0003-0921-1659, University of Hertfordshire, corresponding author) |
| Year | 2012 |
| Volume | 187 |
| Issue | 2 |
| Pages | 715-730 |
| Publication date | 2012-07-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-011-0007-5 |
| OpenAlex | W2159502610 |
| Language | EN |
| Citations received | 12 |
| References cited | 27 |
Argumentation theory · Articulation (sociology) · Calculus (dental) · Dependency (UML) · Epistemology · Field (mathematics) · Informal logic · Mathematical practice · Mathematical proof · Metaphysics · Philosophy of language · Philosophy of science · Pure mathematics · Artificial Intelligence · Computer Science · Law · Mathematics · Philosophy · Philosophy and History of Science · Philosophy and Theoretical Science · Pragmatism in Philosophy and Education
L’imagination manipulatoire en mathématique
An Inquiry into the Practice of Proving in Low-Dimensional Topology
Rigor and formalization
Reliability of mathematical inference
On the unreasonable reliability of mathematical inference
The role of syntactic representations in set theory
From Euclidean geometry to knots and nets
How to make (mathematical) assertions with directives
Definitions in practice
Open texture, rigor, and proof
The material reasoning of folding paper
Instructions and constructions in set theory proofs
| Unique citing works | 12 |
|---|---|
| Citations per year | 1,09 |
| Citation span | 2015 - 2024 (10) |
| Citation velocity | recent |
| Highly cited | No |
| Citation types | Neutral: 11 |