瞭解數學理解-數學教師知識庫.docVIP

瞭解數學理解 Michener, E. R. (1978). Understanding understanding mathematics. Cognitive Science, 2, 361-383. 摘要 此篇文章說明數學理解的構成要素與過程。分析數學知識的組成、以有條理的方法組織起來，並記錄其在理解過程中一些重要項目的分類。因此，我們從數學知識去建立一個概念架構。然後利用這個表徵描述如何獲得理解、利用這些觀念來說明教室經驗。 介紹 一個數學家說他瞭解一個數學定理，他除了有推論此定理與證明的知識外，還具有更多的相關知識。他知道相關的例子與解決的方法以及它們之間的相關性。他可以判斷如何應用、何時應用以及什麼才是值得記憶的。他對這個主題有直覺、它是如何前後一致、它和其它定理有何相關。 此篇是有關於傳統所討論以外的數學的非邏輯知識。目標是發展一個概念架構以討論數學的知識以及瞭解數學理解，目的是促使如何學數學、教數學以及做數學。 Polya 說：『具有豐富的知識與組織能力是解決問題的資產。提出有組織且可用的知識比知識的多寡來的重要。』(The same is true for aspects of mathematics other than problem solving)因此，我們第一個尋求解答的問題是：『什麼是數學知識的構成要素、類型、功用？』『這些知識是如何被組織、如何呈現出來？』 數學知識的認識論 此部分所呈現的數學知識的概念架構是根據瞭解一般數學及特殊數學定理時各種知識的作用（role）。依據教科書、課堂的筆記、討論以及新加入的數學家和專業數學家的草稿等資料構成了認識論。此認識論反映了教師、學生、數學家的經驗。分類、描述知識是有選擇的方法，我們要選擇最合適的作者的經驗來學習、幫助學生學習數學。要注意的是這裡的認識論並不完整，也就是說，它並不代表所有方面的數學知識。 分析數學家（學生和專家）在做數學、解釋數學時的知識，會有幾種數學的知識：（1）有範圍的資訊群（clusters of strongly bound pieces of information），例如定理的陳述，把它的命名、證明、重要性放在一起便構成單一項目（item），例如定理；（2）項目間的關係，譬如：定理間的邏輯關係。 2.1 例子、結果、概念 區分三個重要項目的分類：結果，包含傳統邏輯推演的數學元素，也就是，定理；例子，包含作為解說性的實例的資料；概念，包含數學的定義、直觀推斷（啟發式）（heuristic）的概念及忠告。 結果是由邏輯輔助（logical support）的關係所組成，也就是A→B，意思是用A的結果去證明B。例如：唯一分解（unique factorization）的理論，在證明每一個整數可被唯一分解之前，首先須證明在歐幾里得算則（輾轉相除法）（Euclidean algorithm）和最大公因數下所輔助（supporting）的結果。結果和邏輯輔助的關係構成了結果空間（results-space）。 例子間也有一個自然的關係。例子可以由建構式的引導（constructional derivation）的關係組織出來，A→B，意思是用例子A去建構例子B。例如：Cantor set (康托爾集)是從單位區間去掉三分之一’的過程所建構出來的，因此單位區間→Cantor set：康托爾方程式和高因次的康托爾集也是由單位區間和康托爾集所建構出來的。 個人的算術經驗是一個很典型的例子的群。每一個人開始有自然數N的概念，然後引進非正整數（也可以說是做減法）建立了整數 Z 的概念。商可以導出有理數Q，再從有理數中為了補足數線上的缺口建立實數 R 。如果有人繼續研究基礎數論，那麼可以建立更多的例子，像是Gassian integers Z[i]（高斯整數），以質數Z/pZ為模的整數域以及p-adic numbers Qp(p進數) 。這些例子可以根據他們建構的關係而組織起來，如下圖： p-adic numbers來自Q和Z/Pz，因為這兩個都可以用來建構Qp（Qp可以由Q以矩陣根據Cauchy sequences所形成，就像實數R 是從Q 或 Z/pZ與『inverse limits』有關的一個代數的建構）。這個點有兩個建構的方法可以導出Qp，這是以直線圖示來呈現這些關係，不是簡單的樹狀圖。 例子有幾個一般的特性值得注意：（1）圖示是例子的主要部分；（2）建構就像是過程；（3）圖示是有變化的的，事實上上面所顯示的Cantor set 只是一個序列中的一個小架構而已。 概念的種類包含了正式觀念與非正式觀念，例如，定義和直觀推斷