Matches in SemOpenAlex for { <https://semopenalex.org/work/W286102864> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W286102864 endingPage "220" @default.
- W286102864 startingPage "213" @default.
- W286102864 abstract "In this paper the notion of “procept” (in the sense of Gray & Tall, 1994) is extended to advanced mathematics by considering mathematical proof as “formal procept”. The statement of a theorem or question as a symbol may evoke the proof deduction as a process that may contain sequential procedures and require the synthesis of distinct cognitive units or the general notion of the theorem or question as an object like a manipulable entity to be used as inputs to other theorems or questions. Therefore, a theorem, for example, could act as a pivot between a process (method of proof) and the concept (general notion of the theorem). We hypothesise that mature theorem-based understanding (in the sense of Chin & Tall, 2000) should possess the ability to consider a theorem as a “formal procept”, and it takes time to develop this ability. Some empirical evidence reveals that only a minority of the first year mathematics students at Warwick could recognise a relevant theorem as a “concept” and these did not have the theorem with the notion of its proof as a “formal procept”. A year later some more successful students showed a concept of the theorem as a “formal procept” and their capability of manipulating the theorem flexibly." @default.
- W286102864 created "2016-06-24" @default.
- W286102864 creator A5052005662 @default.
- W286102864 date "2003-07-01" @default.
- W286102864 modified "2023-09-23" @default.
- W286102864 title "Mathematical Proof as Formal Procept in Advanced Mathematical Thinking." @default.
- W286102864 cites W1497733606 @default.
- W286102864 cites W1584475005 @default.
- W286102864 cites W1974711434 @default.
- W286102864 cites W2049926613 @default.
- W286102864 hasPublicationYear "2003" @default.
- W286102864 type Work @default.
- W286102864 sameAs 286102864 @default.
- W286102864 citedByCount "2" @default.
- W286102864 crossrefType "journal-article" @default.
- W286102864 hasAuthorship W286102864A5052005662 @default.
- W286102864 hasConcept C108710211 @default.
- W286102864 hasConcept C111472728 @default.
- W286102864 hasConcept C11413529 @default.
- W286102864 hasConcept C118615104 @default.
- W286102864 hasConcept C135754263 @default.
- W286102864 hasConcept C136119220 @default.
- W286102864 hasConcept C138885662 @default.
- W286102864 hasConcept C173613240 @default.
- W286102864 hasConcept C194886279 @default.
- W286102864 hasConcept C199343813 @default.
- W286102864 hasConcept C202444582 @default.
- W286102864 hasConcept C203265346 @default.
- W286102864 hasConcept C206880738 @default.
- W286102864 hasConcept C2318724 @default.
- W286102864 hasConcept C2524010 @default.
- W286102864 hasConcept C2777026412 @default.
- W286102864 hasConcept C2777686260 @default.
- W286102864 hasConcept C33923547 @default.
- W286102864 hasConcept C41008148 @default.
- W286102864 hasConcept C45962547 @default.
- W286102864 hasConcept C71924100 @default.
- W286102864 hasConcept C94461902 @default.
- W286102864 hasConceptScore W286102864C108710211 @default.
- W286102864 hasConceptScore W286102864C111472728 @default.
- W286102864 hasConceptScore W286102864C11413529 @default.
- W286102864 hasConceptScore W286102864C118615104 @default.
- W286102864 hasConceptScore W286102864C135754263 @default.
- W286102864 hasConceptScore W286102864C136119220 @default.
- W286102864 hasConceptScore W286102864C138885662 @default.
- W286102864 hasConceptScore W286102864C173613240 @default.
- W286102864 hasConceptScore W286102864C194886279 @default.
- W286102864 hasConceptScore W286102864C199343813 @default.
- W286102864 hasConceptScore W286102864C202444582 @default.
- W286102864 hasConceptScore W286102864C203265346 @default.
- W286102864 hasConceptScore W286102864C206880738 @default.
- W286102864 hasConceptScore W286102864C2318724 @default.
- W286102864 hasConceptScore W286102864C2524010 @default.
- W286102864 hasConceptScore W286102864C2777026412 @default.
- W286102864 hasConceptScore W286102864C2777686260 @default.
- W286102864 hasConceptScore W286102864C33923547 @default.
- W286102864 hasConceptScore W286102864C41008148 @default.
- W286102864 hasConceptScore W286102864C45962547 @default.
- W286102864 hasConceptScore W286102864C71924100 @default.
- W286102864 hasConceptScore W286102864C94461902 @default.
- W286102864 hasLocation W2861028641 @default.
- W286102864 hasOpenAccess W286102864 @default.
- W286102864 hasPrimaryLocation W2861028641 @default.
- W286102864 hasRelatedWork W1829203858 @default.
- W286102864 hasRelatedWork W2052210355 @default.
- W286102864 hasRelatedWork W2060125517 @default.
- W286102864 hasRelatedWork W2079553224 @default.
- W286102864 hasRelatedWork W2126819080 @default.
- W286102864 hasRelatedWork W2162413751 @default.
- W286102864 hasRelatedWork W220769212 @default.
- W286102864 hasRelatedWork W234791599 @default.
- W286102864 hasRelatedWork W240125502 @default.
- W286102864 hasRelatedWork W261565763 @default.
- W286102864 hasRelatedWork W2773061040 @default.
- W286102864 hasRelatedWork W2887280481 @default.
- W286102864 hasRelatedWork W2992848045 @default.
- W286102864 hasRelatedWork W2994146173 @default.
- W286102864 hasRelatedWork W2994905741 @default.
- W286102864 hasRelatedWork W3081926153 @default.
- W286102864 hasRelatedWork W3087605708 @default.
- W286102864 hasRelatedWork W341031787 @default.
- W286102864 hasRelatedWork W346914469 @default.
- W286102864 hasRelatedWork W59080842 @default.
- W286102864 hasVolume "2" @default.
- W286102864 isParatext "false" @default.
- W286102864 isRetracted "false" @default.
- W286102864 magId "286102864" @default.
- W286102864 workType "article" @default.