• Title/Summary/Keyword: preformal proof

Search Result 2, Processing Time 0.016 seconds

A Study on the meaning of preformal proof and its didactical significance (전형식적 증명의 의미와 교육학적 의의에 관한 연구)

  • 류성림
    • Journal of Educational Research in Mathematics
    • /
    • v.8 no.1
    • /
    • pp.313-326
    • /
    • 1998
  • The purpose of this study is to verify the meaning of preformal proof and its didactical significance in mathematics education. A preformal proof plays a more important role in mathematics education, because nowadays in mathematics a proof is considered as an important fact from a sociological point of view. A preformal proof was classified into four categories: a) action proof, b) geometric-intuitive proof, c) reality oriented proof, d) proof by generalization from paradiam. An educational significance of a preformal proof are followings: a) A proof is not identified with a formal proof. b) A proof is not only considered from a symbolic level, but also from enactive and iconic level. c) A preformal proof generates a formal proof and convinces pupils of a formal proof d) A preformal proof is psychologically natural. e) A preformal proof changes a conception of what is a proof. Therefore a preformal proof is expected to teach in school mathematics from the elementary school to the secondary school.

  • PDF

On the Didactical Meaning of Preformal Proofs (전형식적 증명의 교수학적 의미에 관한 고찰)

  • Hong Jin Kon;Kwon Seok Il
    • The Mathematical Education
    • /
    • v.43 no.4
    • /
    • pp.381-390
    • /
    • 2004
  • In this study, we conceptualized the ‘preformal proof’, which is a transitive level of proof from the experimental and inductive justification to the formalized mathematical proof. We investigated concrete features of the preformal proof in the historico-genetic and the didactical situations. The preformal proof can get the generality of the contents of proof, which makes a distinction from the experimental proof. And we can draw a distinction between the preformal and formal proof, in point that the preformal proof heads for the reality-oriented objects and does not use the formal language.

  • PDF