36
Αποδεικτικές μέθοδοι Οι αποδεικτικές μέθοδοι που χρησιμοποιούσαν οι μαθηματικοί της ελληνικής αρχαιότητας (αλλά και σήμερα) είναι τέσσερις και αναφέρονται στο έργο του Αριστοτέλη "Περί Λογικής" (Ο Αριστοτέλης περιέγραφε μάλλον τις μεθόδους αυτές των μαθηματικών της εποχής, παρά τις επινόησε ο ίδιος). Η Συνθετική μέθοδος: Με τη μέθοδο αυτή, από τους ορισμούς, τα αξιώματα και τις απλούστερες προτάσεις που αποδεικνύονται από αυτά, οδηγείται κανείς στην απόδειξη της ζητούμενης πρότασης. Η Αναλυτική μέθοδος: Η πρόταση που ζητείται υποτίθεται πως ισχύει. ξεκινώντας τώρα από αυτήν με μια σειρά συλλογισμών, που μπορεί να αντιστραφούν, φτάνουμε σε κάποια αλήθεια, γνωστή από άλλου. Τότε συμπεραίνουμε ότι πράγματι η πρόταση που υποτέθηκε είναι πράγματι αληθής. Η μέθοδος αυτή αποδίδεται από τον Πρόκλο (σχολιαστή του Ευκλείδη) στον Πλάτωνα. Όμως ήταν γνωστή στον Ιπποκράτη τον Χίο και τους Πυθαγόρειους πολύ πριν τον Πλάτωνα. Η απαγωγή εις άτοπον: Έστω ότι για μια πρόταση είναι δυνατόν να ισχύουν δύο μόνο ενδεχόμενα το Α ή το Β. Δεχόμαστε ότι ισχύει το ένα από τα δύο το Β έστω (το αντίθετο από το ζητούμενο και από αυτό που περιμένουμε ως αληθές) και καταλήγουμε με μια σειρά συλλογισμών σε συμπέρασμα "άτοπο" δηλαδή σε συμπέρασμα αντιφατικό και που μας είναι γνωστό ότι δεν ισχύει. Έτσι έμμεσα μπορούμε να πούμε ότι ισχύει το Α, αφού η ισχύς του οδηγεί σε τερατογέννεση στη θεωρία. Η τέλεια επαγωγή: Με τη μέθοδο αυτή που λέγεται και μέθοδος του "αναδρομικού συλλογισμού" αποδεικνύεται ότι μια πρόταση έχει ολική ισχύ αν: 1 ισχύει για μια αρχική τιμή και 2 ότι αν ισχύει για ένα τυχαίο ενδιάμεσο ν-οστό βήμα τότε ισχύει για το επόμενο από αυτό βήμα (ν+1). (αφορά την άλγεβρα και συγκεκριμένα στηρίζεται στην

Αποδεικτικές μέθοδοι

Embed Size (px)

DESCRIPTION

ασδφ ασδφ

Citation preview

( ) " " ( , ).

: , , , . : . , , , . . ( ) . . : . ( ) "" . , . : " " : 1 2 - (+1). ( ) VII, VIII, IX .

-

(. ) , ( )

-

( ) -

1. : , - ( ) 2. : . ( ) ( Chevallard)

pattern ( ) ( context )

- - , :

, ( ), . , , , , , , . , . . , . , . , , . , , , , . , . . , , . . . - - . , , , . ,

, , , , , . , .

. . , . . "" , . , , . , , . , . . . . . : " ;" ( ). , . , , , .

. . . (. [2]): 1. . 2. (. ) . 3. , , . ( ). ( ), , , , , , , . " ". (. [1]). - . , , . . . "" . . . , .

. : . . - (behaviourism) (Connectionism Associationism) ... 1920 The Psychology of Arithmetic (1922 New York: Macmillan) Edward Thorndike. "" (associations) "" . . H horndike : 1. (law of effect). -, , . 2. (law of readiness). . 3. (law of exercise). , . - - . John Watson Ivan Pavlov Thorndike. , B.F. Skinner. Skinner Thorndike "trial and error", . Skinner . Skinner "" "" , (skinner box) . Pavlov . Pavlov , .

. Pavlov -- , . , , , , . . - . , . , . , () 2+1, (). 3, (). , 2+1=3. , . ' , , , . . , . , , . , . . 1960. , , , . . , , , . (repetitio est mater studiorum) ( ) . . . . , , . , . ,

, ( " "), , . . , , . (S-R theories) : - ; - ; - ( ) - ; - ; - ; - . (Gestalt) - G. Polya W. Kohler. . Wertheimer, (rote learning) (learning with meaning). Gestalt (), : , . Kohler "" . "insight" ( ) , . Gestalt ( '50) ( ). ,

. . , , , . Gestalt . : " " . " " . - . . . . Gestalt (pattern) (structure - orientated teaching) . "" (heurestics) . , (problematic situations). George Polya How to Solve it, Stanford 1944 . ( ) : 1. 2. 3. 4. (). ( ) : i) : - - - ii) -

iii) : - " " - " " "". - .. (. " ") iv) - , , . - . , . . o Polya , "" (Meta-cognition) . "" (self monitoring), "" (selfregulation) "" (evaluation). A. Schoenfeld. 1. . ; 2. (control self-regulation): ; 3. "" : ; () , Gestalt . , . '50 . . . ... - " " (. Skinner). ...

, . (artificial intelligence). . , , , , , , . , , , , . . ( 1970 1980), . . , . . , , , . , , . . , . , . , , . . . , . . +5=6 5 ( ).

5=6 5 . J. Piaget (Genetic Epistemology) Gestalt " " (meaning theory), " " (schema theory) J. Piaget. . Piaget , . . Piaget . B . . . "" (schema) Piaget . . "" (organisation) , . . "" (adaptation), : - "" (assimilation), - "" (accommodation) . Piaget . ( ), Piaget . (equilibre - desequilibre). . Piaget, . ( ),

. . ( ). 1. " " (sensorimotor stage): 0-2 , ( , ). , , . , , . , . . 2. " " (preoperational) " ": 2-7 , . , . , , , , , , , , , . , , . . , , , , . 3. " " (concrete operational stage) " " : ( 6-7 12-13). , . , , , . , , , , . , , , , , , , .. , , , .

4. " " (stage of formal operations) " ": 12 . , , , . , , , , . . . 15-16 , . , , , . , . . , , . , , , , E=ab, . , 16-17 , , , , , , , , ... . Piaget, . , , , . , , , , , .. . . (J. Biggs, K. Collis). R. Skemp , " " (mental reconstruction). Piaget , , . Piaget . Piaget 1970 ,

. 70 . J. Piaget : 1. 2. . 3. ("" , ... Piaget - - ( ) ( ). Piaget (M. Donaldson). Piaget . (context) . M. Donaldson ( ). , , . Donaldson Piaget . . . . Piaget . : " ; " . Piaget . Piaget . .

. McGarrigle " ;" 48% . Donaldson, Hughes Booth. Piaget ... Hughes 3 . 2+3 . Piaget , , Piaget. Piaget . Donaldson Piaget, . (7-11 ) , (. ) (.. ). - Piaget. , . " . " (P. Cobb). , , . . , , , . " " ' , . . .

- ( ?). L. Vygotsky K. Marx , , . Vygotsky . . Leont'ev " " (cultural meaning) " " (personal meaning). , . , . , , ( ). . : : ""-, , , , , , ... : ,, , , , ( ), , , (internet)... Jerome Bruner (discovery learning) O J. Bruner . , , , , . . , , . . ,

. Bruner . "" . . J. Bruner : 1. ' 2. . . 3. ( Piaget). O Bruner , Piaget. , . Bruner, , , " ". " " (spiral curriculum) . , , , , (drill curriculum). Bruner . : " . ' , ' ' . , . , " J. Bruner. R. Gagne " " . . Gagne

runer. (Costructivism) "constructivism" Von Glaserfeld 1983. ' , ' , . . , , . J. Confrey " . . "". () ". . " " , . " " : 1. 2. , . Von Glaserfeld : " ". ( ) . . , ( ). . "" , ( "", L. Brower (1908) . Brower

, , , , . , , . " ". " ", " ". , . " ": , , . - Freudenthal , . . , , . - (projects) , . , , . " ". (. ) . , . H. Freudenthal , , - . Freudenthal , , . Freudenthal R. Lawler, H. Bauersfeld R. Lesh. Lawler - "". " " , Piaget . . " " Bauersfeld , ( ),

( ) , , " " (conceptual model) Lesh . ( , , ). Lesh "concept formation" (problem solving) ( context ). Lesh " . ". Vergnaud R. Douady. "" . " " (context) . , . . , " " . "" . , , - . ' " " .

. : . . .

"" "" . (. ) . (. [1], . . [7]) ( ). , 21 (. [2]): 1. () - - () . , . , (T.N.Carraher, D.W.Carraher, A.D.Schliemann [3], L. Resnick [7]) 2. , , , . , . 3. . 4. , -, . 5. . , , 6. - - , , - , , , . 7. , ( ) ( ). 8. ( ), (), . . 9. .

() . , . 10. , . , , , . (. [1]) 11. , , - , , , . . 12. , . , . 13. ' (, , , ). : - . - . - . - . . , , , .

[1] ( . , ) " ", . Gutenberg, 1999, 13-14. [2] , " ", , . Gutenberg, 2001 [3] ( . , ), " ", Leader Books, 2000.

[4] L. Streefland, " ", . Leaderbooks ( . ). [5] (. ), " ", , 1996. [6] Margaret Donaldson, " ", . Gutenberg. [7] Martin Hughes, " ", . Gutenberg. [8] , (. . ), " """ , 2001. [9] " ", 5 , , 2001, 97-98. [10] , ( .. ), " 21 ", 5 , , 2001 ,. 69-71. [11] , " ", . Gutenberg, 1994 [12] G. Polya, , . . [13] Michel Henry, " ", Irem de Besancon, 1991. ( . ).