Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100976489> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3100976489 endingPage "46" @default.
- W3100976489 startingPage "23" @default.
- W3100976489 abstract "Mathematicians judge proofs to possess, or lack, a variety of different qualities, including, for example, explanatory power, depth, purity, beauty and fit. Philosophers of mathematical practice have begun to investigate the nature of such qualities. However, mathematicians frequently draw attention to another desirable proof quality: being motivated. Intuitively, motivated proofs contain no puzzling steps, but they have received little further analysis. In this paper, I begin a philosophical investigation into motivated proofs. I suggest that a proof is motivated if and only if mathematicians can identify (i) the tasks each step is intended to perform; and (ii) where each step could have reasonably come from. I argue that motivated proofs promote understanding, convey new mathematical resources and stimulate new discoveries. They thus have significant epistemic benefits and directly contribute to the efficient dissemination and advancement of mathematical knowledge. Given their benefits, I also discuss the more practical matter of how we can produce motivated proofs. Finally I consider the relationship between motivated proofs and proofs which are explanatory, beautiful and fitting." @default.
- W3100976489 created "2020-11-23" @default.
- W3100976489 creator A5022020216 @default.
- W3100976489 date "2019-11-07" @default.
- W3100976489 modified "2023-09-27" @default.
- W3100976489 title "MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM" @default.
- W3100976489 cites W1278605765 @default.
- W3100976489 cites W1599995045 @default.
- W3100976489 cites W1965593738 @default.
- W3100976489 cites W1973840855 @default.
- W3100976489 cites W1994310612 @default.
- W3100976489 cites W2001029533 @default.
- W3100976489 cites W2020606208 @default.
- W3100976489 cites W2028465450 @default.
- W3100976489 cites W2074239860 @default.
- W3100976489 cites W2093515094 @default.
- W3100976489 cites W2113598420 @default.
- W3100976489 cites W2144979317 @default.
- W3100976489 cites W2312608158 @default.
- W3100976489 cites W2320543258 @default.
- W3100976489 cites W2334424468 @default.
- W3100976489 cites W2464901709 @default.
- W3100976489 cites W2481261732 @default.
- W3100976489 cites W2757109586 @default.
- W3100976489 cites W2912919409 @default.
- W3100976489 cites W2951716328 @default.
- W3100976489 cites W2962997137 @default.
- W3100976489 cites W4230678187 @default.
- W3100976489 cites W4235065294 @default.
- W3100976489 cites W9327061 @default.
- W3100976489 doi "https://doi.org/10.1017/s1755020319000583" @default.
- W3100976489 hasPublicationYear "2019" @default.
- W3100976489 type Work @default.
- W3100976489 sameAs 3100976489 @default.
- W3100976489 citedByCount "5" @default.
- W3100976489 countsByYear W31009764892020 @default.
- W3100976489 countsByYear W31009764892021 @default.
- W3100976489 countsByYear W31009764892023 @default.
- W3100976489 crossrefType "journal-article" @default.
- W3100976489 hasAuthorship W3100976489A5022020216 @default.
- W3100976489 hasBestOaLocation W31009764892 @default.
- W3100976489 hasConcept C108710211 @default.
- W3100976489 hasConcept C111472728 @default.
- W3100976489 hasConcept C136197465 @default.
- W3100976489 hasConcept C138885662 @default.
- W3100976489 hasConcept C154945302 @default.
- W3100976489 hasConcept C199343813 @default.
- W3100976489 hasConcept C2524010 @default.
- W3100976489 hasConcept C2777402642 @default.
- W3100976489 hasConcept C2777686260 @default.
- W3100976489 hasConcept C2779530757 @default.
- W3100976489 hasConcept C33923547 @default.
- W3100976489 hasConcept C41008148 @default.
- W3100976489 hasConcept C71924100 @default.
- W3100976489 hasConceptScore W3100976489C108710211 @default.
- W3100976489 hasConceptScore W3100976489C111472728 @default.
- W3100976489 hasConceptScore W3100976489C136197465 @default.
- W3100976489 hasConceptScore W3100976489C138885662 @default.
- W3100976489 hasConceptScore W3100976489C154945302 @default.
- W3100976489 hasConceptScore W3100976489C199343813 @default.
- W3100976489 hasConceptScore W3100976489C2524010 @default.
- W3100976489 hasConceptScore W3100976489C2777402642 @default.
- W3100976489 hasConceptScore W3100976489C2777686260 @default.
- W3100976489 hasConceptScore W3100976489C2779530757 @default.
- W3100976489 hasConceptScore W3100976489C33923547 @default.
- W3100976489 hasConceptScore W3100976489C41008148 @default.
- W3100976489 hasConceptScore W3100976489C71924100 @default.
- W3100976489 hasIssue "1" @default.
- W3100976489 hasLocation W31009764891 @default.
- W3100976489 hasLocation W31009764892 @default.
- W3100976489 hasOpenAccess W3100976489 @default.
- W3100976489 hasPrimaryLocation W31009764891 @default.
- W3100976489 hasRelatedWork W1501252054 @default.
- W3100976489 hasRelatedWork W1974437003 @default.
- W3100976489 hasRelatedWork W1979207622 @default.
- W3100976489 hasRelatedWork W2593594917 @default.
- W3100976489 hasRelatedWork W2748355983 @default.
- W3100976489 hasRelatedWork W2898122862 @default.
- W3100976489 hasRelatedWork W4238340825 @default.
- W3100976489 hasRelatedWork W78285691 @default.
- W3100976489 hasRelatedWork W93818274 @default.
- W3100976489 hasRelatedWork W2462653211 @default.
- W3100976489 hasVolume "13" @default.
- W3100976489 isParatext "false" @default.
- W3100976489 isRetracted "false" @default.
- W3100976489 magId "3100976489" @default.
- W3100976489 workType "article" @default.