Kimmo Eriksson 2004-09-28 Matematikens idéhistoria Några stora matematiker och något minnesvärt de gjort Pythagoras, grek, 500-talet f Kr: Pythagoras sats (men den var känd långt före Pyhagoras...) Euklides, grek, 300-talet f Kr: Elementa, om geometri, världens längst använda lärobok Arkimedes, från Syrakusa, 200-talet f Kr: beräknade ytor och volymer al-Kowarizmi, arab, 700-talet: algebra och algoritmer René Descartes, fransman, 1600-talet: analytisk geometri Isaac Newton, engelsman, 1600-talet: differentialkalkyl Gottfried Wilhelm von Leibniz, tysk, 1600-talet: också differentialkalkyl (i prioritetsstrid med Newton) Leonhard Euler, schweizare, 1700-talet: komplexa tal Carl Friedrich Gauss, 1800-talet: algebrans fundamentalsats Niels Henrik Abel, norrman, 1800-talet: femtegradsekvationens olösbarhet Evariste Galois, fransman, 1800-talet: gruppteori Srinivasa Ramanujan, indier, 1900-talet: talteoretiska identiteter John von Neumann, ungrare, 1900-talet: datorn, atombomben, spelteori Milstolpar i matematikens idéhistoria positiva heltal rationella tal nollan negativa tal irrationella tal imaginära och komplexa tal modulär aritmetik axiom-sats-bevis variabler och ekvationer abstrakt algebra geometri icke-euklidisk geometri oändlighet gränsvärden formell mängdlära mängdlärans begränsningar begränsningar hos formella bevis datorn De flesta milstolparna ovan är av mycket gamla årgångar. Under 1900-talet skedde många fler idémässiga genombrott – det var det sekel under vilket matematiken har firat sina största framgångar! Men dessa moderna genombrott låter sig inte beskrivas utan användning av avancerad matematik. Modern matematik är av denna anledning svår att popularisera. Vad är matematik? "Mathematics is the science which draws necessary conclusions." BENJAMIN PEIRCE (1870) "Mathematics is purely hypothetical: it produces nothing but conditional propositions." CHARLES PEIRCE (1870) "Mathematics is that subject which knows nothing of observation, experiment, induction or causation." THOMAS HUXLEY (1890) "Mathematics is that subject in which no one knows what he is talking about, nor whether what he says is true." BERTRAND RUSSELL (1901) "Pure Mathematics the class of propositions of the form 'p implies q' where p and q are propositions containing logical constants and the same variables." BERTRAND RUSSELL (1903) "Mathematics springs direct from the inherent powers and activities of the human mind." JAMES SYLVESTER (CA 1900) Enligt Nationalencyklopedin är matematik vetenskapen som studerar det abstrakta, inte den yttre verkligheten. Studier av det abstrakta sker inom matematik på så sätt att man inledningsvis gör definitioner av abstrakta objekt och antaganden om vissa abstrakta förutsättningar och därefter enligt logiska principer argumenterar fram till slutsatser. De logiska principerna är såvitt vi vet universella, det vill säga gäller alltid och överallt. En klassisk fråga är huruvida matematiken upptäcks eller uppfinns. Med andra ord, existerar all matematik redan i en platonsk idévärld? Eller är matematiken en mänsklig konstruktion? Mitt svar är att matematiken både uppfinns och upptäcks i ett intimt samspel. Definitioner är mänskliga konstruktioner – de uppfinns. Men så fort en definition är uppfunnen skapas genom de logiska principerna en värld av slutsatser som matematikerna kan utforska – slutsatserna upptäcks. Matematikens tidigaste historia Den mest typiska abstraktionen som vi tillämpar logiska principer för att studera är tal. De första skriftliga bevisen på räkning med tal är 5000 år gamla lertavlor från Mesopotamien. Talen användes för administrativt bruk (räkning av djur och ätbara saker) och nedtecknades på mycket avancerade sätt. Positionssystem med olika baser användes beroende på vad som räknades (levande varelser eller döda ting). Ren och tillämpad matematik I Mesopotamien använde man tydligen matematik för att räkna på högst konkreta saker som djur och frukt. Hur går det ihop med att matematik är vetenskapen som studerar det abstrakta? Motsägelsen är bara skenbar. Abstraktioner som räknetal har ju tillkommit just för att fånga egenskaper hos konkreta företeelser. Mellanledet mellan det konkreta och det abstrakta kallas modellering. Den som använder matematik för att utforska den yttre verkligheten sägs ägna sig åt tillämpad matematik. Den som utforskar den matematiska idévärlden, utan avseende på dess bäring på den yttre verkligheten, sägs ägna sig åt ren matematik. Liksom alla kategoriseringar är uppdelningen i ren och tillämpad matematik bara användbar ibland. Ren matematik kan få 2 tillämpningar senare, och tillämpningar kan driva fram rent matematiska frågeställningar. I historien kan självfallet modesvängningar skönjas mellan ren och tillämpad matematik: • Den första matematiken för tusentals år sedan var utan tvekan tillämpad; det gällde att hålla reda på antal. • I det antika Grekland fanns ett fokus på ren matematik inom geometri och talteori, med klimax i Euklides Elementa. • Först med Arkimedes, och sedan från 1600-talet och framåt, har matematisk och teknisk-naturvetenskaplig utveckling gått hand i hand: Newton, Gauss, Cauchy, Fourier, Poisson, Ampere, von Neumann, Wiener. • Sedan 1800-talet finns dessutom en strömning för ren matematik av rena matematiker, som började med Abel och Galois och som sedan dess har varit dominerande bland dem som kallar sig matematiker. De som har utvecklat matematiken från tillämpade utgångspunkter har kallats exempelvis teoretiska fysiker och teoretiska dataloger. Matematikens historia i perspektiv av kultur och kön I uppräkningen av citat ovan är alla de citerade matematikerna engelsmän eller amerikaner. Detta är inte representativt för matematikhistorien! Varje känd stor kultur under de senaste 5000 åren har haft egen matematisk verksamhet: Kina, Indien, Babylonien, Arabien, Maya, Grekland, etc. I viss mån har dessa kulturer också påverkat varandras matematik. Exempelvis kommer våra siffror ursprungligen från Indien, via arabiska matematiker. I uppräkningen av citat ovan är också alla de citerade matematikerna män. Detta är i viss mening representativt för matematikhistorien. De berömda kvinnliga matematikerna (såsom Hypatia från Alexandria, Sophie Germain, Emmy Noether, Sonia Kovalevskij) är ganska få, och tillhör inte gruppen av de allra mest berömda namnen inom matematik genom tiderna. De har dock varit ledande matematiska forskare som med eftertryck har visat att det inte finns några genetiska begränsningar för kvinnor att ägna sig åt matematik. Kulturella begränsningar har däremot funnits i allra högsta grad. Hypatia blev brutalt mördad, och Germain, Noether och Kovalevskij blev alla på systematiskt vis motarbetade i den akademiska världen därför att de var kvinnor. Fortfarande söker sig män i mycket större utsträckning än kvinnor till matematik, särskilt i Sverige, trots att den akademiska världen numera står öppen för alla. En föreställning om matematiken som ett på något sätt okvinnligt ämne tycks ännu leva kvar i folkdjupet. Matematikens språk En stor del av matematikens utveckling har utgjorts av utvecklingen av det matematiska språket. Med detta språk kan matematik formuleras koncist, exakt och lättbegripligt (nåja) för matematiker från alla länder. Beståndsdelarna i detta språk är: 3 • särskilda symboler med givna matematiska betydelser, såsom +,−,×, ⇒, ∃,∈,∪, ∑, ∏, • konventioner för vilka symboler som ska väljas att representera olika storheter, såsom x, y, z , i, e, π , f ( x), f ' ( x),α , β • accepterade resonemangstyper, följande logiska principer • stilelement i ett matematiskt resonemang, såsom sats, bevis, lemma, ekvation, hypotes Den symboliska notationen är effektiv men lurar många människor att tro att matematikens väsen ligger i symbolmanipulationen. Så är det inte alls. I själva verket är symbolerna relativt sena påfund, ofta utvecklade under de senaste trehundra åren. Matematikens psykologi Människans förmåga att hantera tal verkar vara medfödd, och denna räknetalinstinkt torde vara många miljoner år gammal. Både nyfödda människobarn och stora djur har nämligen i psykologiska experiment visat sig besitta förmågan att skilja på små antal (som ett och två). Experiment på vuxna visar att tal upp till ungefär 4 verkar vara hårdkodade i våra hjärnor; om vi ser ett antal objekt som är högst fyra behöver vi inte räkna efter hur många det är utan ser antalet på ett direktare sätt. För arbete med matematik krävs ett antal olika hjärnfunktioner utöver talinstinkten, bland annat språk, arbetsminne, långtidsminne och koncentrationsförmåga. Se boken ”The origin of mind” av utvecklingspsykologen David Geary (2004). 4