Matches in SemOpenAlex for { <https://semopenalex.org/work/W2327098766> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2327098766 endingPage "254" @default.
- W2327098766 startingPage "249" @default.
- W2327098766 abstract "Suppose you attend a seminar where a mathematician presents a proof to some of his colleagues. Suppose further that what he is proving is an important mathematical statement Now the following happens: as the mathematician proceeds, his audience is amazed at first, then becomes angry and finally ends up disturbing the lecture (some walk out, some laugh, …). If in addition, you see that the proof he is presenting is formally speaking (nearly) correct, would you say you are witnessing an extraordinary event in urgent need of explanation? Surely, your answer would be yes. But do events of this type actually occur? The matter of the fact is, yes, they do. This paper presents the details of such an event, suggests a possible explanation and examines its implications for our understanding of mathematical practice." @default.
- W2327098766 created "2016-06-24" @default.
- W2327098766 creator A5010627384 @default.
- W2327098766 date "1988-01-01" @default.
- W2327098766 modified "2023-10-14" @default.
- W2327098766 title "Non-Formal Properties of Real Mathematical Proofs" @default.
- W2327098766 cites W1023474539 @default.
- W2327098766 cites W1966922104 @default.
- W2327098766 cites W2003979840 @default.
- W2327098766 cites W2945964015 @default.
- W2327098766 cites W2998385477 @default.
- W2327098766 cites W4247372240 @default.
- W2327098766 doi "https://doi.org/10.1086/psaprocbienmeetp.1988.1.192992" @default.
- W2327098766 hasPublicationYear "1988" @default.
- W2327098766 type Work @default.
- W2327098766 sameAs 2327098766 @default.
- W2327098766 citedByCount "5" @default.
- W2327098766 countsByYear W23270987662013 @default.
- W2327098766 countsByYear W23270987662016 @default.
- W2327098766 countsByYear W23270987662023 @default.
- W2327098766 crossrefType "journal-article" @default.
- W2327098766 hasAuthorship W2327098766A5010627384 @default.
- W2327098766 hasConcept C108710211 @default.
- W2327098766 hasConcept C111472728 @default.
- W2327098766 hasConcept C121332964 @default.
- W2327098766 hasConcept C138885662 @default.
- W2327098766 hasConcept C199343813 @default.
- W2327098766 hasConcept C2524010 @default.
- W2327098766 hasConcept C2777026412 @default.
- W2327098766 hasConcept C2777686260 @default.
- W2327098766 hasConcept C2779662365 @default.
- W2327098766 hasConcept C2780506305 @default.
- W2327098766 hasConcept C33923547 @default.
- W2327098766 hasConcept C41008148 @default.
- W2327098766 hasConcept C62520636 @default.
- W2327098766 hasConcept C71924100 @default.
- W2327098766 hasConcept C94461902 @default.
- W2327098766 hasConceptScore W2327098766C108710211 @default.
- W2327098766 hasConceptScore W2327098766C111472728 @default.
- W2327098766 hasConceptScore W2327098766C121332964 @default.
- W2327098766 hasConceptScore W2327098766C138885662 @default.
- W2327098766 hasConceptScore W2327098766C199343813 @default.
- W2327098766 hasConceptScore W2327098766C2524010 @default.
- W2327098766 hasConceptScore W2327098766C2777026412 @default.
- W2327098766 hasConceptScore W2327098766C2777686260 @default.
- W2327098766 hasConceptScore W2327098766C2779662365 @default.
- W2327098766 hasConceptScore W2327098766C2780506305 @default.
- W2327098766 hasConceptScore W2327098766C33923547 @default.
- W2327098766 hasConceptScore W2327098766C41008148 @default.
- W2327098766 hasConceptScore W2327098766C62520636 @default.
- W2327098766 hasConceptScore W2327098766C71924100 @default.
- W2327098766 hasConceptScore W2327098766C94461902 @default.
- W2327098766 hasIssue "1" @default.
- W2327098766 hasLocation W23270987661 @default.
- W2327098766 hasOpenAccess W2327098766 @default.
- W2327098766 hasPrimaryLocation W23270987661 @default.
- W2327098766 hasRelatedWork W2052002021 @default.
- W2327098766 hasRelatedWork W206284198 @default.
- W2327098766 hasRelatedWork W2327098766 @default.
- W2327098766 hasRelatedWork W2531885751 @default.
- W2327098766 hasRelatedWork W2748952813 @default.
- W2327098766 hasRelatedWork W2899084033 @default.
- W2327098766 hasRelatedWork W2953142914 @default.
- W2327098766 hasRelatedWork W348414836 @default.
- W2327098766 hasRelatedWork W4210480840 @default.
- W2327098766 hasRelatedWork W4298436293 @default.
- W2327098766 hasVolume "1988" @default.
- W2327098766 isParatext "false" @default.
- W2327098766 isRetracted "false" @default.
- W2327098766 magId "2327098766" @default.
- W2327098766 workType "article" @default.