Lagt i Matematikhistorie i gymnasiet, Mathematics and Culture, Projektforslag

Kustode eller bidragsyder: Vestens syn på matematik i Islam

Vestens syn på Islam og arabisk kultur har været et omdiskuteret og geo-politisk ladet emne i århundreder. En særlig rolle er blevet spillet af videnskab, og herunder matematik, som dele af og bærere af kultur identitet. Og inden for matematikhistorien har der bestået en særlig form for eurocentrisk fortælling, ifølge hvilken arabiske matematikere blot var kustoder, der passede på den klassiske matematik efter den græske guldalder indtil Vesteuropa kunne opdage og videreudvikle den fra Renæssancen. Sådan et synspunkt blev for eksempel forfægtet af den amerikanske matematikhistoriker Florian Cajori i 1909:

“The Arabs were destined to be the custodians of the torch of Greek and Indian science, to keep it ablaze during the period of confusion and chaos in the Occident, and afterwards to pass it over to the Europeans.” (Cajori 1909, p. 117)

Men selvom denne historiografiske position inden for matematikhistorien i dag er yderst forældet, findes den stadig reproduceret – nogle gange sikkert af uvidenhed (se fx H. Eves, 1965, s. 43) og nogle gange med det direkte formål at tjene et politisk agenda, ofte i en anti-islamisk retning. Således beskriver Hodgkin modsætningen mellem to de historiefortællinger ved at sammenstille Joseph og Trifkovic:

It should be clear from the present chapter that the traditional view of the Arabs as mere custodians of Greek learning and transmitters of knowledge is a partial and distorted one. (Joseph 1992, p. 344)

A number of medieval thinkers and scientists living under Islamic rule, by no means all of them ‘Moslems’ either nominally or substantially, played a useful role of transmitting Greek, Hindu, and other pre-Islamic fruits of knowledge to Westerners. They contributed to making Aristotle known in Christian Europe. But in doing this, they were but transmitting what they themselves had received from non-Moslem sources. (Trifkovic 2002)

Moderne matematikhistorisk forskning har med tydelighed vist, at det er mere korrekt at tale om “Islamic scholars as producers, transmitters and custodians of mathematical knowledge”, og at de var essentielle som “teachers of mathematics to Europe” (Joseph p. 20). Dermed er det naive eurocentriske billede blevet erstattet af et meget mere komplekst netværk af matematikere i Middelhavsregionen, hvis religion og sprog spændte bredt, men som virkede under forskellige islamiske styrer.

Man bør altså betragte “Islamisk matematik” som udfoldet i en smeltedigel af mange forskellige folkeslag og religioner, som var underlagt og finansieret af islamiske fyrster, der værdsatte viden og isærdeleshed matematik. Hvorvidt man så også vil forsøge at spore “islamisk matematik” på indholdssiden er en anden sag: Vi taler jo heller ikke om “kristen matematik”, men nærmere om matematik i den vesteuropæiske middelalder, i Frankrig, eller i 1700-tallet.

Kulturmødet mellem det kristne Vesteuropa og Islam i Spanien og Mellemøsten er et vigtigt og aktuelt emne for historisk refleksion, og matematikhistorie besidder en næsten unik rolle at spille som forsyner af cases, der med tydelighed viser, at matematikere under Islam bidrog væsentligt til matematikkens udvikling inden for emner som trigonometri, talsystem, og ligningsløsning, hvor deres bidrag gik langt ud over det græske forlæg. Dermed kan man igennem studiet af relevante cases nuancere både matematikhistorien og den bredere kulturhistorie, fx i gymnasiets (STX) undervisning. Det er målsætningen at udvikle materiale til sådanne forløb, men emnet kan også meget fint tones til fx et bachelorprojekt, der kan nuancere og substantiere den eurocentriske historiografi og udfordre den igennem udvalgte kilder, hvis fortolkninger så diskuteres.

Nogle referencer

  • J. L. Berggren (2003). Episodes in the Mathematics of Medieval Islam. New York: Springer.
  • F. Cajori (1909). A History of Mathematics. New York og London: Macmillan
  • H. W. Eves (1965). An Introduction to the Foundations and Fundamental Concepts of Mathematics. New York: Holt, Rinehart og Winston.
  • L. Hodgkin (2005). A History of Mathematics. From Mesopotamia to Modernity. Ox- ford m.fl.: Oxford University Press.
  • G. G. Joseph (2011). The Crest of the Peacock. Non-European Roots of Mathematics. 3. udg. Princeton og Oxford: Princeton University Press.
Advertisement
Lagt i Matematik i Danmark, Matematikhistorie

Matematik under nazismen: universalitet under pres

Ny artikel i Weekendavisen: I 1930rne forsøgte nazisterne at indordne den matematiske videnskab under den raceteoretiske ideologi. De skelnede mellem jordbundne, intuitive, ariske matematikere og så de abstrakt teoretiske, jødiske matematikere. Harald Bohr svarede igen.

  • Henrik Kragh Sørensen. “Matematik under nazismen”. Weekendavisen, nr. 34 (22. august 2014): Ideer, pp. 12–13.

Læs resten “Matematik under nazismen: universalitet under pres”

Lagt i Matematik i Danmark

Matematisk Institut, Aarhus Universitet i 60 år

I dag, den 20. august 2014, kan Matematisk Institut ved Aarhus fejre sit 60-års jubilæum. Med virkning fra august 1953 blev Svend Bundgaard ansat som den første professor i matematik og første dekan for det nyoprettede Naturvidenskabelige Fakultet ved Aarhus Universitet. Med sig fra København havde han store visioner for, hvordan Aarhus kunne komme til at markere sig både nationalt og internationalt på den matematiske scene. Og mange af disse ideer er siden blevet fulgt op på – og nogle af dem decideret bygget ind i murene på det Matematisk Institut, der i dag har til huse på Ny Munkegade, hvor der i 1950’erne stadig var kasserne.

Svend Bundgaard

Man kan læse mere om Bundgaard og om oprettelsen af det matematiske institut i fx:

  • Nielsen, H. (2004). Disse fag må lempes til verden. . . : Oprettelsen og udbygningen af Det
    Naturvidenskabelige Fakultet ved Aarhus Universitet. Den første periode. Et festskrift i
    anledning af 50-års jubilæet 2004. Aarhus: Aarhus Universitetsforlag.
  • Sørensen, H. K. (jun. 2012). “Svend Bundgaard og Matematikken i Danmark, 1912–
    1984”. Upubliceret manuskript baseret på foredrag ved Dansk Matematisk Forenings
    generalforsamling, København, 18. juni 2012.
  • AU Universitetshistorie har også fine online-udstillinger: http://www.au.dk/uhu/velkommen/
Lagt i Matematikhistorie, Matematikkens videnskabsteori

Hvad er et navn?

Hvad er matematik? Og hvad vil det sige at være matematiker? Hvad betyder de ord overhovedet? Og hvad ligger der i et navn?

I et af litteraturens mest berømte billeder har Shakespeare sagt det i Romeo og Julie:

Hvad er et navn? Det vi kalder rose,
vil dufte lige sødt hvad end det kaldes;
og Romeo ville, var han uden navn,
beholde den fuld-kommenhed, han ejer.

Sat på spidsen i filosofiske termer skulle argumentet, at et navn intet betyder i forhold til begrebets indhold. Man når man vil forsøge historisk at indkredse essensen af begreber som ‘videnskab’ eller ‘matematik’, støder man på nogle historiografiske problemer, der måske ved første øjekast ligner rene sofisterier, men som faktisk rummer en række vigtige indsigter, også om de begreber, vi søger at forstå. Og i den forbindelse kan betegnelser faktisk være vigtige at reflektere over.

Hvis vi accepterer — hvilket vi bør — at ‘videnskab’ og ‘matematik’ er aktiviteter med en historie, der ikke kun er begrænset af, hvad vi nu forstår ved ordene, så kan vi komme tættere på at forstå de processer og forløb, der har givet os de moderne versioner af disse fag og aktiviteter. Hvis vi ønsker at forstå matematikkens historie og dens filosofiske særegenheder, er det oplagt at indtænke antikkens store bidrag fra Pythagoras, Euklid, Archimedes og så videre. Men ingen af disse kunne i samtiden beskrive deres fag som ‘matematik’; i stedet ville man i antikken betegne indholdet af deres værker som ‘geometri’, som stammer fra ‘land-opmåling’, eller aritmetik, der handler om teoretiske (i modsætning til praktiske) erkendelser om tal.

Det er ikke på forhånd oplagt, at disse begreber giver mening på tværs af forskellige epoker og kulturer—og det er slet ikke sikkert, at den mening, de måtte give, er forbundet med vores nuværende sprogbrug og da endnu mindre, at meningen er konstant.

Både ‘videnskab’ og ‘matematik’ er institutioner og fag, som har undergået en lang historisk udvikling og først for relativt nyligt er blevet udmøntet i de sociale og disciplinære afgrænsninger, vi kender i dag, og hvori begreber som ‘universiteter’, ‘forskning’ og ‘professorer’ spiller en ganske afgørende rolle. I videnskabshistorien er det en vigtig indsigt, at selve begrebet ‘scientist’ er en forholdsvis ny tilføjelse med en klar fødselsdato hos William Whewell i 1834 (se The Renaissance Mathematicus, 2014).

Men disse begreber har selv en udviklingshistorie—de første universiteter blev grundlagt i det 11. århundrede, professorenes rolle (og universiteternes) har stadigt udviklet sig, og forskningens rolle som en integreret og definerende del af professornes arbejde er en norm, der højst er 200 gammel.

Selv hvis vi vælger fx at afgrænse matematik som ‘det, som matematikere laver’, så indser man hurtigt, at dette tilsyneladende sociologiske kunstgreb blot har flyttet problemet til at afgrænse, hvem der tæller med som ‘matematikere’. Og den term er faktisk også ganske ny, så vi er angiveligt ikke nået ret meget længere.

Som allerede nævnt er det mere passende at tale om de græske ‘geometere’, og denne betegnelse bliver faktisk i brug helt op i 1800-tallet, hvor fx norske Niels Henrik Abel betegner sig selv og refereres til af andre som “géométre Norvegiene”. Og her er betegnelsen endnu mere bemærkelsesværdig fra et moderne perspektiv, idet Abel ydede store bidrag til det, vi i dag betragter som analysens og algebraens udvikling, men aldrig arbejdede med geometri.

På den anden side findes der faktisk også eksempler på, at termen ‘matematiker’ er blevet anvendt, fx i den tidligt moderne periode, hvor adskillige fyrster havde en ‘hofmatematiker’ (Hofmathematicus) ansat. Således var det fx Johannes Keplers officielle tilknytning til hoffet omkring Rudolf II i Prag, og under mere hjemlige strøg var Adam Olearius og Johannes Meyer også hofmatematikere ved Frederik III og Christian IV. Med til disse hofmatematikeres pligter var så forskelligartede opgaver som at vedligeholde fyrstens bibliotek, forestå opmåling og kortlægning, foretage diplomatiske ekspeditioner, og lægge horoskoper for ledende medlemmer af hoffet. Derimod var egentlig selvstændig forskning — overhovedet og da slet ikke i matematik — ikke noget krav, selvom nogle hofmatematikere ydede vigtige astronomiske bidrag.

Med disse to eksempler på at spore fagets historie gennem dets udøvere har vi således set, at man både kan indfange for lidt og for meget ved at fokusere unuanceret på en professions betegnelse. Hvis vi sporer matematikere tilbage til hofmatematikerne i 1600-tallet får vi aktiviteter og begrundelser med, som er fremmede for den moderne matematiker. Hvis vi i stedet definerer matematikerens forfader som 1800-tallets ‘geometer’ skylder vi at sige noget om, at dette begreb på et tidspunkt i en periode omkring 1900 blev uddifferentieret til at betegne en geometer i modsætning til analysefolk og algebraikere etc.

Egentlig er disse pointer jo ret oplagte, for vi ved godt, at begrebers mening kan udvikles over tid, og at ord kan ændre deres betydning efter deres brug og imellem forskellige sprog. Alligevel er det vigtigt at holde sig for øje, at når vi ønsker at spore forhistorier og for eksempel fortælle ‘matematikkens historie’, så indgår der en række mere eller mindre eksplicitte valg af, hvad og hvem der tæller med som matematik og matematikere. Skal hofkulturernes astrologer tælles med? Skal babylonske eller kinesiske løsningprocedurer uden egentlige beviser (i den græske forstand) tælles med? Og hvad med alle de andre kulturelle manifestationer af matematik, matematisk viden eller matematiske aktiviteter, som vi kan komme på? Er Ishango-benet et matematisk artefakt? Er kurvefletning i Afrika en matematisk aktivitet? Og er Spinozas aksiomatisk opbyggede etik et eksempel på matematisk tænkning?

Min tilgang til dette problemkompleks er at starte et lidt andet sted og postulere (matematik-) historiens rolle som en fortolkende videnskab: Vi er som individuelle matematikhistorikere ikke interesseret i alle slags fortidige hændelser, selvom disciplinen er bred nok til at omfatte mange positioner og interesser. I stedet er jeg personligt interesseret i at forstå nogle bestemte udviklinger i og af matematikken, og til det skal jeg bruge analyser af de fortidige hændelser og kilder, som har en forbindelse til mine interesser. Men når spørgsmålene ændrer sig, kan det godt være, at jeg skal bruge helt andre kilder, eller at kendte kilder skal bruges anderledes. Når jeg ønsker at betragte matematikkens udvikling som en særegen vidensform, så er det græske bevisbegreb naturligvis vigtigt, ligesom rationalisternes ophøjning af matematikken som sikker viden. Men lige så vigtigt kan det være at vise, at man har kunnet have ‘matematisk’ viden i fx Mesopotamien uden at have egentlige beviser. Eller at vise, hvordan udgangen på grundlagskrisen i 1920’erne viste, at selv ikke matematikken (som vi kender den) kan bygges op med absolut sikkerhed fra et absolut sikkert grundlag. Det underliggende omdrejningspunkt er faktisk, at indholdet af ‘matematik’ blandt andet omfatter et kontinuum fra aksiomatisk teoribygning til praktisk problemløsning, og at disse forskellige kulturers ‘matematik’ har placeret sig forskelligt på dette spektrum.

Når jeg således postulerer en forbindelse mellem os selv — moderne matematikere — og historiske aktører som Fermat, Newton, Gauss eller endda Poincaré, så er det jo ikke fordi jeg (umiddelbart) kan identificere med deres sociale situation eller se deres matematiske aktivitet som min egen. Eller endda som den samme: Nogle af dem var universitets-ansatte, andre ikke; nogle af dem brugte store dele af deres karrierer inden for fysik og astronomi, andre mindre. Og de var jo på ingen måde ‘den almindelige’ matematikere fra et nutidigt perspektiv: Alle var de super-kreative og banebrydende tænkere, som opfattede matematik som en aktivitet forbundet med filosofisk (og nogle gange religiøs) motivation og deres egne bidrag som en del af deres identitet. Så når jeg ser tilbage på sådan en stjerneparade og ser en forbindelse, så ligger den i selve faget: Vi dyrker det samme fag, matematik, som godt nok har udviklet sig over tid, men har beholdt en kontinuitet, som gør aktivitetet genkendelig.

Og vi kan så pege på steder, hvor kontinuiteten blev udtalt og udfordret: I starten af 1800-tallet søgte Martin Ohm — bror til fysikeren — en stilling som matematikprofessor i Berlin med den begrundelse at han havde skrevet adskillige lærebøger. Han fik ikke stillingen. Men det besynderlige for os er jo nærmere, at han overhovedet kunne tro, han var kvalificeret: Han havde ingen egentlig forskning bag sig, men det blev åbenbart først et krav omkring 1800 at professorer skulle være forskere. Vi ved også, at Edmond Halley stort set måtte trække Newtons berømte Principia ud af ham for at få det trykt, og Gauss havde dybe skuffer, hvori han gemte matematiske opdagelser, som samtiden ikke var beredt for. Disse store matematikere havde altså andre formål end publicering i øje, når de gennemtrængte matematiske problemer, hvilket vi heller ikke ville forvente ud fra moderne dogmer som ‘publish-or-perish’ eller endog ‘fra forskning til faktura’.

Dermed bliver matematikhistorie til en syntetisk aktivitet, der søger at skabe sammenhængende narrativer om udviklinger i matematisk praksis forstået meget bredt. Disse synteser har værdi i sig selv som matematikhistorie, for matematikere som fortællinger om deres fags historie og for filosofiske analyser af matematik som grundlag for at pege på nødvendigheder og kontingente omstændigheder ved matematisk praksis og viden.

Og når vi således sammen med vores helte kan siges at være ‘matematikere’, så er det en potent brug af et begreb med en historie og en række konnotationer, som vi kan og bør undersøge i deres historiske og videnskabsteoretiske kontekster.

Lagt i Matematikken i Antikken, Mathematics and Culture

Romersk regning: Hvordan man kan klare sig uden et nul

Vi kender romertallene, M, L, D osv. Men der er ingen tegn for 0 (nul). Kendte romerne ikke denne enhed? Og hvordan regnede de egentlig? Hvad er f.eks. MCM x DL? Det kunne jeg godt tænke mig at vide. (Spørgsmål til Newton i Jyllands-Posten, 30. marts 2014)

Læs resten “Romersk regning: Hvordan man kan klare sig uden et nul”

Lagt i Matematikhistorie i gymnasiet, Matematikken i Antikken, Mathematics and Culture

Antik matematik i gymnasiet

Antikkens matematik er et glimrende emne til matematikhistorisk undervisning, idet det både kan tjene til at vise eleverne centrale dele af matematikkens arkitektur (den aksiomatisk-deduktive opbygning), forbindelserne til filosofi og oldtidskundskab, og diskussioner om forholdet mellem teoretisk og praktisk viden i en fjern kultur. Nogle af disse emner er eksemplarisk dækket i fx

  • Glunk, C. m.fl. (2006). Q. E. D. Platon og Euklid tegner og fortæller. København: Gyldendal.

Et centralt værk er selvfølgelig Euklids Elementer, hvoraf uddrag er nyoversat i QED (se ovenfor). Men Thyra Eibes klassiske oversættelse er stadig værd at konsultere.

  • Euklid (1897–1912). Euklids Elementer. Oversat af T. Eibe. 6 bd. København: Nordisk Forlag.

For nylig har nogle af folkene bag QED også nyoversat og kommenteret værker af Archimedes til brug for gymnasiet.

Forbindelsen til filosofi vil typisk skulle involvere Platons dialoger, fx Menon (som er oversat i QED), Timaios eller Theaitetos.

Jeg har også beskæftiget mig med relaterede emner her på bloggen, fx i diskussionen om Platons matematiske kosmologi eller om græske forhold. Og sammen med Kristian Danielsen arbejder jeg på et nyt materiale om Herons matematik.

Lagt i Matematikhistorie i gymnasiet

Matematikhistorie i gymnasiet

Her vil jeg samle og kommentere forskellige tiltag, ideer og materialer på dansk til brug for matematikhistorisk undervisning i gymnasiet. Der vil være tale om et subjektivt udvalg, men hvis du har forslag til materialer, som ikke er på listen, så send mig gerne en besked.

  • Antik matematik i gymnasiet
  • Matematisk modellering [kommer] (logistisk vækst, $\chi^2$-test, m.fl.)
  • Idehistoriske emner [kommer] (ligningsløsning, funktionsbegreb, differentialregning, m.fl.)
  • Kulturhistoriske emner [kommer] (islamisk matematik, matematik og 2. verdenskrig, m.fl.)

Matematikhistorie er en obligatorisk og integreret del af matematikundervisningen på STX A/B/C-niveau. Man kan læse de overordnede formuleringer om formål og indhold i Bekendtgørelsen.

Lagt i Logistisk Vækst

Logistisk vækst: fortællende og autentisk matematikhistorie i gymnasiet

Igennem et par år har jeg sammen med Kristian Danielsen arbejdet på et materiale til brug for undervisning i logistisk vækst på STX baseret på en “fortællende og autentisk” tilgang til matematikhistorie. Det har udmøntet sig i en lille bog (Matematisk Bogsalg 2014) med materiale til at undervise i logistisk vækst baseret på Verhulsts oprindelige artikel fra 1838. På denne hjemmeside vil vi lægge yderligere links og materiale ud til brug for underviserne.

Læs resten “Logistisk vækst: fortællende og autentisk matematikhistorie i gymnasiet”

Lagt i Matematikhistorie

Nullets historie (3/3)

Nogle filosofiske refleksioner om nullets natur

For de græske matematikere var tal ”størrelser sammensat af enheder”, og hverken 0 eller 1 kom altså i betragtning som tal. Oversat kan man se dette som intuitivt, da ingen objekter ikke er et antal objekter, ligesom 1 objekt heller ikke (bogstaveligt) er et antal objekter da forskellen mellem objektet og samlingen af objektet først blev ekspliciteret i 1800-tallet (Frege etc.). Men når vi alligevel insisterer på, at 0 og 1 er tal, så er det altså fordi vi opfatter dem som størrelser af henholdsvis den tomme mængde og en singleton: De kommer altså til at svare til begreberne ”ingen” og ”den”. Og det giver god mening, især fordi vi gerne vil have et godt matematisk system, hvor vi fx kan regne med negative tal.

Et meget interessant filosofisk tilfælde er tænkeren Gregor Reisch, hvis bog udgjorde grundlaget for forelæsninger ved universiteternes filosofiske fakulteter omkring 1500. Reisch beskrev blandt andet i sin definition, hvordan ”enheden er intet tal, men tallets oprindelse” (Reisch’s Margarita philosophica 1504). Ramus beskrev i 1569 dette således: ”Et tal er det, hvormed en hvilken som helst ting tælles”, og fordi han betragtede ”tælling” som omfattende alle aritmetikkens fire operationer, blev hans talbegreb mere udvidet. Senere formulerede Stevin det sin version af definitionen: ”et tal er det, hvorigennem enhver genstands kvantitet kommer til udtryk” (1585), og herved er 1 blevet et tal, mens 0 nærmere bliver tallenes begyndelse, deres princip.

Negative tal er en anden besynderlig konstruktion i matematikkens historie, og det tog lang tid, før de blev accepterede som tal og givet en forståelse, der rækker ud over at de passer i regninger. En tidlig fortolkning af negative tal (og ikke bare ”trække-fra-tal”) som gæld er senere blevet gjort præcisere ved at opfatte dem som additivt inverse til positive tal, altså $a+(-a)=0$, og dermed opfatte dem som at gå ”den anden vej” ud af tallinjen (fx Wallis’ (1616-1703) fysiske fortolkning: ”At gå -3 skridt fremad er det samme som at gå tre skridt baglæns”).  Selvom denne forståelse er (og var) intuitiv, tog det lang tid før den blev anerkendt som begrundelse for de negative tal (og nul) – indtil da blev negative løsninger til ligninger fx kaldet ”falske” eller ”fiktive” løsninger (Cardano 1545, Descartes 1637). Og en del af baggrunden for dette er, at de optræder algebraisk men ikke svarer til geometriske størrelser i de problemer, som den algebraiske repræsentation stammer fra. Og selv Immanuel Kant (1724-1804) behandlede problemet i afhandlingen Versuch den Begriff der negativen Grössen in die Weltweisheit einzuführen fra 1763; der beskrev han, hvordan ”de negative størrelser er ikke negationer af størrelser, som ligheden i udtrykkene kunne lade formode, men noget som i sig selv er sandt positivt, og som blot er modstillet noget andet”. Mere præcist: ”Det er modstillet hinanden, hvoraf det ene ophæver det, som er sat af det andet”. Og nullet blev i denne anledning til den balance, som modstillingen spænder omkring.

Tilsvarende skelnede man fx mellem fuldstændige og ufuldstændige ligninger (afhængig af om alle polynomielle led var medtaget eller ej). Og så længe man ikke accepterede nul som en koefficient, var der mange forskellige typer ligninger, som alle måtte beskrives individuelt, fx 6 kvadratiske ligninger hos al-Khwarizmi, fx ”kvadrat og tal er lig rødder”: ”et kvadrat og 21 i tal er lig med 10 rødder af det samme kvadrat”. Hver af disse typer ligning måtte – i hvert fald i princippet – have sin egen løsnings procedure, og dette blev for alvor omfattende, da Omar Khayyam og andre senere forsøgte at tage skridtet videre til at betragte kubiske ligninger.

Der findes imidlertid også andre positionstalsystemer end hindutallene – et af dem, der hele tiden omgiver os er det binære talsystem, som er et 2-tals-positionssystem. Blandt de allerførste til at studere de binære tal var matematikeren og filosoffen Leibniz, som ud over deres rent matematiske egenskaber også var interesseret i dem af teologiske grunde. For i de binære tal så han en forklaring på Guds skaberværk: Ud af intet (0) og det guddommelige (1) kunne alle tallene skabes. Dette argument udviklede han i korrespondance med en jesuittermunk ved navn Bouvet.

Problemet med nullets natur som angivelse af størrelse bliver blot endnu tydeligere, hvis vi overvejer dets potentiale som ordenstal. Vi taler nemt om første gang, anden gang, tredje gang; eller om 1. klasse, 2. klasse, etc. Men at tale – som vi jo nu også gør – om 0. klasse i skolen er ret beset at gøre vold på et begreb; eller rettere: der ligger en dybere matematisk mening bag ved, nemlig at tal-rækken (og i dette tilfælde ordenstals-rækken) besidder en vis systematik (som den ikke nødvendigvis gør i dette tilfælde).

Og foruden at vise sprogets fleksibilitet viser dette eksempel også matematiske strukturer og regularitet er en drivkraft i megen matematisk begrebsdannelse. Hvis vi som moderne matematikere nemlig betragter de hele tal som en struktur, vil vi opfatte 0 som et additivt inverst element, dvs. $a+0=0+a=a$ for alle a. Og om dette kan man endda bevise, at 0 er entydigt: Antag nemlig, at både 0 og 0’ er additivt inverse elementer. Så er (ved at sætte a=0’ i ovenstående definition af 0): $0+0’ = 0$. Men samtidig er $0+0’=0’$, og ved at sammensætte får man konklusionen $0=0’$. For en matematiker er selv den slags oplagte ræsonnementer om ingenting således ikke det rene sofisteri!

Leibniz's medalje, hvor man kan se regning med binære tal.
Leibniz’s medalje, hvor man kan se regning med binære tal.