从中、英、美三国的一道高考题到数学的"形式化"

作者：王奋平

来源：中学数学, 2009, (3): 37-38.

DOI：10.3969/j.issn.1002-7572.2009.03.017

形式化是数学的基本特征之一,缺少形式化的数学不能称之为真正的数学,2007高考广东理科卷第8题就是一道来源于抽象代数的"代数运算" 试题,值得一看: 例1 设S是至少含有两个元素的集合,在S上定义了一个二元运算"*"(即对任意的a,b∈S,对于有序元素对(a,b),在S中有唯一确定的元素a﹡b与之对应).若对任意的a,b∈S,有a﹡(b﹡a)=b,则对任意的a,b∈S,下列等式中不恒成立的是

• 单位
  海南热带海洋学院