Matches in SemOpenAlex for { <https://semopenalex.org/work/W4247668164> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W4247668164 endingPage "167" @default.
- W4247668164 startingPage "140" @default.
- W4247668164 abstract "This chapter focuses on a distinction between a proof, which appears in customary mathematical discourse and has an irreducible semantic content, and a derivation, which is a syntactic object of some formal system. Derivations are seen as meaningless; such meanings as they are associated with are now shifted to the metalanguage. The chapter also shows that although it's true that proofs are indispensable to mathematical practice, this is compatible with the claim that its derivations in one or another algorithmic system that underlie a characteristic about whether a proof is or isn't convincing. There is a strong tendency in some circles to argue that proof is the only view which mathematicians find convincing." @default.
- W4247668164 created "2022-05-12" @default.
- W4247668164 creator A5028555842 @default.
- W4247668164 date "2006-01-05" @default.
- W4247668164 modified "2023-09-25" @default.
- W4247668164 title "The Derivation-Indicator View of Mathematical Practice" @default.
- W4247668164 doi "https://doi.org/10.1093/acprof:oso/9780195187137.003.0011" @default.
- W4247668164 hasPublicationYear "2006" @default.
- W4247668164 type Work @default.
- W4247668164 citedByCount "0" @default.
- W4247668164 crossrefType "book-chapter" @default.
- W4247668164 hasAuthorship W4247668164A5028555842 @default.
- W4247668164 hasConcept C102315432 @default.
- W4247668164 hasConcept C108710211 @default.
- W4247668164 hasConcept C111472728 @default.
- W4247668164 hasConcept C138885662 @default.
- W4247668164 hasConcept C142998047 @default.
- W4247668164 hasConcept C199343813 @default.
- W4247668164 hasConcept C2524010 @default.
- W4247668164 hasConcept C2777686260 @default.
- W4247668164 hasConcept C2780506305 @default.
- W4247668164 hasConcept C2781238097 @default.
- W4247668164 hasConcept C33923547 @default.
- W4247668164 hasConcept C41008148 @default.
- W4247668164 hasConcept C41895202 @default.
- W4247668164 hasConcept C71924100 @default.
- W4247668164 hasConceptScore W4247668164C102315432 @default.
- W4247668164 hasConceptScore W4247668164C108710211 @default.
- W4247668164 hasConceptScore W4247668164C111472728 @default.
- W4247668164 hasConceptScore W4247668164C138885662 @default.
- W4247668164 hasConceptScore W4247668164C142998047 @default.
- W4247668164 hasConceptScore W4247668164C199343813 @default.
- W4247668164 hasConceptScore W4247668164C2524010 @default.
- W4247668164 hasConceptScore W4247668164C2777686260 @default.
- W4247668164 hasConceptScore W4247668164C2780506305 @default.
- W4247668164 hasConceptScore W4247668164C2781238097 @default.
- W4247668164 hasConceptScore W4247668164C33923547 @default.
- W4247668164 hasConceptScore W4247668164C41008148 @default.
- W4247668164 hasConceptScore W4247668164C41895202 @default.
- W4247668164 hasConceptScore W4247668164C71924100 @default.
- W4247668164 hasLocation W42476681641 @default.
- W4247668164 hasOpenAccess W4247668164 @default.
- W4247668164 hasPrimaryLocation W42476681641 @default.
- W4247668164 hasRelatedWork W1889321220 @default.
- W4247668164 hasRelatedWork W1964977425 @default.
- W4247668164 hasRelatedWork W2016166106 @default.
- W4247668164 hasRelatedWork W2052002021 @default.
- W4247668164 hasRelatedWork W2081418977 @default.
- W4247668164 hasRelatedWork W2238001906 @default.
- W4247668164 hasRelatedWork W2512487471 @default.
- W4247668164 hasRelatedWork W2738410476 @default.
- W4247668164 hasRelatedWork W2944982397 @default.
- W4247668164 hasRelatedWork W348414836 @default.
- W4247668164 isParatext "false" @default.
- W4247668164 isRetracted "false" @default.
- W4247668164 workType "book-chapter" @default.