Matches in SemOpenAlex for { <https://semopenalex.org/work/W4223457823> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W4223457823 endingPage "105120" @default.
- W4223457823 startingPage "105120" @default.
- W4223457823 abstract "Mathematical proofs are both paradigms of certainty and some of the most explicitly-justified arguments that we have in the cultural record. Their very explicitness, however, leads to a paradox, because the probability of error grows exponentially as the argument expands. When a mathematician encounters a proof, how does she come to believe it? Here we show that, under a cognitively-plausible belief formation mechanism combining deductive and abductive reasoning, belief in mathematical arguments can undergo what we call an epistemic phase transition: a dramatic and rapidly-propagating jump from uncertainty to near-complete confidence at reasonable levels of claim-to-claim error rates. To show this, we analyze an unusual dataset of forty-eight machine-aided proofs from the formalized reasoning system Coq, including major theorems ranging from ancient to 21st Century mathematics, along with five hand-constructed cases including Euclid, Apollonius, Hernstein's Topics in Algebra, and Andrew Wiles's proof of Fermat's Last Theorem. Our results bear both on recent work in the history and philosophy of mathematics on how we understand proofs, and on a question, basic to cognitive science, of how we justify complex beliefs." @default.
- W4223457823 created "2022-04-15" @default.
- W4223457823 creator A5009637990 @default.
- W4223457823 creator A5080504431 @default.
- W4223457823 date "2022-08-01" @default.
- W4223457823 modified "2023-09-26" @default.
- W4223457823 title "Epistemic phase transitions in mathematical proofs" @default.
- W4223457823 cites W1972508903 @default.
- W4223457823 cites W1974711434 @default.
- W4223457823 cites W2013323194 @default.
- W4223457823 cites W2022238559 @default.
- W4223457823 cites W2032516423 @default.
- W4223457823 cites W2032558547 @default.
- W4223457823 cites W2052956684 @default.
- W4223457823 cites W2091441427 @default.
- W4223457823 cites W2092685486 @default.
- W4223457823 cites W2095293504 @default.
- W4223457823 cites W2115297031 @default.
- W4223457823 cites W2119858020 @default.
- W4223457823 cites W2126160338 @default.
- W4223457823 cites W2154897810 @default.
- W4223457823 cites W2157562123 @default.
- W4223457823 cites W2171520817 @default.
- W4223457823 cites W21960598 @default.
- W4223457823 cites W2302427413 @default.
- W4223457823 cites W2314890237 @default.
- W4223457823 cites W2333976070 @default.
- W4223457823 cites W2341658315 @default.
- W4223457823 cites W2761190222 @default.
- W4223457823 cites W2964230940 @default.
- W4223457823 cites W3007598106 @default.
- W4223457823 cites W3033639770 @default.
- W4223457823 cites W3103362336 @default.
- W4223457823 cites W3103448208 @default.
- W4223457823 cites W3112586011 @default.
- W4223457823 cites W3123464343 @default.
- W4223457823 cites W3165003809 @default.
- W4223457823 cites W4206486969 @default.
- W4223457823 cites W4248032712 @default.
- W4223457823 doi "https://doi.org/10.1016/j.cognition.2022.105120" @default.
- W4223457823 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/35405458" @default.
- W4223457823 hasPublicationYear "2022" @default.
- W4223457823 type Work @default.
- W4223457823 citedByCount "0" @default.
- W4223457823 crossrefType "journal-article" @default.
- W4223457823 hasAuthorship W4223457823A5009637990 @default.
- W4223457823 hasAuthorship W4223457823A5080504431 @default.
- W4223457823 hasBestOaLocation W42234578231 @default.
- W4223457823 hasConcept C108710211 @default.
- W4223457823 hasConcept C110099512 @default.
- W4223457823 hasConcept C111472728 @default.
- W4223457823 hasConcept C138885662 @default.
- W4223457823 hasConcept C185592680 @default.
- W4223457823 hasConcept C199343813 @default.
- W4223457823 hasConcept C2524010 @default.
- W4223457823 hasConcept C2777686260 @default.
- W4223457823 hasConcept C2780506305 @default.
- W4223457823 hasConcept C33923547 @default.
- W4223457823 hasConcept C55493867 @default.
- W4223457823 hasConcept C71924100 @default.
- W4223457823 hasConcept C7493553 @default.
- W4223457823 hasConcept C98184364 @default.
- W4223457823 hasConceptScore W4223457823C108710211 @default.
- W4223457823 hasConceptScore W4223457823C110099512 @default.
- W4223457823 hasConceptScore W4223457823C111472728 @default.
- W4223457823 hasConceptScore W4223457823C138885662 @default.
- W4223457823 hasConceptScore W4223457823C185592680 @default.
- W4223457823 hasConceptScore W4223457823C199343813 @default.
- W4223457823 hasConceptScore W4223457823C2524010 @default.
- W4223457823 hasConceptScore W4223457823C2777686260 @default.
- W4223457823 hasConceptScore W4223457823C2780506305 @default.
- W4223457823 hasConceptScore W4223457823C33923547 @default.
- W4223457823 hasConceptScore W4223457823C55493867 @default.
- W4223457823 hasConceptScore W4223457823C71924100 @default.
- W4223457823 hasConceptScore W4223457823C7493553 @default.
- W4223457823 hasConceptScore W4223457823C98184364 @default.
- W4223457823 hasLocation W42234578231 @default.
- W4223457823 hasLocation W42234578232 @default.
- W4223457823 hasLocation W42234578233 @default.
- W4223457823 hasOpenAccess W4223457823 @default.
- W4223457823 hasPrimaryLocation W42234578231 @default.
- W4223457823 hasRelatedWork W1833180346 @default.
- W4223457823 hasRelatedWork W1991763980 @default.
- W4223457823 hasRelatedWork W2001715095 @default.
- W4223457823 hasRelatedWork W2045249212 @default.
- W4223457823 hasRelatedWork W2071529284 @default.
- W4223457823 hasRelatedWork W2089855214 @default.
- W4223457823 hasRelatedWork W2159502610 @default.
- W4223457823 hasRelatedWork W3082317221 @default.
- W4223457823 hasRelatedWork W3190575064 @default.
- W4223457823 hasRelatedWork W3195453448 @default.
- W4223457823 hasVolume "225" @default.
- W4223457823 isParatext "false" @default.
- W4223457823 isRetracted "false" @default.
- W4223457823 workType "article" @default.