Obja±nienia intuicyjne w matematyce Jerzy Pogonowski Zakªad Logiki i Kognitywistyki UAM pogon@amu.edu.pl Kraków 2019 Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 1 / 14
Wst p Plan Intuicja matematyczna. Konteksty: odkrycia, uzasadnienia, przekazu. Obja±nienia intuicyjne: przykªady. Poni»sze reeksje oparte s na do±wiadczeniach dydaktycznych jedynie na poziomie uniwersyteckim, uzyskanych podczas prowadzenia kursów dotycz cych matematycznych podstaw kognitywistyki oraz matematycznych metod rozwi zywania problemów. Dobiegaj ca ju» ko«ca posªuga dydaktyczna prelegenta obejmowaªa te» kilka dekad nauczania logiki matematycznej. Odczyt przygotowano w ramach projektu badawczego NCN 2015/17/B/HS1/02232 Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne. Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 2 / 14
Intuicja matematyczna Pogl dy lozofów: Kartezjusz (poj cia oczywiste, ±wiatªo rozumu), Kant (naoczno±, czas i przestrze«w procesie poznania),... Pogl dy matematyków: Poincaré (postrzeganie zmysªowe, indukcja matematyczna, intuicja liczby), Gödel (intuicja matematyczna daje umysªowi dost p do plato«skiego ±wiata obiektów matematycznych),... Pogl dy dydaktyków: Krygowska (wnioskowania empiryczne, intuicyjne, formalne), Sierpi«ska (wyja±nianie, rozumienie, przeszkody epistemologiczne), Tall (trzy ±wiaty matematyki),... Stratykacja intuicji: Protointuicje: zwi zane z naszym uposa»eniem poznawczym. Intuicje wyksztaªcane na drodze przemocy symbolicznej szkoªy. Intuicje profesjonalnych matematyków. Dynamika intuicji matematycznych: nowe wyniki, paradoksy, programy badawcze,... Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 3 / 14
Trzy konteksty Kontekst odkrycia i kontekst uzasadnienia Kontekst odkrycia Hadamard: Psychologia odkrycia matematycznego. Lakatos: Proofs and refutations. Rola intuicji w kontek±cie odkrycia. Matematyka: tworzona czy odkrywana? Badania empiryczne: rozumienie poj, pi kno w matematyce. Kontekst uzasadnienia Dowód w logice i w matematyce. Drogi do dowodu matematycznego. Czy poj cie dowodu matematycznego jest niezmienne? Rola antynomii, paradoksów, patologii. Bª dzenie w matematyce. Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 4 / 14
Trzy konteksty Kontekst przekazu Kontekstem przekazu nazwiemy nast puj ce sfery obecno±ci matematyki w kulturze: Uczenie si i nauczanie matematyki. Popularyzacja matematyki. Wykorzystanie matematyki w sztuce. W kontek±cie przekazu nast puje uzyskanie wiedzy, umiej tno±ci, kompetencji matematycznych. Znaczenie poj matematycznych: jest wyznaczone przez teori. Rozumienie w matematyce: jest wynikiem procesu, w którym znaczenie poj ª czy si z obja±nieniami intuicyjnymi. Obja±nienia intuicyjne: s wskazówkami naprowadzaj cymi na uchwycenie znaczenia. Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 5 / 14
Obja±nienia intuicyjne Obja±nienia werbalne Granica, ci gªo±, itd.: naddatki lingwistyczne w czytaniu denicji (dowolnie maªy dodatni ε), terminy dotycz ce ruchu (d»y, przebiega, zbli»a si ), itp. Werbalny opis rysunków, diagramów, itp. Diagramy Venna nie pozwalaj np. na dystynkcj : wyró»nianie i odró»nianie. Mówienie o zbiorach (dystrybutywne i kolektywne, nieostre, itp.). Problemy z przykªadami z»ycia. Obrazowo± terminologii matematycznej (np. zbiór nigdzieg sty, spójno±, zwarto±, lemat o przelewaniu, itp.). Rola metafor w obja±nieniach werbalnych. Uwaga na nietrafne metafory (por. zwodnicze u»ycia The Basic Metaphor of Innity)! Czy eksplikacje j zykowe mog utrudni zrozumienie w matematyce? Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 6 / 14
Obja±nienia intuicyjne Odwoªania do percepcji Rysunki: rola tªa, sugestywno±, rola konwencji (np. w reprezentacji bryª na rysunkach). Modele 3D. Przyrz dy. Filmy, piosenki, barwy, itd. Software, np.: Geogebra, Mathlab, Mathematica, itd. Rola notacji matematycznej. We are in a class of the fourth grade. The teacher is dictating: `A circle is the position of the points in a plane which are at the same distance from an interior point called the centre.' The good pupil writes this phrase in his copy-book and the bad pupil draws faces, but neither of them understands. Then the teacher takes the chalk and draws a circle on the board. `Ah', think the pupils, `why didn't he say at once, a circle is a round, and we should have understood.' Poincaré Science and method. Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 7 / 14
Obja±nienia intuicyjne Modele zyczne Archimedes: modele mechaniczne (traktowane jako heurystyki) versus metoda wyczerpywania (dostarczaj ca matematycznego dowodu). Poincaré o pracy Kleina: wykorzystanie modelu zycznego (przepªyw pr du) do badania osobliwo±ci funkcji. Fizyka ludowa i zªudzenia, np. tor pocisku w spiralnej rurze. Levi: Mathematical Mechanic. Wspomaganie rozumienia dowodów matematycznych poprzez odwoªania do stosownych zjawisk zycznych. Ghrist: Topology and linkages. Wykorzystanie linkages do wizualizacji tworów wielowymiarowych: Any smooth compact manifold is dieomorphic to the conguration space of some planar linkage. Klein: Mogªoby si wydawa,»e silna naiwna intuicja przestrzenna jest wªa±ciwo±ci rasy teuto«skiej, natomiast umysª czysto logiczny, krytyczny jest bardziej rozwini ty u ras ªaci«skich i semickich. Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 8 / 14
Obja±nienia intuicyjne Modele zyczne Niespodzianki: Galperin: bilard i π. Ustalanie rozwini cia dziesi tnego π poprzez zderzenia kul. Drabina osuwaj ca si po ±cianie. Je±li proponowany model matematyczny prowadzi do absurdu zycznego, to zmieniamy model. Szereg harmoniczny: mrówka na linie, podró» przez pustyni, maksymalny nawis, ucieczka przed zboczenic, pragnienie arcybiskupa, itd. Eksperymenty: igªa Buona, paradoks Bertranda. Problemy wariacyjne. Brachistochrona. Czy ±wiat jest matematyczny? Dlaczego matematyka jest skuteczna w opisie ±wiata? Czy model zyczny mo»e dostarcza zªych intuicji matematycznych? Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 9 / 14
Obja±nienia intuicyjne Do±wiadczenie potoczne Topologia: obiekty z gumy lub plasteliny oraz ich przeksztaªcenia. Ruchy sztywne, przesuni cia, obroty oraz odpowiadaj ce im przeksztaªcenia. Podarty trójk t: wizualizacja wªasno±ci geometrycznych. Ser salami, nó» spr»ynowy i zatyczka. Liczby ujemne: temperatura, pi tra, skacz ce»aby. Do czego odwoªujemy si, obja±niaj c mno»enie liczb caªkowitych? Gry. Ciekawy przypadek z Armi Conwaya: czy dowód matematyczny stanowi ostateczne wyja±nienie (zaskakuj cego) faktu? Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 10 / 14
Obja±nienia intuicyjne Eksperymenty my±lowe Supertasks: Mucha i PKP: zaªo»enia idealizuj ce. Lampa Thomsona, kule Laraudogoitii, itp. Wyobra¹nia wykraczaj ca poza percepcj : Niesko«czono±. Elementy idealne. Ci gªo±. Wielowymiarowo±. Granice intuicji matematycznej oraz granice obja±nie«intuicyjnych. Przekorne (?) dictum Johna von Neumanna: Young man, in mathematics you don't understand things. You just get used to them. Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 11 / 14
Obja±nienia intuicyjne Obja±nienia wewn trzne Geometryczne reprezentacje w arytmetyce. Np.: liczby trójk tne, czworok tne, itd. Interpretacje poj cia pochodnej. Topologia algebraiczna: zastosowania algebry dla charakterystyki poj topologicznych. Funkcja Mertensa jako zmienna losowa (i wykorzystanie tego zaªo»enia w ustaleniu,»e hipoteza Riemanna jest prawdziwa z prawdopodobie«stwem 1). Wymuszanie w teorii mnogo±ci i rozszerzenia przest pne ciaª. Aksjomaty ekstremalne w teorii mnogo±ci. Po cz ±ci intuicyjna argumentacja za porzuceniem aksjomatów ograniczenia a przyjmowaniem aksjomatów istnienia du»ych liczb kardynalnych. Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 12 / 14
Uwagi ko«cowe Wnioski Matematyka: nauka o wzorcach (regularno±ciach, symetriach, itp.) i sztuka rozwi zywania problemów (wedle ustalonych kanonów). Agnostycyzm matematyczny: praktyka badawcza matematyki wydaje si by niezale»na od deklaracji wiary w istnienie ±wiata plato«skiego obiektów matematycznych. Rozumienie w matematyce jako wynik procesu ª czenia znaczenia z obja±nieniami intuicyjnymi. Porównanie: intuicja w kontek±cie odkrycia i w kontek±cie uzasadnienia (analogia: denicje projektuj ce i sprawozdawcze). Terapia matematyczna: nauczanie matematyki dla dorosªych. Przezwyci»anie traumatycznych do±wiadcze«szkolnych. Mo»liwo± u±wiadomienia sªuchaczom roli intuicji. Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 13 / 14
Bibliograa Pogonowski, J. 2016. Kontekst przekazu w matematyce. Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia 8, 119137. Pogonowski, J. 2018. Paradox resolution as a didactic tool. In: Bªaszczyk, P., Pieronkiewicz, B. (Eds.), Mathematical Transgressions 2015, Universitas, Kraków, 324339. Pogonowski, J. 2018. Intuicje a nabywanie wiedzy matematycznej. W: Murawski, R., Wole«ski, J. (Red.) Problemy lozoi matematyki i informatyki. Wydawnictwo Naukowe UAM, Pozna«, 147154. Sierpi«ska, A. 1994. Understanding in Mathematics. The Falmer Press, London. Tall, D. 2013. How Humans Learn to Think Mathematically. Exploring the Three Worlds of Mathematics. Cambridge University Press, Cambridge. Jerzy Pogonowski (MEG) Obja±nienia intuicyjne w matematyce Kraków 2019 14 / 14