Je leest over getallenspellen. Niet alleen Sudoku, niet alleen crypto. Ik bedoel de diepe geschiedenis van puzzels die op speelgoed lijken, maar eigenlijk toegangspoorten zijn tot serieuze wiskunde.
Het is een rommelige categorie. Deze kun je niet netjes opbergen. Sommige zijn stom amusement. Andere zijn onopgeloste problemen die wiskundigen al eeuwenlang verbijsteren. De lijst met betrokken onderwerpen is wild. Rekenkundig. Algebra. Geometrie. Topologie. Grafentheorie. Matrices. Groepentheorie. Combinatoriek. Stel theorie in. Symbolische logica. Waarschijnlijkheid.
Probeer het allemaal te classificeren. Je zult falen. De poging is willekeurig.
Hier gaat het over wiskundige recreaties. Ze vervagen de grens tussen hobby en beroep.
Een onschuldige puzzel over het doorlopen van een pad zou je tot de grafentheorie kunnen dwingen. Delen van een geometrische figuur tellen? Dat is combinatoriek. Een veelhoek ontleden? Groepentheorie. Logische gevolgtrekking? Matrices.
Dingen die in de middeleeuwen onmogelijk leken, zijn nu triviaal dankzij moderne methoden.
Waarom we spelen
Er is een universele drang om een puzzel op te lossen. Het maakt niet uit of je jong of oud bent. Verfijnd of niet.
G.H. Hardy, een voortreffelijke Engelse wiskundige, merkte dit op. Professionele puzzelmakers weten het ook. Ze exploiteren het. Het publiek krijgt er een intellectuele kick van.
De literatuur is uitgebreid. Vooral sinds de 20e eeuw.
Een deel ervan is repetitief. Verrassend genoeg vindt elke generatie de oude kastanjes verrukkelijk. Zelfs als ze nieuwe kleren aan hebben. Er wordt voortdurend nieuw materiaal toegevoegd.
De vroege dagen
Mensen hebben er altijd van gehouden om uitdagingen te creëren. Intellectueel plezier. Nieuwsgierigheid. Mysterie.
Veel vroege recreaties overleven dankzij deze aantrekkingskracht. Een paar kwamen van de oude Grieken en Romeinen. Tijdens de Middeleeuwen wisten we weinig over hen. De rente keerde terug tijdens de middeleeuwen.
Waarom? Het drukken werd uitgevonden. Schrijvers van rekenteksten raakten enthousiast. Vroege algebraïsten en geleerden begonnen rivaliteit en disputaties.
Dit was het meest prominent op het vasteland. Italië. Duitsland.
Opmerkelijke bijdragers zijn onder meer:
* Rabbi ben Ezra (1140)
* Fibonacci (Leonardo van Pisa; 1202)
*Robert Recorde (1542)
* Girolamo Cardano (1545)
Twee soorten problemen
De problemen vielen over het algemeen in twee emmers uiteen.
Manipulatie van objecten.
Berekening.
Het eerste type vereiste weinig rekenvaardigheid. Gewoon algemene intelligentie en vindingrijkheid.
Denk aan decanteerproblemen. Of lastige oversteekplaatsen.
Decanteren Voorbeeld:
U moet een liter vloeistof afmeten. Je hebt alleen een maat van acht kwart, een maat van vijf kwart en een maat van drie kwart. Hoe doe je het?
Moeilijke oversteekvoorbeelden:
Drie koppels moeten een beekje oversteken. De boot biedt plaats aan slechts twee personen. Elke man is te jaloers om zijn vrouw bij een andere man achter te laten. Hoe komen ze over?
Van beide typen zijn in de loop der jaren veel varianten verschenen.
Computeruitdagingen
Het tweede type betrof daadwerkelijke berekeningen. Deze namen vele vormen aan.
Hier zijn een paar voorbeelden.
Een nummer zoeken
Bedenk een getal.
Verdrievoudig het.
Neem de helft van het product.
Verdrievoudig dat resultaat.
Neem opnieuw de helft.
Deel door negen.
Het quotiënt is een vierde van uw oorspronkelijke getal.
“God-Greet-You”-problemen
Iemand zegt: “Als we weer met evenveel en half zoveel meer zouden zijn, dan zouden we met dertig zijn.”
De tekst begint met “God gegroet, jullie allemaal 30 metgezellen.” Hoeveel waren het er eigenlijk?
Het schaakbordprobleem
Plaats een tarwekorrel op het eerste vierkant.
Twee op de tweede.
Vier op de derde.
Doe dit voor alle 64 vierkanten.
Hoeveel granen zijn er in totaal nodig?
De leeuw in de put
Dit is een klassieker. Het gaat over bewegingen met een constante snelheid die worden gehinderd door retrograde beweging.
Een leeuw zit in een put van vijftig handpalmen diep.
Hij klimt dagelijks 1/7 van een palm.
Het glijdt 1/9 van een handpalm naar achteren.
Binnen hoeveel dagen komt het eruit?
Problemen met koeriers
Het gaat hierbij om lichamen die met een bepaalde snelheid bewegen. Op een gegeven moment ken je hun positie. U moet de tijd vinden die nodig is om op een bepaalde andere positie te komen.
De 17e-eeuwse bloei van wiskundig amusement
Lang voordat het internet eindeloze puzzels bood, was er in de 17e eeuw een golf van boeken die uitsluitend aan recreatieve problemen waren gewijd. Dit waren niet alleen maar droge academische oefeningen. Ze behandelden ook mechanica en natuurlijke filosofie. De echte vonk kwam uit Frankrijk.
Claude-Gaspar Bachet de Méziriac veranderde het spel. Hij is een van de eerste pioniers op dit gebied. Bachet wordt herinnerd voor Diophanti, zijn editie uit 1621 van de Griekse getaltheorie, maar liet in 1612 ook Problèmes plaisans et delectables qui se font par les nombres vallen.
Dit tweede boek werd de blauwdruk. Er zijn vijf edities van verschenen, waarvan de laatste pas in 1959 werd gedrukt. Dat is lang houdbaar voor een puzzelboek.
Bachet concentreerde zich op rekenkunde boven meetkunde. Zijn uitdagingen waren specifiek en scherp.
– Hij introduceerde andere getallenbases dan 10.
– Hij voegde kaarttrucs toe.
– Hij creëerde wijzerplaatpuzzels op basis van unieke nummeringsschema’s.
– Hij stelde het klassieke probleem van het vinden van de kleinste set gewichten om elk pond van 1 tot 40 te meten.
– Hij gooide moeilijke rivieroversteekscenario’s in.
Dit waren de originele wiskundige puzzels die het genre decennialang bepaalden.
Franse navolgers en de Duitse expansie
De trend stopte niet bij Bachet. In 1624 publiceerde Jean Leurechon Récréations mathématiques. Hij schreef onder het pseudoniem van Etten.
Leurechons boek raakte een gevoelige snaar. Vóór 1700 zijn er minstens dertig edities van gemaakt. Het was populair ondanks dat het grotendeels een kopie was. Leurechon nam de eenvoudigere problemen van Bachet en negeerde de belangrijkere delen. Er was wel wat origineel werk, maar het diende vooral als model.
Het beïnvloedde Mydorge en Schwenter. De Engelse vertaling verscheen in 1633. De titel was een hele mond vol: Mathematicall Recreations, or a Collection of Sundrie Problemes… Het beloofde geheimen in de natuur en experimenten op het gebied van de rekenkunde, meetkunde en optica. William Oughred vertaalde het.
De Fransen bleven inhoud produceren. Claude Mydorge publiceerde in 1630 Examen du livre des récréations mathématiques. Vervolgens bracht Denis Henrion in 1659 zijn eigen versie uit, grotendeels gebaseerd op Mydorge.
Ondertussen stak de invloed het kanaal over naar Duitsland. Daniel Schwenter, hoogleraar Hebreeuws en wiskunde, heeft een enorme verzameling samengesteld. Hij gebruikte een vertaling van het werk van Leurechon en voegde zijn eigen bevindingen toe.
Deliciae Physico-mathematicae oder Mathische und Philosophische Erquickstunden verscheen postuum in 1636. Het was immens populair. In 1651 en 1653 volgden twee aanvullende edities. Schwenters uitgebreide editie was jarenlang de meest uitgebreide verhandeling in zijn soort.
Ook Italië werd niet buiten beschouwing gelaten. De jezuïet Mario Bettini bracht in 1641-1642 een werk uit twee delen uit, genaamd Apiaria Universae Philosophiae Mathematicae. Een derde deel, Recreationum Mathematicarum Apiaria Novissima, volgde in 1660.
Toen kwam Johann Mohr in Sleeswijk. In 1665 publiceerde hij Arithmetische Lustgarten, een imitatie van Schwenter.
De late intrede van Engeland
Engeland arriveerde laat op het feest. William Leybourn was niet alleen een schrijver. Hij was wiskundeleraar, schrijver van leerboeken en landmeter.
In 1694 publiceerde hij Pleasure with Profit: Bestaande uit recreaties van verschillende soorten. De lijst met genres was uitputtend: numeriek, geometrisch, mechanisch, statisch, astronomisch, horometrisch, cryptografisch, magnetisch, automatisch, chymisch en historisch.
De titelpagina had een duidelijk doel. Het was bedoeld om ‘ingenieuze geesten te herscheppen en hen ertoe aan te zetten deze sublieme wetenschappen verder te onderzoeken’. Het wilde ook de jeugd afleiden van ondeugden.
Een groot deel van het boek bestond uit conventioneel leerboekmateriaal. De gepubliceerde werken van Leybourn kwamen voort uit zijn carrière als docent. Hij was zowel educatief als entertainend.
Het tijdperk van gedrukte puzzels vormde het toneel voor alles wat volgde.
De bloei van de 18e en 19e eeuw
De 18e eeuw hield het vuur niet alleen aan de gang. Het voedde het. Engeland zag een stroom van publicaties. Edward Hatton. Thomas Gent. Samuël Clark. Willem Hooper. Alles kwam binnen. Toen kwam 1775. Charles Hutton liet vijf delen met uittreksels uit het Damesdagboek vallen. Ze concentreerden zich op de vermakelijke stukjes wiskunde en poëzie. Het continent bleef niet ver achter. Christelijke Pescheck. Abat Bonaventura. Paul Halcken in Nederland. Edme-Gilles Guyot publiceerde in 1769 en 1786 Nouvelles Récréations physiques et mathématiques in vier delen.
Maar één naam torent boven de rest uit. Jacques Ozanam. Hij was de voorloper van dit genre voor de volgende twee eeuwen. Zijn Récréations mathématique et physiques lagen voor het eerst in vier delen in de schappen in 1694. Er werden eindeloze edities van gemaakt. Hij bouwde voort op Bachet, Mydorge, Leurechon en Schwenter. Later heeft Montucla het herzien en uitgebreid. Vervolgens vertaalde Charles Hutton het in het Engels in 1803 en 1814. Edward Riddle gaf het opnieuw een revisie in 1840 en 1844.
De eerste helft van de 19e eeuw was rustig. Matige productie. Kleinere schrijvers. Toen barstte de tweede helft los. Een crescendo van belangstelling leidde tot aan de eeuwwisseling. Edouard Lucas. C.L. Dodgson, ook bekend als Lewis Carroll. Lucas’ Récréations mathématiques bestond tussen 1882 en 1894 uit vier delen. Het werd een klassieker. Dodgson bracht zijn eigen smaak mee. Symbolische logica. Het spel van de logica. Kussenproblemen. En A Tangled Tale in twee delen van 1885 tot 1895.
Zwaargewichten uit de twintigste eeuw
Stap de 20e eeuw binnen en je stuit op een aantal kleurrijke figuren. Twee Amerikanen genaamd Sam Loyd. Vader en zoon. De oudere Loyd was een machine in het maken van puzzels. Jarenlang verkocht hij zijn wekelijkse column aan een landelijk syndicaat. Dat is een serieus bereik. Hij creëerde of paste ook honderden mechanische puzzels aan. Karton. Hout. Metaal. Allemaal financieel lonend.
Toen Loyd II in 1934 op 60-jarige leeftijd stierf, waren de schattingen onthutsend. Hij had minstens 10.000 puzzels geproduceerd. Dat zijn een hoop hersenkrakers.
Duitsland had zijn eigen bijdragen. Hermann Schubert publiceerde Zwölf Geduldspiele in 1899. Daarna verscheen Mathematische Mussestunden in drie delen tussen 1907 en 1909. Wilhelm Ahrens was tussen 1904 en 1920 bezig. Zijn Mathematische Unterhaltungen und Spiele (twee delen, 1910) bevatte een uitgebreide bibliografie. Dat is de aanraking van een geleerde.
Groot-Brittannië had Henry Dudeney. Hij heeft bijgedragen aan het Strand Magazine. Zijn puzzelcollecties waren enorm populair. Tussen 1917 en 1967 werden ze steeds herdrukt. Rouse Ball’s Mathematical Recreations and Essays werd gelanceerd in 1892. Het werd een klassieker. Waarom? Zijn wetenschappelijke benadering onderscheidde het. Het ging door tien edities. H.S.M. Coxeter, een Britse professor, herzag het in 1938. Tegenwoordig is het nog steeds een standaardreferentie.
Ook Maurice Kraitchik verdient vermelding. Hij was redacteur van Sphinx en schreef tussen 1900 en 1942 verschillende bekende werken.
Een versnelling hoger schakelen in het midden van de eeuw
Hier wordt het onderwerp interessant. Rond het midden van de 20e eeuw verschoof de focus. Voordien lag de interesse in specifiek amusement. Numerieke curiosa. Eenvoudige geometrische puzzels. Rekenkundige verhaalproblemen. Papier vouwen. String figuren. Geometrische dissecties. Manipulatieve puzzels. Trucs met cijfers en kaarten. Magische vierkanten.
Die eerbiedwaardige afleidingen waren ook groot. Hoek trisectie. Duplicatie van de kubus. De cirkel vierkant maken. Zelfs de ongrijpbare vierde dimensie.
Halverwege de eeuw ging de omslag richting verfijning. Cryptogrammen werden populair. Modulaire rekenkunde. Nummeringsbasissen. Getaltheorie. Grafieken en netwerken. Roosters. Groepentheorie. Topologische curiosa. Inpakken en afdekken. Flexagonen. Combinatorische problemen. Waarschijnlijkheidstheorie. Inferentiële problemen.
Logische paradoxen stonden centraal. Misvattingen van de logica. Paradoxen van het oneindige. De wiskunde werd zwaarder. De spellen zijn slimmer geworden.
Rekenkundige en algebraïsche recreaties
Nummerpatronen en curiosa
Sommige groeperingen van natuurlijke getallen onthullen opmerkelijke patronen als je ze met gewone rekenkunde raakt. Het biedt aangenaam tijdverdrijf. Kijk eens naar dit voorbeeld:
De verborgen wiskunde achter multigraden
Het gaat niet alleen om het optellen van een paar gehele getallen. Multigrades zijn een specifiek soort getallenspel waarbij twee verschillende reeksen getallen meer delen dan alleen hun basissom. Ze komen overeen als je ze ook tot hogere machten verheft.
“Identiteiten tussen de sommen van twee reeksen getallen en de sommen van hun kwadraten of hogere machten.”
Zie het als een wiskundige luchtspiegeling. Je neemt Set A en Set B. Voeg de getallen in elke set toe. Het totaal is identiek. Vier nu elk getal in beide sets. De sommen van die kwadraten zijn ook identiek. Je kunt nog verder gaan: kubussen, vierde machten en nog veel meer.
Dit is geen willekeurig geluk. Het is een gestructureerde identiteit. Wiskundigen gebruiken dit om te onderzoeken hoe getallen zich verhouden buiten de eenvoudige rekenkunde. Het is een puzzel die precisie vereist. Eén verkeerd cijfer en de hele symmetrie stort in.
Waarom maakt het ons uit? Omdat deze patronen diepe verbanden in de getaltheorie onthullen. Ze laten zien dat gehele getallen zich op verrassende, gecoördineerde manieren kunnen gedragen. Het is alsof je twee totaal verschillende nummers vindt die op de een of andere manier hetzelfde ritme en dezelfde melodie delen.
De studie van multigrades blijft fascineren. Het is een nichehoek van wiskunde die bijna magisch aanvoelt. En het begint allemaal met een simpele vraag: kunnen twee verschillende groepen getallen werkelijk hetzelfde zijn in meerdere dimensies?
Multigrades vanaf nul bouwen
Begin met iets triviaals. Een eenvoudige gelijkheid zoals 1 + 5 = 2 + 4. Het is nauwelijks de moeite waard om op te merken. Voeg vervolgens vijf toe aan elke term. De wiskunde houdt stand. 6 + 10 = 7 + 9.
Dit is het zaad. De eenvoudige methode voor het vormen van een multigrade begint hier.
Maar dat is slechts de opzet. Om tot een tweede-orde multigrade te komen, moet je het script omdraaien. Wissel de zijkanten. Combineer ze.
Het ziet er zo uit:
1 + 5 + 6 + 10 = 2 + 4 + 7 + 9
De cijfers liegen niet. Ze balanceren.
Kijk even naar de wiskunde. Als je een specifieke reeks getallen neemt, komt de som van hun eerste machten ($S_1$) precies op 22 terecht. Tel hun tweede machten ($S_2$) op, en dat cijfer springt naar 156. Het is een klein wiskundig vakje.
Maar dan pas je het aan.
Neem elk afzonderlijk getal in die set en voeg er gewoon 10 aan toe. Plotseling speel je niet alleen meer met basissommen. Je hebt een multigrade van de derde orde ontgrendeld.
Dit gaat niet alleen over rekenkundige trivia. Het gaat over hoe het verschuiven van een basislijn de structurele integriteit van een nummerreeks verandert. Door de hele set met een constante factor te vertalen, behoud je de gelijkheid van de machtssommen aan beide kanten, terwijl je de orde van de identiteit verhoogt.
Het resultaat? Een complexere vergelijking die standhoudt onder het toezicht van berekeningen van de derde macht. De cijfers veranderen, maar de balans blijft. En soms is het enige dat nodig is om een dieper patroon te ontsluiten het toevoegen van tien aan elke term.
Beyond Multigrades: de vreemde wereld van getallencuriosa
Als je dacht dat je alles had gezien met standaard sommachtvergelijkingen, kijk dan beter. De wiskunde stopt niet bij een paar variabelen. Het spiraalt.
Laten we nog eens naar het voorbeeld kijken. S 1 staat op 84. S 2 springt naar 1.152. S 3? Dat zijn 17.766.
Je kunt doorgaan. Voor onbepaalde tijd. Het bouwen van multigrades van opeenvolgend hogere ordes. De structuur houdt stand.
Hier is de truc: vermenigvuldig of deel elke term door hetzelfde getal. De gelijkheid blijft onaangetast. Het is flexibel.
Variaties zijn er in overvloed. Je kunt palindrome multigraden vinden. Deze lezen hetzelfde achteruit en vooruit. Of misschien geeft u de voorkeur aan priemgetallen. Je kunt multigrades bouwen die volledig uit deze componenten bestaan.
Maar er schuilen nog andere eigenaardigheden in de gehele getallen. Narcistische cijfers.
Dit zijn getallen die kunnen worden weergegeven door een soort wiskundige manipulatie van hun cijfers. Neem een geheel getal. Een geheel getal. Verhoog elk cijfer tot de n de macht. Vat ze samen. Als het resultaat het originele getal is, heb je een perfecte digitale invariant gevonden.
Overweeg 153.
13 + 53 + 33 = 153.
Het werkt. De cijfers drijven zichzelf aan en sommen op tot hun ouder.
Dan is er de terugkerende digitale invariant. Het loopt.
De wereld van recreatieve wiskunde houdt van een goede feesttruc, en digitale invarianten zijn het leven op het feest. Joseph Madachy wijst er in zijn boek Mathematics on Vacation op dat dit niet slechts geïsoleerde curiosa zijn. Ze zijn er in variaties die wiskundigen urenlang bezig houden.
De kracht van opgetelde cijfers
Eén specifiek type nieuwsgierigheid valt op. Het gaat om een getal dat gelijk is aan de n de macht van de som van de cijfers.
Denk er zo over na. Neem een nummer. Tel de cijfers bij elkaar op. Verhef die som tot een bepaalde macht. Als het resultaat weer het oorspronkelijke getal is, heb je een match gevonden. Het is een lus. Een digitale echo.
“Een curiositeit wordt geïllustreerd door een getal dat gelijk is aan de n de macht van de som van de cijfers.”
Dit is niet zomaar een willekeurige eigenschap. Het definieert een specifieke klasse van gehele getallen die zich ongewoon gedragen onder eenvoudige rekenkundige bewerkingen. De “n” hier is de sleutelvariabele. Het bepaalt de sterkte van de exponent. Verander de kracht en het getal doorbreekt meestal het patroon. Dat maakt het tot een digitale invariant. De som blijft constant ten opzichte van de transformatie gedefinieerd door n.
Madachy benadrukt dit omdat het laat zien hoe eenvoudige regels – cijfers optellen en vervolgens exponentiëren – tot stabiele punten kunnen leiden. Deze cijfers verankeren zich in de chaos van de berekening. Ze zijn zeldzaam. Maar ze bestaan. En zodra je er een hebt gevonden, ga je op zoek naar anderen. De jacht wordt het spel.
Je hebt waarschijnlijk wel eens gehoord van automorfe getallen. Het zijn gehele getallen waarvan de vierkanten eindigen met exact dezelfde cijfers als het oorspronkelijke getal. Neem 25. Kwadraat en je krijgt 625. De laatste twee cijfers? Nog steeds 25. Probeer 76. Het vierkant is 5776. Nogmaals, het eindigt op 76. Dit zijn niet zomaar willekeurige toevalligheden. Het zijn wiskundige eigenaardigheden die bijna mystiek aanvoelen.
Dan zijn er strobogrammatische getallen. Deze zien er identiek uit als je ze 180 graden draait. Denk eens aan 69. Draai het om. Het wordt 96. Wacht, dat is niet helemaal juist voor ‘hetzelfde lezen’. Laten we eens kijken naar 96 geroteerd. Het lijkt erop dat 96 ondersteboven staat? Nee, eigenlijk wordt 6 9 en 9 wordt 6. Dus 69 gedraaid is 69? Nee, 69 180 graden gedraaid lijkt op 69. Ja. En 96 gedraaid ziet eruit als 96. Ook 1001. Draai het om. Nog steeds 1001. Deze eigenschappen suggereren dat getallen verborgen persoonlijkheden hebben.
De Vier Negens-uitdaging
Dit brengt ons op het terrein van de digitale problemen. De meest bekende hiervan is het probleem van de vier negens. Je kent het misschien als de “vier 9s” of “vier 4s”, afhankelijk van het cijfer. Het doel is eenvoudig maar bedrieglijk moeilijk. Druk een zo groot mogelijke reeks gehele getallen uit, beginnend bij 1. U moet elk geheel getal weergeven met exact vier dezelfde cijfers.
Maar hier zit het addertje onder het gras. Het antwoord hangt geheel af van de bedieningsregels die u mag hanteren.
Als je alleen maar basisrekenkunde doet, stopt de reeks snel. Je moet creatief worden. Faculteiten? Vierkantswortels? Decimale punten? Aaneenschakeling? Elke toegestane operatie opent nieuwe deuren.
Beschouw de gedeeltelijke voorbeelden voor vier 1-en. Het begint gemakkelijk.
1 = 1 + 1 – 1 – 1 (Nee, dat is 0).
1 = 1 * 1 * 1 * 1.
2 = 1 + 1 + 1 – 1.
De beperkingen dwingen je om lateraal te denken. Welke handelingen zijn toegestaan? Kun je een dubbele faculteit gebruiken? Kun je twee 1-en samenvoegen om 11 te maken? De specifieke regels veranderen het hele landschap van de puzzel.
Waarom de regels ertoe doen
Er bestaan verschillende versies van deze puzzel. Sommige staan alleen +, -, *, / toe. Anderen omvatten exponenten, logaritmen of de gammafunctie. Hoe meer tools je hebt, hoe hoger de aantallen die je kunt bereiken. Dit gaat niet alleen over wiskunde. Het gaat over de grenzen van de notatie.
Strobogrammatische getallen en automorfe getallen zijn statische curiosa. Ze zitten daar op de getallenlijn. De vier negens-puzzel is dynamisch. Het vereist actie. Het vereist dat je de representatieregels ombuigt.
Er is een reden waarom deze puzzels blijven bestaan. Ze doen een beroep op het deel van de hersenen dat binnen strikte beperkingen patroonherkenning geniet. Het is een spel van beperking. Hoe meer u de cijfers beperkt, hoe meer u uw begrip van wat mogelijk is, moet vergroten.
Voelt de mystiek van automorfe getallen bevredigend? Of is het actief
Denk je dat je de code van de vier 4’s hebt gekraakt? Denk nog eens na.
De originele lijst uit het artikel in Recreational Mathematics Magazine van M. Bicknell en V. Hoggatt uit 1964 was slechts het topje van de ijsberg. Ze lieten één manier zien om vierenzestig doelen te raken. Maar het echte plezier schuilt in de alternatieven.
Neem het getal zeven. De standaardbenadering kan optelling en vierkantswortels gebruiken. Maar je kunt net zo gemakkelijk faculteiten gebruiken. Of verdeeldheid.
Overweeg dit:
7 = 4 + √4 + 4/4
Dat werkt. Maar dit geldt ook:
7 = 4!/4 + 4/4
En hier is nog een wending:
7 = 44/4 – 4
Het faculteitssymbool (!) is hier het jokerteken. Het verandert een eenvoudig getal in een product van alle gehele getallen die ernaartoe leiden. Dus 4! is slechts 4 × 3 × 2 × 1. Dat geeft je 24. Plotseling heb je nieuwe gereedschappen in de doos.
Wat gebeurt er zonder faculteiten?
Als je faculteiten uit de regelset verbiedt, verlies je het spel niet. Je verkleint gewoon het bord.
Je kunt nog steeds elk geheel getal van één tot tweeëntwintig uitdrukken met vier 4-en. Het vereist creatief omgaan met decimalen en wortels.
Kijk naar tweeëntwintig. Zonder faculteiten leun je op de komma en de wortel.
22 = (4 + 4) / 0,4 + √4
De decimale .4 is in wezen 0,4. Als je 8 door 0,4 deelt, krijg je 20. Voeg de vierkantswortel van 4 toe (wat 2 is) en je raakt het doel. Het is lelijk. Het is slim. Het werkt.
Maar als je de regels nog eens gaat uitbreiden? De mogelijkheden exploderen. Je bent niet meer beperkt tot elementaire algebra. U kunt bewerkingen in lagen aanbrengen. Je kunt ze ketenen.
Het volgende niveau: opeenvolgende gehele getallen
Er is een broer-zusprobleem bij de vier 4-puzzels. Het draait het script om.
In plaats van vier keer hetzelfde cijfer te gebruiken, gebruikt u de eerste m positieve gehele getallen. De regel is simpel: m moet groter zijn dan drie.
Je gebruikt elementaire algebrasymbolen. Je rangschikt de getallen 1, 2, 3 en 4.
Dit verschuift de uitdaging van herhaling naar sequentie. Je kunt niet zomaar 4 bij elkaar optellen. Je moet 1, 2, 3 en 4 in een functionele vergelijking verweven.
Het is een ander soort mentale gymnastiek. En het begint nog maar net.
Er zijn meer dan 100 manieren om de cijfers één tot en met negen zo te rangschikken dat ze precies honderd zijn. Dat is niet eens het moeilijkste deel. Deze puzzels vereisen hersenkracht. Ze vereisen geen geavanceerde wiskunde.
De oorsprong van cryptaritmen
De term cryptische rekenkunde ontstond in 1931. Het begon met een vermenigvuldigingsprobleem in het Belgische tijdschrift Sphinx. Die publicatie stond bekend om zijn hersenkrakers.
“Crypt-rekenkunde” werd geïntroduceerd in 1931, toen het volgende vermenigvuldigingsprobleem verscheen in het Belgische tijdschrift Sphinx
Het probleem leek eenvoudig. Het waren gewoon letters die cijfers vertegenwoordigden. Het oplossen ervan voelde als het kraken van een code. Het vereiste vindingrijkheid is hoog. De werkelijke rekenkunde is minimaal. Je zoekt naar patronen. Je voldoet aan de beperkingen.
Deze puzzels hebben veel variaties. Sommigen vragen om bedragen. Anderen eisen producten. Het doel is altijd hetzelfde. Zoek het verborgen nummer achter de letter. Het is een spel van logica. Geen rekentoets.
Cryptaritmen zijn wiskundige puzzels waarbij cijfers worden vervangen door letters of symbolen. De meeste omvatten basisbewerkingen zoals optellen, aftrekken, vermenigvuldigen of delen. Om ze op te lossen is logica nodig, en niet gissen.
Het proces begint met analyse. Neem een eenvoudig voorbeeld. Je kijkt naar de deelproducten. Als D × A gelijk is aan D, dan moet A 1 zijn. Dat is een hard feit.
Kijk vervolgens naar C. Als D × C en E × C beide eindigen op C, is C meestal 5. Nul werkt als beide cijfers even zijn. Vijf werkt als beide oneven zijn. Hier is C = 5.
Nu voor D en E. Ze moeten vreemd zijn. Maar niet 9, omdat de deelproducten maar drie cijfers hebben. Dus het zijn er 3 of 7. Welke is welke?
Controleer B. Als D × B uit één cijfer bestaat, moet B klein zijn. Als E × B uit twee cijfers bestaat, is E groter. Dus E = 7 en D = 3.
B kan niet nul zijn. Dan blijft er 2 over. Dus B = 2.
Maak de wiskunde af. F = 8. G = 6. H = 4. Het antwoord is 125 × 37 = 4.625.
Deze uitsplitsing komt uit 150 Puzzles in Crypt-Arithmetic van Maxey Brooke. Dover publiceerde het in 1963. Het is niet voor niets nog steeds een klassieker.
De verdeling VERZENDEN + MEER = GELD
Deze puzzels zijn ouder dan het boek van Brooke. Soms verschijnen ze vóór records. Alfametrie is een specifiek type. De letters vormen echte woorden. Een van de oudste en bekendste is VERZENDEN + MEER = GELD.
Het is een eenvoudige vergelijking. Maar het is bedrieglijk complex.
S = 9. E = 5. N = 6. D = 7. M = 1. O = 0. R = 8. Y = 2.
9567 + 1085 = 10652.
Controleer de wiskunde. Het werkt. Elke letter heeft een uniek cijfer. Geen voorloopnul. M kan niet nul zijn. S kan niet nul zijn. De beperkingen worden snel strenger.
Waarom blijft deze puzzel bestaan? Het is schoon. Er worden gewone woorden gebruikt. Het voelt als een code. Je bent niet alleen maar bezig met rekenen. Je decodeert een bericht.
Er bestaan andere alfametrieën. KRUIS + ROZEN = ARSENICUM. ETEN + DAT = TAART. Ze variëren in moeilijkheidsgraad. Sommige zijn triviaal. Anderen duren uren. De logica is echter hetzelfde. Vind de ankers. Een cijfer dat een ander dwingt. Een carry die het patroon doorbreekt.
Mensen lossen ze vandaag de dag nog steeds op. Niet alleen voor de wiskunde. Voor de tevredenheid. Het moment dat de stukjes klikken. Het verborgen woord onthuld. Het is een mentale training. Kort. Scherp. Bevredigend.
De puzzel eindigt niet met het antwoord. Het eindigt met begrip. Hoe de letters op elkaar inwerken. Hoe de cijfers zich gedragen. Het is een kleine wereld. Op zichzelf staand. Logisch.
En toch. Je zult het weer zien. In een tijdschrift. Op een forum. In een klaslokaal. Dezelfde logica. Verschillende woorden. Verschillende cijfers. Dezelfde sensatie.
Is er een limiet aan hoe complex deze zijn?
De standaardregels voor alfametrie zijn streng. De eerste letter van welk woord dan ook kan niet nul zijn. Geen twee letters kunnen voor hetzelfde cijfer staan. Als je deze regels overtreedt, heb je een specifieke aanwijzing nodig om de uitzondering te rechtvaardigen. Sommige puzzels zijn zo compact dat ze meerdere oplossingen bevatten. Computers doorstaan deze complexiteiten.
De valstrik van valse logica
Wiskundigen zijn al eeuwenlang geobsedeerd door paradoxen en denkfouten. Een paradox houdt je koud. De logica houdt stand. Elke stap is geldig. Toch is de conclusie zo bizar dat je weigert het te geloven. Het is contra-intuïtief. Het voelt verkeerd.
Een misvatting is iets anders. Het is een vergissing. Onjuiste redenering leidt tot een resultaat dat duidelijk absurd is. De fout overtreedt meestal een kernprincipe van wiskunde of logica. Beginners trappen er moeilijk in. Ze zien de verborgen val niet. Tenzij u weet dat de regel wordt overtreden, blijft de fout onzichtbaar.
Dan zijn er de sofismen. De fout is opzettelijk. Met opzet gedaan. Om een specifieke reden. Maar wat als een foutieve berekening per ongeluk op het juiste antwoord terechtkomt? Dat is een brul. Het is de kunst om de juiste fout te maken.
Oneindigheid veroorzaakt veel problemen. Beperkende processen creëren paradoxen. Neem de oneindige reeks.
De oneindige som die nooit echt raakt 2
Je hebt een serie die blijft stijgen. Hoe meer termen je aan de stapel toevoegt, hoe hoger het totaal wordt. Het is een gestage, meedogenloze stijging. Maar hier zit het addertje onder het gras. De som komt eigenlijk nooit op 2. Het blijft strikt onder dat plafond.
Het komt alleen maar dichterbij. En dichterbij. En dichterbij.
Zie het als rennen naar een muur. Je legt de helft van de afstand af, dan de helft van wat er nog over is, en dan nog eens de helft. Je gaat altijd vooruit. Je komt altijd dichter bij het doel. Maar je raakt het nooit helemaal aan. Dit is het gedrag van een convergente reeks. Concreet één begrensd door 2.
“De som blijft altijd kleiner dan 2, hoewel deze steeds dichter bij 2 komt naarmate er meer termen in voorkomen.”
Dit is niet alleen een wiskundige truc. Het is een fundamenteel concept in de calculus. Het gaat over grenzen. We zijn niet op zoek naar het definitieve nummer, want dat is er niet. We zijn op zoek naar het gedrag naarmate het aantal termen naar oneindig gaat.
Waarom het belangrijk is voor wiskunde in de popcultuur
Oké, misschien geef je niets om serieconvergentie. Maar deze logica geldt voor alles. Denk aan het streamen van nummers. Een programma kan elke week meer kijkers trekken. De groei vertraagt. Het nadert een verzadigingspunt. Maar het bereikt nooit helemaal dat theoretische maximum. Het zweeft net onder.
Of denk aan de kassatotalen. Een film brengt elk weekend meer op. Het groeitempo daalt. De totale som loopt richting een eindgetal. Maar totdat het laatste ticket is verkocht, is het altijd een schatting. Een limiet.
Dezelfde regel is van toepassing op volgers van beroemdheden. Ze krijgen elke dag meer fans. Maar het account stopt nooit echt met groeien totdat de persoon overlijdt of zwijgt. Zelfs dan is het historische totaal een momentopname. Een moment in de tijd.
De andere serie
De serie daarentegen…
Welnu, de tekst wordt afgebroken. Maar meestal is bij deze vergelijkingen de ‘andere reeks’ de uiteenlopende. Degene die zich niet bekommert om grenzen. Degene die maar blijft groeien. Voor altijd. Geen plafond. Geen muur.
Gewoon eindeloze uitbreiding.
Wat is enger? Het ding dat je nooit helemaal kunt bereiken? Of iets dat nooit ophoudt te komen?
Math heeft altijd van een goede plotwending gehouden. Denk je dat je het doorhebt? Denk nog eens na. Neem de serie die bekend staat als Divergent: It Has No Limit. Als je termen blijft toevoegen, wordt de som niet alleen maar groter. Het explodeert. Het wordt groter dan elke waarde die u kunt kiezen. Het is een op hol geslagen trein zonder remmen.
Dan is er de even getalparadox. Het is een hoofdpijn die je intuïtie breekt.
Er zijn net zoveel even natuurlijke getallen als er even en oneven getallen samen zijn.
Denk daar eens over na.
De verzameling even getallen is een deelverzameling van de totale natuurlijke getallen. In onze eindige wereld is het geheel altijd groter dan zijn delen. Je kunt niet vijf appels hebben en evenveel appels als je alleen de rode telt. Maar oneindig? Infinity geeft niets om jouw regels.
Deze tegenstrijdigheid is geen bug. Het is een kenmerk van oneindige collecties.
Omdat beide oneindig zijn, zijn ze voor zowel praktische als wiskundige doeleinden gelijk.
Het voelt verkeerd. Het ziet er verkeerd uit. Maar wiskundig gezien, als je elk element in de ene set kunt koppelen aan een uniek element in een andere set, zijn ze even groot. Je kunt de natuurlijke getallen (1, 2, 3…) één op één toewijzen aan de even getallen (2, 4, 6…). Geen restjes. Geen gaten.
Het geheel is hier niet groter dan de delen. De delen zijn het geheel.
Dit is waar de menselijke logica tegen een muur botst. We zijn geëvolueerd om bessen te tellen en roofdieren te spotten, niet om door de abstracte diepten van eindeloze sets te navigeren. Wanneer je met een oneindig aantal objecten te maken hebt, komt gelijkheid op de achtergrond ten opzichte van correspondentie.
Is het dus een paradox? Technisch gezien. Het is in tegenspraak met het oude idee dat het geheel groter is dan welk deel dan ook. Maar het is alleen een tegenstrijdigheid als je erop staat eindige regels toe te passen op een oneindig canvas.
Zodra je accepteert dat de oneindigheid zich anders gedraagt, verdwijnt de ‘tegenspraak’. Het is gewoon een ander soort gelijkheid.
Waarom is dit belangrijk voor jou? Het is niet alleen academisch jargon. Het is de basis van calculus, van het begrijpen van de snelheid van verandering, van hoe we het universum modelleren. Zonder te begrijpen dat sommige dingen niet kloppen in de traditionele zin van het woord, blijft de moderne natuurkunde in de modder steken.
Maar het blijft raar.
Je kunt een lijn eeuwig in tweeën blijven delen. Je zult nooit het einde bereiken. Je zult nooit klaar zijn. En toch kom je er.
Hoe verzoen je dat met de manier waarop je je door de wereld beweegt? Dat doe je niet. Je accepteert gewoon de wiskunde en gaat verder.
Zeno van Elea dacht eigenlijk niet dat Achilles de schildpad nooit zou kunnen vangen. Hij hield gewoon van een goede logische valstrik.
Rond 450 vGT kwam hij met vier argumenten die bedoeld waren om je hersenen te breken. De installatie is eenvoudig. Achilles racet met een schildpad. De schildpad krijgt een voorsprong. Zeno stelt dat Achilles hem nooit kan inhalen. Waarom? Want voordat hij de plek bereikt waar de schildpad was, is de schildpad naar een nieuwe plek verhuisd. En dan nog een. En nog een. Oneindige stappen. Geen finishlijn.
Het is een sofisme. Een truc. Zeno wist dat het gebrekkig was. Zijn doel was niet om beweging onmogelijk te maken. Het was bedoeld om de tekortkomingen bloot te leggen in de manier waarop we over ruimte en tijd denken.
De andere drie paradoxen raken soortgelijke noten. De Dichotomie beweert dat de beweging niet eens kan beginnen. Je moet eerst de helft van de afstand overbruggen, en dan de helft daarvan, voor altijd. De Arrow beweert dat een vliegende pijl op elk moment feitelijk bewegingloos is. Als de tijd uit momenten bestaat, en het nog steeds in elk moment aanwezig is, beweegt het nooit. Dan is er nog het Stadion, dat knoeit met je gevoel voor tijdsintervallen. Het suggereert dat een korte duur gelijk staat aan een lange. Gewoon om je uit balans te houden.
Dit waren niet alleen woordspelletjes. Ze tastten de grenzen van grenzen en oneindigheid af. Concepten die zo glibberig zijn dat ze millennia lang onopgelost bleven. Het duurde tot de 19e eeuw voordat de wiskunde haar inhaalslag maakte. Eindelijk kwam er een rigoureuze analyse. De transfiniete getaltheorie kreeg een basis. Alleen dan zouden we goed kunnen uitleggen waarom Zeno’s oneindige stappen Achilles er niet van weerhouden de race te winnen.
Maar laten we een versnelling hoger schakelen. Ga van het oude Griekenland naar de algebrales op de middelbare school.
Veel voorkomende algebraïsche denkfouten werken op vergelijkbare principes van verborgen vallen. Meestal breken ze een of meer van deze basisaannames:
Het begint met een simpele tegenstrijdigheid. Je denkt dat je algebra doet. Dat ben je niet. Je bouwt een kaartenhuis in een orkaan.
Neem variabele a. En variabele b. Standaard dingen. Maar dan veranderen de regels. Opeens moet a groter zijn dan b. En ook kleiner dan b. Tegelijkertijd. Dit is niet alleen verkeerd. Het is onmogelijk. Het is een schending van de fundamentele realiteit. Je kunt niet zowel boven als onder de lijn zijn.
Dat is het eerste voorbeeld van een logische fout. Een schone, harde pauze.
Dan is er nog de tweede soort fout. De rommelige. De ‘gelukkige stijve’.
Nee, dat is geen typefout. Dat is een term. Het verwijst naar een illegale operatie. Je hebt geluk. Je stuit op een resultaat dat er goed uitziet, maar fundamenteel kapot is. Het is een hack. Een oplossing die geen water vasthoudt. Je lost de vergelijking niet op. Je vervalst de oplossing.
En je weet dat het nep is, omdat het onderzoek niet zal overleven. De cijfers kloppen niet. De logica zal instorten. Net zoals a niet zowel groter als kleiner kan zijn dan b.
Dit zijn niet alleen typefouten. Het zijn structurele mislukkingen. Als je erop voortbouwt, stort de hele zaak in.
De obsessie van Pythagoras met getalvormen
Getallen zijn niet alleen abstracte symbolen. Voor de Pythagoreeërs hadden ze rond 500 vGT een persoonlijkheid. Ze hadden vorm.
Deze fascinatie was niet nieuw. Oude Chinese geleerden kenden deze concepten waarschijnlijk. Tegen de 15e eeuw verschenen ze in rekenboeken. Maar de oude Grieken gingen nog verder. Ze geloofden dat alles verklaard kon worden door cijfers. En die cijfers hadden specifieke kenmerken.
Dit leidde tot de ontdekking van veelhoekige getallen. Ook bekend als figuurnummers, vertegenwoordigen deze tellingen gerangschikt in geometrische figuren. Het is een concept dat vandaag de dag eenvoudig klinkt. Maar toen was het een openbaring.
Cijfers werden belegd met specifieke kenmerken en persoonlijkheden.
Neem de driehoek. Het is de meest basale vorm. Het eerste driehoeksgetal is 1. Het tweede is 3. Het derde is 6. Dan 10. Dan 15. Dan 21.
Visualiseer het.
Punten of stippen gerangschikt in de vorm van een driehoek.
Het is niet zomaar een lijst. Het is een visueel patroon.
Maar waarom was dit zo belangrijk voor Pythagoras en zijn volgelingen?
Omdat ze het universum als wiskundig zagen. Als je een getal aan een fysieke vorm kunt koppelen, heb je een stukje van de waarheid gevonden. Het ging niet alleen om tellen. Het ging om structuur.
Dit idee leidde tot eeuwen van onderzoek. Wiskundigen stopten niet bij driehoeken. Ze zochten naar vierkanten. Vijfhoeken. Zeshoeken. Elke vorm onthulde nieuwe relaties.
De Pythagoreeërs erkenden dat getallen ‘vormen’ hadden.
Dit inzicht veranderde de manier waarop we over rekenen denken. Het ging niet alleen om optellen en vermenigvuldigen. Het ging over geometrie.
En het begon met stippen.
Als je goed naar een reeks driehoekige getallen kijkt – 1, 3, 6, 10 – zul je een verborgen geometrisch patroon ontdekken dat verklaart waarom vierkanten zo gebruikelijk zijn in de natuur en wiskunde. De relatie is niet willekeurig. Het is structureel.
Vierkante getallen, de kwadraten van natuurlijke getallen zoals 1, 4, 9, 16 en 25, hebben een visuele weergave. Ze kunnen worden gerangschikt in perfecte vierkante reeksen punten. Dit visuele bewijs wordt vaak getoond in de inleidende meetkunde, maar het diepere verband ligt elders.
De driehoek-naar-vierkant-verbinding
De echte magie vindt plaats wanneer je aangrenzende driehoeksgetallen combineert. Neem de eerste twee driehoeksgetallen: 1 en 3. Tel ze bij elkaar op. Het resultaat is 4. Dat is een kwadraatgetal.
Probeer nu het volgende paar. Het tweede driehoeksgetal is 3. Het derde is 6. Voeg ze toe. Je krijgt 9. Nog een vierkant.
Dit is geen toeval. De som van twee aangrenzende driehoeksgetallen is altijd gelijk aan een kwadraatgetal.
“De som van twee aangrenzende driehoeksgetallen is altijd een kwadraatgetal.”
Deze geometrische waarheid verklaart waarom vierkanten zo vaak voorkomen in telsystemen. Het gaat niet alleen om het kwadrateren van een variabele. Het gaat om het stapelen van vormen. Als je stippen in een driehoek schikt en er vervolgens een andere, iets grotere driehoek naast plaatst, passen ze perfect in elkaar en vormen ze een groter vierkant.
Deze eigenschap koppelt de getaltheorie rechtstreeks aan de visuele ruimte. Het maakt van abstracte rekenkunde een fysieke puzzel. Je hebt geen rekenmachine nodig om het te zien. Je hoeft het alleen maar te tekenen.
En daarom komen we steeds weer terug op deze basisvormen. Zij zijn de bouwstenen voor al het andere.
Waarom langwerpige getallen belangrijk zijn in wiskunde in de popcultuur
Je ziet niet in elk filmscript langwerpige getallen genoemd, maar ze zijn in het volle zicht verborgen wanneer een film over rasters, arrays of zelfs maar over basisgeometrie gaat. Zie ze als de rechthoekige neven van driehoekige getallen. Het zijn niet alleen abstracte concepten. Het zijn specifieke gehele getallen die punten vertegenwoordigen die in een rechthoek zijn gerangschikt, waarbij de ene zijde precies één eenheid langer is dan de andere.
De reeks begint klein. 2, 6, 12, 20, 30. Eenvoudig genoeg. Maar kijk eens dichterbij. Elk getal is het product van twee opeenvolgende gehele getallen. 1 keer 2 is gelijk aan 2. 2 keer 3 is 6. 3 keer 4 levert 12 op. Het is een patroon dat zich met mechanische precisie herhaalt.
“Langwerpige getallen worden gevormd door een driehoekig getal te verdubbelen.”
Deze relatie is cruciaal. Als je een driehoekig getal neemt, zoals 1, 3, 6, 10, en dit verdubbelt, krijg je een langwerpig getal. 1 verdubbeld is 2. 3 verdubbeld is 6. 6 verdubbeld is 12. De wiskunde houdt stand. Het is een directe link tussen twee fundamentele vormen in de getaltheorie.
Sommigen vragen zich misschien af waarom dit er buiten een leerboek toe doet. Dat is niet het geval. Niet echt. Maar het is leuk om te weten dat 20 niet zomaar een willekeurige leeftijd of een jaar is. Het is 4 keer 5. Het is ook 2 plus 4 plus 6 plus 8. De som van de eerste vier even getallen. Dat is de tweede manier om deze cijfers te bouwen. Je kunt opeenvolgende paren vermenigvuldigen of even getallen stapelen. Beide paden leiden naar dezelfde langwerpige bestemming.
Dit gaat niet alleen over punten op een pagina. Het gaat om structuur. Rechthoeken overal – van de beeldverhouding van een bioscoopscherm tot de lay-out van een spreadsheet – vertrouwen op dit soort proportioneel denken. Langwerpige getallen vormen de wiskundige ruggengraat van die verhouding. Zij vormen de verborgen orde achter de chaos van alledaagse vormen.
De geometrie van oneven getallen
Beschouw een gnomon als een geometrische L-vorm. Het is niet zomaar een willekeurige kronkel. Het weerspiegelt de rechte hoek van een timmermansvierkant. De Pythagoreeërs gebruikten deze vormen niet alleen ter decoratie. Ze behandelden ze als bouwstenen.
De wiskunde is verrassend eenvoudig als je het patroon eenmaal ziet.
Begin met een klein vierkant. Voeg een gnomon toe. Je krijgt een groter vierkant. De nummers volgen een strak ritme. Je kunt vierkanten bouwen door deze vormen op kleinere te stapelen. Hierdoor konden ze complexe onderlinge relaties afleiden zonder moderne algebra.
Denk aan de volgorde van de vierkanten.
- 1 kwadraat plus 3 is gelijk aan 2 kwadraat
- 2 kwadraat plus 5 is 3 kwadraat
- 3 kwadraat plus 7 is gelijk aan 4 kwadraat
Het is een kettingreactie. Maar er is een andere manier om ernaar te kijken.
Je kunt opeenvolgende oneven getallen optellen om een perfect vierkant te bereiken.
- 1 plus 3 is gelijk aan 3 kwadraat
- 1 plus 3 plus 5 is gelijk aan 4 kwadraat
- 1 plus 3 plus 5 plus 7 is gelijk aan 5 kwadraat
- 1 plus 3 plus 5 plus 7 plus 9 is gelijk aan 6 kwadraat
De lijst gaat maar door. Het is elegant. Het is schoon.
Deze specifieke eigenschap van gnomonen in de wiskunde van Pythagoras heeft waarschijnlijk geleid tot de ontdekking van de beroemdste stelling uit de geschiedenis. Pythagoras stuitte niet toevallig op de relatie tussen de zijden van een rechthoekige driehoek. Hij dacht aan vierkante getallen.
Hij merkte dat het toevoegen van een oneven vierkant aan een even vierkant een derde vierkant kon vormen. Het visuele bewijs was daar in de L-vormen.
a kwadraat plus b kwadraat is gelijk aan c kwadraat.
De geometrie verklaarde de algebra. Of beter gezegd, de geometrie was de algebra. Ze hadden geen symbolen voor variabelen. Ze hadden vormen. En die vormen vertelden een verhaal over cijfers.
Waarom deed het er zoveel toe? Omdat het optellen koppelde aan vermenigvuldigen. Het verbond lijnen met gebieden. Het maakte van abstract tellen een tastbare ruimte.
De gnomon was de sleutel. Het opende de deur naar inzicht in hoe getallen groeien. Hoe ze bij elkaar passen. Hoe ze structuur creëren in de chaos.
Het is vreemd om te denken dat zo’n eenvoudige L-vorm zoveel kracht in zich heeft. Maar aan de andere kant schuilt in eenvoud vaak de diepste waarheden.
De wiskunde wordt hier vreemd specifiek. We kijken naar een geval waarin $a^2 + b^2 = c^2$, maar met een addertje onder het gras: $a^2$ is gelijk aan $b + c$. Het is een nichestukje Pythagoras-triples. De Grieken stopten echter niet alleen bij rechthoekige driehoeken. Ze waren geobsedeerd door vormen. Vijfhoekige cijfers. Zeshoekige cijfers. Ze brachten geometrische patronen rechtstreeks in kaart in de algebra. Het was geen abstracte kunst. Het was rekenen met randen.
Deze vallen onder de bredere paraplu van figuurlijke getallen. Veelhoekige getallen zijn slechts één subset. De lijst begint met eenvoudige rekenkundige reeksen, maar het patroon blijft bestaan.
De sommen van deze reeksen leveren geen eenvoudige rekenkundige progressies op. Ze bouwen iets meer gestructureerd. Je krijgt veelhoekige getallen. Met name driehoekige en vierkante getallen. Maar de wiskunde stopt niet bij twee dimensies.
Van veelhoeken tot piramides
Voeg deze reeksen weer bij elkaar en je klimt in drie dimensies. De resultaten zijn figuurlijke getallen. We noemen ze piramidevormige getallen.
Dit is niet alleen historische nieuwsgierigheid. Deze getallen sluiten rechtstreeks aan op de moderne getaltheorie. Zelfs basiseigenschappen van gehele getallen kunnen zware machines vergen om te verklaren.
Neem deze regel. Elk geheel getal valt in een van de drie categorieën. Het is:
- Een driehoekig getal.
- De som van twee driehoeksgetallen.
- De som van drie driehoeksgetallen.
Het bewijs is elegant maar complex. Zo ziet het er in de praktijk uit.
“8 = 1 + 1 + 6”
“42 = 6 + 36”
“43 = 15 + 28”
“44 = 6 + 10 + 28”
Vier is zes. Wachten. Nee. Veertien is gelijk aan zes plus acht. Dat zijn twee driehoeken. Maar voor vier vier zijn er drie nodig. Zes plus tien plus achtentwintig.
Pythagoras-triples
Ga van sommen naar kwadraten. De stelling van Pythagoras opent deuren waarvan je niet wist dat ze bestonden. Een Pythagoras-drietal komt van de zijden van een rechthoekige driehoek met gehele lengtes.
Zoek drie positieve gehele getallen a, b en c waarbij:
a ² + b ² = c ²
Als deze getallen geen gemeenschappelijke factor hebben, vormen ze een primitieve Pythagoras-triple. Relatief eersteklas. Dat is de belangrijkste beperking.
We hebben een manier nodig om ze allemaal te genereren. Vind er niet zomaar één of twee. Allemaal.
Er is een formule. Het werkt voor het genereren van alle primitieve Pythagoras-triples.
Als m en n positieve gehele getallen zijn met m > n, en m en n relatief priemgetallen zijn, en de één even is terwijl de ander oneven is, dan:
a = m ² – n ²
b = 2m n
c = m² + n*²
Probeer m = 2, n = 1.
een = 4 – 1 = 3
b = 2(2)(1) = 4
c = 4 + 1 = 5
3, 4, 5. De klassieke tripel.
Probeer m = 3, n = 2.
een = 9 – 4 = 5
b = 2(3)(2) = 12
c = 9 + 4 = 13
5, 12, 13.
Het lijkt eenvoudig genoeg totdat je probeert te bewijzen dat het elk mogelijk geval dekt, zonder duplicaten. De voorwaarden op m en n zijn streng. Ze filteren de niet-primitieve sets eruit. Zij zorgen voor de primitieve status.
Waarom geven we om de generatoren? Want zodra je de generator hebt, heb je de structuur. Je kunt teruggaan naar elke tripel.
De formule voor het genereren van deze triples is gebaseerd op het kiezen van twee specifieke gehele getallen, p en q, en het volgen van een strikte reeks regels. Het gaat niet alleen om het kiezen van twee getallen. Je moet voorzichtig zijn.
De eerste regel is dat p en q relatief priem moeten zijn. Dat betekent dat ze geen andere gemeenschappelijke factoren delen dan één. De tweede regel is zelfs nog specifieker: ze kunnen niet allebei even zijn, en ze kunnen niet allebei oneven zijn. Dit dwingt de een om even te zijn en de ander om oneven te zijn. Ten slotte moet u ervoor kiezen dat p groter is dan q.
Wanneer je al deze punten hebt bereikt, klikt de wiskunde op zijn plaats.
Waarom pariteit belangrijk is bij drievoudige generatie
Deze oneven-even eis is niet willekeurig. Als p en q beide oneven zouden zijn, zouden de resulterende kwadraten een som vormen die deelbaar is door 4, wat leidt tot een drietal waarbij alle zijden een factor 2 delen. Dat verbreekt de ‘primitieve’ voorwaarde. Hetzelfde gebeurt als ze allebei even zijn, omdat je de 2-en gewoon kunt verdelen.
Door één even en één oneven invoer te forceren, zorgt u ervoor dat de uitvoerzijden geen gemeenschappelijke deler delen. Het resultaat is een primitieve Pythagoras-triple.
Voorbeelden van gegenereerde triples
Als je p en q op de juiste manier kiest, krijg je klassieke sets. Als u bijvoorbeeld p = 2 en q = 1 kiest:
- De eerste zijde wordt $p^2 – q^2 = 3$
- De tweede zijde wordt $2pq = 4$
- De hypotenusa wordt $p^2 + q^2 = 5$
Je krijgt de 3-4-5-driehoek. Het is de meest fundamentele. Iedereen weet het. Maar het werkt omdat 2 en 1 coprime zijn en van gemengde pariteit zijn.
Probeer p = 3 en q = 2.
- Kant A: $9 – 4 = 5$
- Kant B: $2(3)(2) = 12$
- Hypotenusa: $9 + 4 = 13$
Dat geeft je 5-12-13. Nog een primitief stel.
Het patroon houdt stand. Je hoeft alleen maar die coprime-paren met gemengde pariteit te vinden en de geometrie te zien ontvouwen.
Je zou kunnen denken dat primitieve Pythagoras-drietallen willekeurig over de getallenlijn verspreid zijn, maar dat is niet zo. Er is slechts één geval waarin je drie opeenvolgende gehele getallen krijgt die zo’n drietal vormen. Het is de klassieke 3, 4, 5. Dat is alles.
Zodra je die ene anomalie voorbij bent, worden de regels interessant. Zelfs in een standaard primitief drietal waarbij a en b de benen zijn en c de hypotenusa, zijn er altijd specifieke modulaire rekenkundige beperkingen van toepassing. U kunt erop rekenen.
Deelbaarheid door 3, 4 en 5
Eén van de benen, a of b, zal altijd deelbaar zijn door 3. Een ander been zal altijd deelbaar zijn door 4. En als je naar alle drie de zijden kijkt, moet één ervan deelbaar zijn door 5. Dit is niet alleen maar toeval voor kleine getallen. Het is een structurele regel.
Hierdoor is het product van de drie zijden (abc ) altijd deelbaar door 60. Het is een helder, voorspelbaar patroon in een veld dat vaak chaotisch aanvoelt.
Het getal 7
Dan zijn er nog 7. Het is iets ingewikkelder. Eén van de volgende grootheden moet deelbaar zijn door 7:
* een
* b
* a + b
* a – b
Het zijn niet altijd de partijen zelf. Soms is het de som of het verschil. Maar 7 verschijnt altijd in een van die vormen.
Er is ook een formule die geldige Pythagoras-triples genereert voor elk geheel getal n. Als u een nummer invoert, krijgt u:
1. 2n + 1
2. 2n ² + 2n
3. 2n ² + 2n + 1
Deze vormen altijd een rechthoekige driehoek. Het is een betrouwbare manier om triples te genereren zonder lijsten te onthouden.
De oude Griekse beperkingen
De Grieken wisten dit al lang voordat we rekenmachines hadden. Ze wisten dat de hypotenusa van een primitief drietal altijd een oneven geheel getal is. Ze hadden niet het volledige moderne bewijs, maar ze hadden wel de intuïtie.
Vandaag hebben we een precieze voorwaarde. Een oneven geheel getal R dient als hypotenusa van een primitief drietal als en slechts als elke priemfactor van R de vorm 4k + 1 heeft. Dit beperkt welke oneven getallen zelfs op die positie kunnen voorkomen. Het elimineert de helft van de kansen direct uit de poort.
Perfecte getallen en Mersenne-priemgetallen
De meeste gehele getallen zijn overvloedig of ontoereikend. Het onderscheid is eenvoudig. Een overvloedig getal heeft goede delers (exclusief zichzelf) die optellen tot meer dan het getal. De echte delers van een gebrekkig getal zijn opgeteld minder.
Een perfect getal zit precies in het midden. Het is gelijk aan de som van de echte delers.
Neem 24. De delers ervan (1, 2, 3, 4, 6, 8, 12) zijn samen 36. Het is overvloedig.
Neem 32. De juiste delers zijn opgeteld 31. Het is een tekort.
Dan heb je 6. 1 + 2 + 3 = 6. Perfect.
Dan 28. 1 + 2 + 4 + 7 + 14 = 28. Ook perfect.
De volgende twee zijn 496 en 8.128. De Ouden kenden de eerste vier. Ze wisten niet of de lijst eeuwig doorging, of dat de volgende een miljoen cijfers lang was.
Euclides en Euler
Euclides deed een gok. Hij suggereerde dat getallen van de vorm 2n -1(2n -1) perfect zijn, op voorwaarde dat 2n -1 een priemgetal is. Hij had gelijk wat betreft de generatie, maar hij bewees niet dat dit de enige manier was.
Dat bewijs kwam veel later. In de 18e eeuw toonde Leonhard Euler aan dat elk even perfecte getal in de formule van Euclides moest passen. Dus als je op zoek bent naar een even perfect getal, hoef je alleen maar naar Mersenne-priemgetallen te kijken.
Een Mersenne-nummer is elk nummer van de vorm 2n -1, genoemd naar Marin Mersenne. Deze kunnen prime of composiet zijn. Wil 2n -1 een priemgetal zijn, dan moet n zelf een priemgetal zijn. Het is een noodzakelijke voorwaarde, maar niet voldoende. Het feit dat n een priemgetal is, betekent niet dat 2n -1 dat ook is. Maar als 2n -1 een priemgetal is, moet n dat ook zijn.
Hierdoor ontstaat een één-op-één correspondentie. Elk Mersenne-priemgetal levert een even perfect getal op. Elk even perfect getal is afkomstig van een Mersenne-priemgetal.
De reuzen vinden
Tot het computertijdperk was het vinden hiervan een handmatige klus. Er waren lange tijd slechts twaalf perfecte getallen bekend. Vervolgens gaf Édouard Lucas ons in 1876 een primaliteitstest voor Mersenne-getallen.
Raphael M. Robinson deed die test en voerde deze uit op vroege elektronische digitale computers. In 1952 had hij Mersenne-priemgetallen gevonden voor n -waarden van 521, 607,
Het konijnenprobleem waarmee het allemaal begon
Je vergeet gemakkelijk dat de Fibonacci-reeks niet in een computerlokaal is begonnen. Het begon met een boek. In 1202 publiceerde Leonardo van Pisa, beter bekend onder zijn bijnaam Fibonacci, Liber abaci. Dit was niet zomaar een handboek voor droge wiskunde. Het was een game-changer voor de Europese handel, waarbij Hindoe-Arabische cijfers werden geïntroduceerd op een continent dat nog steeds vastzat aan Romeinse cijfers. Maar in die serieuze financiële tekst zat een dom raadseltje over het fokken van konijnen.
De vraag was eenvoudig genoeg om tijdens het diner uit te leggen. Stel je voor dat je begint met één enkel paar konijnen. Elke maand produceert dat paar een nieuw paar. Hier is het addertje onder het gras: de pasgeborenen beginnen pas met fokken als ze twee maanden oud zijn. Dus in de eerste maand heb je één paar. In de tweede heb je het originele paar plus hun baby’s. In het derde nest krijgt het oorspronkelijke koppel nog een nestje, en de eerste baby’s zijn nu volwassen genoeg om zelf een nestje te krijgen.
Doe de wiskunde. Het is niet moeilijk. Je krijgt een specifieke reeks cijfers die steeds weer opduikt in de natuur, code en kunst.
Hoe de reeks zich ontvouwt
Laten we eens kijken naar de voortgang. Het is recursief, wat een mooie manier is om te zeggen dat elk getal de som is van de twee ervoor.
- Maand 1: 1 paar (het origineel)
- Maand 2: 2 paar (het origineel plus de eerste nakomelingen)
- Maand 3: 3 paar (origineel, eerste nakomeling, tweede nakomeling)
- Maand 4: 5 paar
De reeks is 1, 1, 2, 3, 5, 8, 13, 21, enzovoort. Het is schoon. Het is logisch. En het is overal als je eenmaal weet waar je moet kijken.
De oneindige eigenschappen van Fibonacci-getallen
Die tweede rij? Het is de openingshandeling van de reeks die we nu die van Fibonacci noemen. Elk getal na de eerste twee is slechts de som van de twee ervoor. Eenvoudige wiskunde. x n = x n−1 + x n−2. Maar tot ongeveer 1600 wist niemand dat deze regel de sleutel was.
De echte explosie van interesse kwam later. Met name de middelste decennia van de 20e eeuw. Onderzoekers hebben zich met een kracht verdiept in de eigenschappen van deze cijfers en dat heeft een berg literatuur opgeleverd. En het voelt alsof de put bodemloos is. De identiteiten blijven komen. Neem bijvoorbeeld deze: x n+1 · x n−1 = x n 2 + (−1)n. Het is elegant. Het is volhardend.
Dan is er Édouard Lucas. Hij had zijn eigen formule om dezelfde getallen te genereren. Een andere hoek op dezelfde oneindige puzzel.
De wiskunde achter de magische verhouding
Het begint met een getal dat weigert eenvoudig te zijn. De gulden snede, Phi (Φ), is ongeveer 1,618. Het omgekeerde is 0,618. Beide komen uit de wortels van x ² − x − 1 = 0. Deze vergelijking gaat terug tot Luca Pacioli. Een 15e-eeuwse Italiaanse wiskundige. Hij noemde het de goddelijke verhouding. De formule is a /b = b /(a + b ). Wanneer a kleiner is dan b. Stel x in op b /a en je komt er.
Het gaat over het verdelen van een lijn. Splits het zodat het kleinere deel zich verhoudt tot het grotere, precies zoals het grotere deel zich verhoudt tot het geheel. Ontwerpers uit de oudheid wisten dit. Moderne architecten gebruiken het ook. Een rechthoek met zijden in een verhouding van 3:5 voelt goed. Of 8:5. Het is esthetisch aantrekkelijk. Erg prettig, zeggen sommigen.
Krachten van Phi
Verhef Phi tot opeenvolgende machten. De reeks ontvouwt zich. Het begint met specifieke cijfers die de verhouding zelf weerspiegelen.
Je verwacht misschien geen verwijzing naar de popcultuur als je naar radicalen kijkt, maar er zit een verborgen patroon in de wortel van vijf. Het is geen magie. Het is gewoon wiskunde die wiskunde is.
De coëfficiënten in deze reeks zijn de beroemde Fibonacci-getallen. Je kent ze. Eén, één, twee, drie, vijf, acht. Ze rollen uit als een hartslag.
Kijk eens goed naar de haakjes. De tweede termen volgen een ander ritme. De Lucas-reeks. Het begint met één, drie. Dan vier, zeven, elf, achttien. Het voelt vertrouwd. Het is.
De Lucas-reeks deelt dezelfde recursieve hartslag als Fibonacci. Elk getal is de som van de twee ervoor. De formule is eenvoudig. $x_n = x_{n-1} + x_{n-2}$.
Het is een leuke truc. Een wiskundig paasei voor iedereen die van patronen houdt. De volgende keer dat je √5 ziet, denk dan aan de getallen die zich tussen de decimalen verbergen. Ze zijn er, wachtend om geteld te worden.
Begin met een gouden rechthoek met het label ABCD. Snijd een vierkant af met de naam ABEF. Wat is er nog over? Rechthoek ECDF. Het is weer een gouden rechthoek. Dezelfde verhoudingen. Verschillende maat. Als je dit volhoudt, worden de vierkantjes kleiner. De hoeken zijn uitgelijnd. Teken er cirkelbogen doorheen. Het resultaat is geen perfecte cirkel. Het is een logaritmische spiraal.
De natuur houdt van deze vorm. Je ziet het in nautilusschelpen. Je ziet het bij orkanen. De wiskunde erachter is schoon. De vergelijking r = k Θ regelt deze curve in poolcoördinaten. De constante k wordt gedefinieerd als Φ²/π. Phi kwadraat gedeeld door pi. Het is een precieze relatie tussen groei en hoek.
Maar de geometrie staat niet alleen op papier. Het ligt in de tuin. Fibonacci-getallen verklaren phyllotaxis. Dat is de mooie term voor hoe planten hun onderdelen rangschikken. Kijk naar een dennenappel. Tel de kransen. Kijk naar een ananas. De spiralen kruisen elkaar in Fibonacci-getallen. Hoofden van zonnebloemen? Hetzelfde. De bloemblaadjes groeien niet zomaar willekeurig. Ze volgen een reeks.
Waarom planten de Fibonacci-regels volgen
Dit is geen toeval. Het is efficiëntie. De specifieke volgorde van de eerder genoemde fracties zorgt ervoor dat zaden stevig worden verpakt. Het zorgt voor maximale blootstelling aan licht. Takken op sommige stengels volgen dezelfde logica. Ze vermijden elkaar in de schaduw te stellen. De plant optimaliseert zijn structuur.
De spiraal in figuur 4 benadert die natuurlijke groei. Het is een benadering omdat de natuur rommelig is. De biologie volgt geen lijnen. Het volgt trends. De gulden snede komt tot uiting in de afstand tussen de bladeren. Het komt voor in de rangschikking van zaden. Het is een patroon dat zich herhaalt tussen soorten.
Sommigen beweren misschien dat het alleen maar visuele aantrekkingskracht is. Maar de wiskunde houdt stand. De logaritmische spiraal maakt uitzetting mogelijk zonder van vorm te veranderen. Er groeit een blad. Het vervormt niet. Het schaalt. De Fibonacci-reeks biedt de gehele stappen voor deze schaling. Het is discrete groei in een continue wereld.
Het verband tussen wiskunde en biologie
Hoe weet een zaadje dat het in een spiraal moet groeien? Dat is niet het geval. De fysica van celdeling bevordert deze hoeken. De divergentiehoek benadert de gouden hoek. Hierdoor wordt overlap geminimaliseerd. Het maximaliseert de ruimte. Het resultaat lijkt op een Fibonacci-spiraal. Het is één.
Je hebt geen diploma in de plantkunde nodig om het te herkennen. Kijk maar eens naar de volgende ananas die je koopt. Of de volgende zonnebloem. De cijfers zijn er. Ingebed in de structuur. De gouden rechthoek is slechts de geometrische abstractie. De plant is de fysieke realiteit. Het zijn twee kanten van dezelfde medaille. Eén getekend met een kompas. Eén gekweekt in de grond. Beide volgen dezelfde onderliggende regel.
Optische illusies zijn niet alleen maar salontrucs. Het zijn wiskundige puzzels vermomd als visuele ruis. De wiskunde erachter is vaak gebaseerd op geometrische basisprincipes. In het bijzonder de evenredigheid tussen de oppervlakten van soortgelijke figuren en de vierkanten van hun lineaire afmetingen. Maar het zijn niet allemaal vergelijkingen. Er is hier een fysiologische laag. Je hersenen nemen relatieve lengtes nauwkeuriger waar dan relatieve gebieden. In die kloof in perceptie leeft de illusie.
We hebben het over een onorthodox perspectief. Vervormde hoeken. Misleidende schaduw. Wanneer u kleuren op ongebruikelijke manieren naast elkaar plaatst, veroorzaakt u chromatische aberratie. Nabeelden volgen. Voor een diepere duik in deze mechanismen zou je artikelen over illusie en hallucinatie opzoeken. Maar de geometrie wordt vreemder als je stopt met kijken naar statische beelden en begint te kijken naar logische vallen.
De geometrie van liegen
Er zijn beroemde ‘bewijzen’ in de meetkunde die beweren absurditeiten aan te tonen. Het zijn denkfouten. En ze zijn verleidelijk omdat ze een logische structuur volgen, alleen met een fatale fout.
Neem de bewering dat elke driehoek gelijkbenig is. Het klinkt verkeerd. Het is verkeerd. Toch overtuigen sommige ‘bewijzen’ u van het tegendeel. Dan is er de bewering dat elke hoek een rechte hoek is. Of het idee dat als je een vierhoek ABCD hebt waarbij zijde AB gelijk is aan zijde CD, AD * evenwijdig moet* zijn aan BC. Het is niet waar. U kunt een vorm construeren die aan de beschrijving voldoet zonder een parallellogram te zijn. De meest schandalige bewering is dat elk punt binnen een cirkel op de cirkel zelf ligt.
Hoe werken deze denkfouten? Ze gebruiken geen magie. Ze maken gebruik van subtiele fouten.
De verklaringen voor deze valse bewijzen komen meestal neer op een paar terugkerende trucjes. Ten eerste is er sprake van een gebrekkige constructie. Het diagram is enigszins afwijkend getekend, waardoor de tegenstrijdigheid verborgen blijft. Ten tweede is het een schending van logische principes. Een veel voorkomende is het aannemen van de waarheid van een gesprek. Als A B impliceert, betekent dat niet dat B A impliceert. Het verwarren van gedeeltelijke inverse of converses is een klassieke valkuil.
Soms is het een verkeerde interpretatie van een definitie. Het bewijs negeert ‘noodzakelijke en voldoende’ voorwaarden. Er is een voorwaarde nodig die vereist is, maar niet voldoende om de hele bewering te bewijzen. En dan is er nog het menselijke element. Te veel afhankelijkheid van diagrammen en intuïtie. We vertrouwen onze ogen boven de logica. We raken gevangen in beperkende processen en bedrieglijke schijn. De hersenen zien wat ze verwachten te zien.
Wanneer vormen geen uitgang hebben
Dit leidt direct tot onmogelijke cijfers. Dit zijn niet alleen optische trucs waar lijnen elkaar kruisen. Het zijn structuren die niet in de driedimensionale ruimte kunnen bestaan.
Denk aan de Penrose-driehoek. Drie staven vormen een driehoek. Elke hoek ziet eruit als een standaardverbinding van 90 graden. Zet ze samen, en ze lopen in een lus. Je hersenen proberen de dieptesignalen op te lossen. Het wijst een voorkant en een achterkant toe aan elke rand. Maar de randen sluiten niet aan. De figuur vereist een topologie die de regels van de Euclidische meetkunde overtreedt.
Deze recreaties zijn topologische nachtmerries. Ze dwingen het oog om een ononderbroken lijn te volgen die, als deze in de echte ruimte zou worden gevolgd, door zichzelf zou moeten gaan of zou moeten buigen op een manier die fysieke beperkingen tart. Kunstenaars en wiskundigen gebruiken ze om de grenzen van perceptuele interpretatie te benadrukken. Ze laten zien dat je hersenen een voorspellingsmachine zijn en geen camera. Het vult
De valstrik van onmogelijke geometrie
Kijk naar figuur 5. Je hersenen willen het accepteren. Het ziet plausibele 3D-objecten. Stevig. Echt. Maar leun dichterbij en de illusie verbrijzelt. Deze tekeningen liegen. Ze zijn gebouwd op een verkeerd perspectief, vreemde nevenschikkingen of regelrechte psychologische trucs. Je kunt ze niet bouwen. Ze bestaan niet in de ruimte.
Dit zijn onbeslisbare cijfers.
Oscar Reutersvard hield zich niet alleen bezig met visuele paradoxen. Hij heeft er zijn ding van gemaakt. De Zweedse kunstenaar maakte van deze onmogelijke vormen de hoofdgebeurtenis op een set postzegels. Het was vroeg. Het was gewaagd. En het bewees dat een postzegel een toegangspoort kan zijn tot een geometrie die weigert te werken.
De oneindige trap en de logica van de paradox
Het begon in 1958. L.S. Penrose, een Britse geneticus, en zijn zoon Roger Penrose, een wiskundig natuurkundige, lieten de wereld kennismaken met vreemde lussen. Het waren niet alleen visuele trucs. Het waren onbeslisbare figuren.
Neem de vierkante Penrose-trap. Je kunt het voor altijd in beide richtingen bewandelen. Je komt nooit hoger. Lager kom je nooit. Het is een eindeloze cyclus. M.C. Escher nam dit concept over en ging ermee aan de slag. Zijn litho Ascending and Descending uit 1960 toont monniken die dit onmogelijke pad bewandelen. Waterfall (1961) laat zien dat water de zwaartekracht tart en in zichzelf terugkeert. Dit zijn niet alleen kunst. Het zijn visuele bewijzen van logische paradoxen.
Vreemde loops raken het oneindige. Ze weerspiegelen zelfreferentiële uitspraken zoals die van Epimenides. De filosoof beweerde dat alle Kretenzers leugenaars waren. Als hij gelijk had, loog hij. Als hij loog, had hij gelijk. De lus sluit. De logica breekt.
Wanneer curven de regels overtreden
Wiskunde heeft zijn eigen versie van deze waanzin. Pathologische curven.
Een standaard continue curve gedraagt zich. Het heeft raaklijnen. Het heeft kromming gedefinieerd. Pathologische curven niet. Ze missen fundamentele eigenschappen. Hun raaklijn kan op elk afzonderlijk punt ongedefinieerd zijn. Je kunt ze traceren. Je kunt het gebied dat ze omsluiten meten. Dat gebied is eindig. De lengte? Oneindig.
Dit zijn geen optische illusies. Het zijn echte wiskundige objecten. Ze ontstaan als grenzen van reeksen geometrische constructies. De cijfers komen samen. De vormen kloppen niet helemaal. Hun lengte nadert een limiet. Het gebied nadert een ander. Maar het object zelf? Het is een paradox.
“Hun eigenaardigheden vormen eerder paradoxen dan optische illusies of denkfouten.”
Dit is waar wiskunde ophoudt intuïtief te zijn. Je trekt een lijn. Het wordt oneindig grillig. Het blijft in een klein doosje. Er is nergens een helling. Het is een curve die weigert een curve te zijn.
We zien dit in de Penrose-stappen. We zien het in de gevangenissen van Escher. We zien het in de wiskunde die eraan ten grondslag ligt. De oneindige lengte binnen een eindige ruimte. De richting die nergens heen leidt. Het is geen vergissing. Het is een functie.
De vraag is niet hoe dit op te lossen. Het is wat er gebeurt als je de lus accepteert. Blijf jij lopen? Houd je op met het zoeken naar het einde?
De curve zet zich voort.
De geometrie van oneindige omtrek en eindige ruimte
Neem de Koch-sneeuwvlok. Begin met een eenvoudige gelijkzijdige driehoek. Snijd elke kant in drieën. Vervang dat middelste derde deel door twee zijden van een kleinere gelijkzijdige driehoek die naar buiten wijst. Doe het opnieuw. En opnieuw. Het proces herhaalt zich oneindig. De eerste twee stappen zijn zichtbaar in Figuur 7, en laten zien hoe de vorm bij elke iteratie hobbeliger, scherper en complexer wordt.
Hier is de draai. De omtrek groeit onbeperkt. Het gaat tot in het oneindige. Toch blijft het gebied dat het omsluit eindig. Het nadert een specifiek plafond. Die bovengrens is precies 8/5 van de oppervlakte van de oorspronkelijke driehoek.
Denk daar eens over na. Je hebt een oneindig lange grens die zich rond een eindige hoeveelheid ruimte wikkelt. Het tart de intuïtie dat langere lijnen meer oppervlakte betekenen. De Koch-curve bewijst dat ze ongelijk hebben.
Ruimte vullen met een lijn die niet zou moeten passen
Het tart de basisgeometrie. Een curve is eendimensionaal. Het heeft lengte maar geen breedte. Het zou geen tweedimensionaal gebied moeten kunnen bestrijken. Toch bewijst de constructie in Figuur 8 het tegendeel. Als je de fasen blijft doorlopen. Het eindresultaat raakt elk punt in het vierkant.
Dit is geen truc. De wiskunde houdt stand. De curve wordt ruimtevullend.
Van vierkanten naar kubussen
Je kunt deze logica nog verder uitbreiden. Het is niet beperkt tot vlakke oppervlakken. Door dezelfde redenering toe te passen. De curve kan een hele kubus vullen. Drie dimensies. Eén doorlopende lijn. Het klinkt onmogelijk totdat je het wiskundewerk ziet.
De Sierpinski-curve is een raar beest. Het begint als een eenvoudig vierkant, maar als je het bouwproces ver genoeg doorvoert, wordt het iets heel anders. Het bevat elk punt binnen dat vierkant. Het vormt een gesloten lus.
Hier is de vangst. Blijf doorgaan. Voor onbepaalde tijd.
De lengte van de curve schiet naar het oneindige. Het stopt nooit met groeien. Toch beslaat het gebied dat het omsluit precies vijf twaalfde van de totale oppervlakte van het plein. Het is een paradox van de geometrie.
“Naarmate het proces van het vormen van de curve voor onbepaalde tijd wordt voortgezet, nadert de lengte van de curve het oneindige, terwijl het gebied dat erdoor wordt omsloten 5/12 van dat van het vierkant nadert.”
Dan is er de fractale curve. Een losse definitie werkt hier prima. Het is een vorm die zijn onregelmatige patroon behoudt, hoe ver je ook inzoomt. Denk aan de sneeuwvlok van von Koch. Dat is het klassieke voorbeeld.
Kijk wat er gebeurt in elke fase van het bouwen ervan. De omtrek wordt niet alleen groter. Het groeit met een specifieke verhouding. Vier tot drie.
Benoit Mandelbrot veranderde het spel in de jaren vijftig. Hij hield niet van het oude idee van dimensie. Hij wilde een nieuw symbool. D.
Hij behandelde dimensie als een kracht. Tot welke macht verhef je 3, zodat het gelijk is aan 4? Dat is de vraag. Het antwoord is geen geheel getal. Het is log 4 gedeeld door log 3. Ongeveer 1,26.
Dat is de afmeting van de sneeuwvlok. Het is geen lijn. Het is geen vliegtuig. Het zit ergens tussenin.
Mandelbrot en zijn collega’s begonnen naar deze ‘pathologische’ curven te kijken. Ze waren geobsedeerd door gelijkenis met zichzelf. Maar ze staarden niet alleen naar wiskunde. Ze keken naar de wereld.
Willekeurige schommelingen in de natuur creëren statistische gelijkheid. De technieken van Mandelbrot hielpen dit te ontcijferen. Het werkt voor vloeistofmechanica. Geomorfologie. Menselijke fysiologie. Economie. Taalkunde.
Neem de Brownse beweging. Kijk naar microscopisch kleine oppervlakken. Bekijk de vasculaire netwerken in uw lichaam. Controleer de vormen van polymeermoleculen.
Dit zijn allemaal fractals. Ze delen dezelfde ruwe, zich herhalende textuur.
Doolhoven
Het onoplosbare oplossen
Leg je hand op de muur. Houd het daar. Als een doolhof slechts één ingang en één uitgang heeft, garandeert deze eenvoudige regel dat je de uitweg vindt. Het is misschien niet de snelste route. Je zou een omweg kunnen nemen. Maar je komt er wel.
Wat als het doel verscholen ligt in het labyrint? Dezelfde hand-op-muur-truc werkt. Er is één vangst. Geen gesloten circuits. Als het doolhof een lus bevat – een route die teruggaat naar het begin – mislukt de methode. Je draait gewoon rondjes.
Wiskundigen noemen een doolhof zonder lussen ‘eenvoudig verbonden’. Als het lussen heeft, is het ‘meervoudig verbonden’. Om door deze complexe structuren te navigeren, heb je een beter plan nodig.
Wijs elk kruispunt aan als knooppunt. Label paden als ‘nieuw’ of ‘oud’. Zo loop je door het doolhof zonder te verdwalen:
- Loop nooit meer dan twee keer een pad.
- Een nieuw knooppunt gevonden? Kies een richting.
- Via een nieuw pad een oud knooppunt of een doodlopende weg tegenkomen? Draai je om en ga terug zoals je gekomen bent.
- Via een oud pad een oud knooppunt tegenkomen? Probeer een nieuw pad. Als er geen bestaat, neem dan een andere oude.
Mensen spelen niet meer zo vaak met papieren doolhoven als vroeger. De spanning is verdwenen. Maar twee moderne vakgebieden vertrouwen er nog steeds op. De psychologie gebruikt ze om leergedrag te bestuderen. Communicatietechnologie gebruikt ze om het computerontwerp te verbeteren.
Vormen in stukjes snijden
Geometrische dissecties zijn anders. Het gaat om het snijden van figuren in stukken die opnieuw kunnen worden gerangschikt. Neem een rechthoek. Snij het in stukjes. Zet de stukken weer in elkaar tot een vierkant. Doe het ook andersom.
De belangstelling voor deze wiskundepuzzel begon tegen het einde van de 18e eeuw. Montucla benadrukte het probleem. Naarmate het populairder werd, verschoof de focus. Het ging niet alleen meer om rechthoeken en vierkanten. Het ging over elke polygoon. Hoe ontleed je een vorm met n zijden in een andere vorm met gelijke oppervlakte?
Aan het begin van de 20e eeuw veranderde de vraag opnieuw. Het was niet genoeg om het gewoon te doen. Je moest het minimaal vereiste aantal stuks vinden. Efficiëntie was belangrijk.
Rond 1960 ontstond er een alomvattende theorie. Deze definieerde “equidecomposable” cijfers. Twee polygonen zijn equidecomposable als je de ene in een eindig aantal stukken kunt knippen en deze kunt herschikken om de andere te vormen. Ze moeten gelijke oppervlakten hebben. Blijkbaar.
De omgekeerde stelling is zelfs nog sterker. Als twee polygonen gelijke oppervlakten hebben, zijn ze equidecomposable. Periode.
Er is ook de methode van complementatie. Voeg congruente delen toe aan twee figuren. Maak de nieuwe figuren congruent. Deze zijn ‘equicomplementeerbaar’. Ze hebben ook gelijke oppervlakten.
De theorie breidde zich uit. Onderzoekers onderzochten hoe equidecomposability verband houdt met beweging. Vertalingen. Centrale symmetrie. Bewegingsgroepen in het algemeen. De studies bereikten uiteindelijk veelvlakken. 3D-vormen. Veel moeilijkere vragen. Wordt nog steeds beantwoord.
De mechanica van het Griekse kruis
Praktische toepassing vergt meer dan alleen theorie. Een Grieks kruis in een vierkant veranderen is geen simpele vouw. Je hebt ingenieuze procedures nodig om het te laten werken. De geometrie wordt snel lastig.
H. Lindgren documenteerde enkele van deze specifieke methoden. Zijn werk is het referentiemateriaal voor iedereen die deze puzzel daadwerkelijk probeert op te lossen. De details vindt u in de Bibliografie. Het gaat niet om gissen. Het gaat over het volgen van de stappen die daadwerkelijk bij elkaar blijven.
Het vierkant kwadrateren: een geometrische puzzel opgelost
Vergeet de stoffige schoolboeken. Het idee dat je een vierkant niet in kleinere, niet-identieke vierkanten kon splitsen, was ooit een hardnekkige mythe. Het was geen gebrek aan proberen. Wiskundigen staarden tientallen jaren naar de blanco pagina. De oplossing kwam niet van kompas en liniaal. Het kwam voort uit de netwerktheorie.
Dit zijn vierkante rechthoeken. Een rechthoek die is opgedeeld in een eindig aantal vierkanten. Als geen van die vierkanten even groot is, is het perfect. De bestelling? Alleen al het aantal vierkantjes.
Hier is de kicker. Er zijn geen perfecte rechthoeken met minder dan negen vierkanten. Nul. Niet één. Maar bij bestelling negen? Er bestaan er precies twee. Eén ervan is weergegeven in Figuur 12. De ontleding van een vierkant in ongelijke vierkanten, die al in 1907 onmogelijk werd geacht, werd voor het eerst gerapporteerd in 1939.
Het is geen magie. Het is topologie.
Hoe grafieken geometrische puzzels oplossen
Het woord grafiek brengt mensen in verwarring. Je stelt je een lijndiagram voor. Een aandelenticker. Een curve van analytische meetkunde. Fout. Of in ieder geval onvolledig.
Bij puzzels is een grafiek eenvoudiger. Punten en lijnen die ze verbinden. Lineaire grafieken. Iets meer. En toch hebben deze ruwe constructies een probleem opgelost dat meetkundigen meer dan dertig jaar lang heeft beziggehouden.
Waarom doet dit er toe? Omdat het laat zien hoe abstracte netwerken zich verhouden tot de fysieke ruimte. Je neemt een rechthoek. Je forceert er vierkanten in. Je volgt de verbindingen op. De grafiek onthult de verborgen symmetrie.
Het gaat niet alleen om mooie vormen. Het gaat over logica. Pure, onvervalste logica.
“De ontleding van een vierkant in ongelijke vierkanten, die al in 1907 onmogelijk werd geacht, werd voor het eerst gerapporteerd in 1939.”
Drie decennia van doodlopende wegen. Dan een doorbraak. Niet omdat iemand slimmer is geworden. Maar omdat ze stopten met kijken naar de vierkanten en begonnen te kijken naar de lijnen ertussen.
De grafiek geeft niets om hoeken. Het gaat om verbindingen. Dat is het geheim.
Basisprincipes van grafentheorie: van complete grafieken tot vlakke puzzels
Een eindige reeks punten verbonden door lijnen vormt een grafiek. Die punten zijn hoekpunten. De lijnen die ze verbinden zijn randen. Wanneer elk afzonderlijk hoekpunt met elk ander hoekpunt verbonden is, krijg je een volledige grafiek. Maar niet alle grafieken zijn zo eenvoudig.
Overweeg vlakke grafieken. Dit zijn figuren waarvan de randen elkaar niet kruisen, behalve bij de hoekpunten zelf. De lijnen hoeven niet recht te zijn. Je kunt ze buigen. Dankzij deze flexibiliteit kan een niet-vlakke grafiek opnieuw worden getekend als een isomorfe vlakke grafiek, zoals te zien in standaard geometrische illustraties.
De randen van een grafiek hoeven geen rechte lijnen te zijn. Dit onderscheid is van belang. Het betekent dat een rommelig, kruisend diagram feitelijk vlak kan zijn als je de lijnen gewoon uit elkaar trekt.
Het probleem met de drie bronnen en Jordans inzicht
Hier is een klassieke puzzel. Het probleem van de “drie bronnen”. Drie huizen. Drie putten. Je hebt paden nodig van elk huis naar elke put. Totaal negen paden. De regel? Geen pad kan een ander pad kruisen. Het is onmogelijk.
Het bewijs is gebaseerd op de Jordan-curvestelling. Een gesloten doorlopende curve splitst een vlak in een binnen- en een buitenzijde. Elke lijn die een punt binnenin met een punt buiten verbindt, moet de curve doorsnijden. Deze topologische realiteit maakt een einde aan de puzzel met drie putten.
Planaire grafieken zijn niet alleen voor puzzels. Ze zijn nuttig bij het ontwerpen van elektrische netwerken. Printplaten vertrouwen vaak op vlakke principes om kortsluiting te voorkomen en de connectiviteit te beheren.
Verbonden grafieken en paden
Een verbonden grafiek is eenvoudig. Elk hoekpunt is via een boog verbonden met elk ander hoekpunt. Een boog is slechts een ononderbroken reeks randen.
Er is ook een pad. Een pad loopt door de grafiek zonder tweemaal dezelfde rand te passeren. Je kunt een hoekpunt meerdere keren bezoeken. Gebruik de rand gewoon niet opnieuw. Het is een specifiek soort traversal.
De wortels van de moderne grafentheorie gaan terug tot een 18e-eeuwse puzzel die voor elke gewone wandelaar eenvoudig genoeg lijkt om op te lossen, maar wiskundig diepgaand bleek te zijn. Het begon met Leonhard Euler en het beruchte Königsbergbrugprobleem. Tientallen jaren daarna werd het veld gedomineerd door een specifiek type route dat bekend staat als een Euleriaans pad. Dit is een figuur die je kunt tekenen zonder je potlood op te tillen of een lijn te volgen.
De setting was de stad Königsberg, nu bekend als Kaliningrad. De geografie was rommelig. De rivier de Pregel splitste zich in takken en omringde een eiland. Zeven bruggen verbonden de verschillende landmassa’s. De uitdaging die aan de burgers werd gesteld was bedrieglijk eenvoudig. Zou iemand zijn huis kunnen verlaten, een wandeling over deze bruggen kunnen maken en naar huis kunnen terugkeren nadat hij ze allemaal precies één keer is overgestoken?
Euler bewees dat het onmogelijk was. Hij zei niet zomaar ‘nee’. Hij gaf de wereld een nieuwe manier om naar netwerken te kijken.
De regels van het netwerk
De logica van Euler is van toepassing op elk gesloten netwerk, niet alleen op rivieren en bruggen. De oplossing ligt in de punten waar lijnen samenkomen.
- Het aantal even punten (knooppunten waar een even aantal randen met elkaar verbonden zijn) is niet relevant voor de geldigheid van het pad.
- Het aantal oneven punten – waar een oneven aantal randen samenkomen – moet altijd even zijn. Dit geldt zelfs als er geen oneven punten zijn.
- Als er geen oneven punten zijn, kun je overal beginnen en op dezelfde plek eindigen.
- Als er precies twee oneven punten zijn, moet je op het ene oneven punt beginnen en op het andere eindigen.
- Als er meer dan twee oneven punten zijn, is één ononderbroken pad onmogelijk. Een netwerk met $2n$ oneven punten kan worden getraceerd in $n$ afzonderlijke paden.
Waarom de bruggen faalden
Kijk naar figuur 15F. Het brengt de Königsberg-situatie in kaart. De punten vertegenwoordigen de landgebieden. De randen vertegenwoordigen de zeven bruggen.
Het netwerk heeft vier oneven punten. Dat betekent dat je vier afzonderlijke paden nodig hebt om het perfect te volgen. Omdat mensen één ononderbroken wandeling willen, is de puzzel onoplosbaar.
Andere figuren in dezelfde set vertellen verschillende verhalen. Figuren 15B en 15C werken. Ze volgen de principes van Euler. Je kunt ze doorkruisen met behulp van Euleriaanse paden. Figuren 15D en 15E werken niet. Ze overtreden de regels van oneven en even punten.
De les bleef hangen. We stopten met kijken naar de curven en begonnen naar de verbindingen te kijken.
Je zou kunnen denken dat netwerkpuzzels alleen maar hersenkrakers zijn, maar het gaat eigenlijk om het combineren of rangschikken van punten in de ruimte. Het is ouder dan je zou denken.
Sir William Rowan Hamilton, een Ierse wiskundige, bedacht er een in 1859. De uitdaging? Zoek een route langs de randen van een regelmatige dodecaëder. Je moest elk punt precies één keer passeren. Geen herhalingen. Geen snelkoppelingen.
Later maakten mensen het gemakkelijker om te spelen. Ze verruilden de 3D-vorm voor een platte grafiek met 30 randen. Dezelfde logica, minder vouwen van karton.
Dit is wat we een Hamilton-circuit noemen. Het raakt elk hoekpunt één keer. Het dekt echter niet elke rand. Op elk kruispunt zijn er drie randen. Het circuit gebruikt er slechts twee. De dikke lijnen in Figuur 16 tonen zo’n pad. Er zijn er nog genoeg anderen.
Grafentheorie en chaos in de echte wereld
Grafentheorie is niet alleen bedoeld voor het vouwen van papier. Het lost combinatorische hoofdpijn op.
Denk aan het verbinden van steden via het spoor. Of het aanleggen van telefoonlijnen. Je hebt een netwerk nodig dat werkt. Grafentheorie helpt dat te plannen.
Het regelt ook het verkeer. Het bestelt round-robin-toernooien, zodat elk team tegen elk ander team speelt. Het matcht vacatures met sollicitanten. Het is de sleutel tot arrangementproblemen.
Het vierkleurenkaartprobleem
Cartografen wisten iets waar wiskundigen een eeuw lang over discussieerden.
Geen enkele kaart heeft meer dan vier kleuren nodig. U kunt elke regio schaduw geven, zolang de aangrenzende gebieden maar verschillen. Simpele regel. Hard bewijs.
In 1852 formuleerde iemand het ‘vierkleurenkaartprobleem’. Zou je een vlakke kaart kunnen bouwen waarvoor vijf nodig was?
Wiskundigen hebben het jarenlang aangevallen. Ze faalden.
Toen, in 1976, liet het team van de Universiteit van Illinois de hamer vallen. Ze bewezen dat vier kleuren genoeg zijn.
Hier is de kicker. Het was het eerste grote bewijs dat sterk afhankelijk was van een computer. Ze voerden meer dan 1.000 uur aan berekeningen uit. De diagrammen kwamen uit de machine. Sommige wiskundigen hadden er een hekel aan. Ze zeiden dat het niet ‘menselijk’ genoeg was. Maar het werkte.
U kunt soortgelijke vragen stellen voor andere oppervlakken.
Kaarten op een torus (de vorm van een donut) hebben zeven kleuren nodig. Niet meer. Niet minder.
De magie van flexagons
Een flexagon is een veelhoek gemaakt van papier of folie. Het ziet eruit als een platte strook totdat je hem buigt.
Dan verandert het van gezicht.
Ze werden voor het eerst besproken in 1939. Nu zijn ze een hoofdbestanddeel van wiskunderecensies.
De trihexaflexagon is de eenvoudigste versie.
Zo maak je er een:
1. Knip een strook materiaal af.
2. Markeer 10 gelijkzijdige driehoeken.
3. Vouw het meerdere keren op de juiste manier.
4. Lijm de laatste driehoek op de achterkant van de eerste.
Buig het. Eén gezicht verdwijnt. Een ander komt in de plaats. Het is eenvoudig. Het is raar. Het werkt.
Manipulatieve recreaties
Dit zijn niet zomaar spellen. Het zijn modellen van hoe we de ruimte structureren.
De oorsprong van arrangementpuzzels gaat terug naar de puzzel van Lucas. Stel je een rij van zeven vierkanten voor. De linker drie houden zwarte pionnen vast. De rechter drie houden witte vast. Het middelste plein is leeg. Jouw doel: ruil ze. Zwart gaat naar rechts. Wit gaat naar links. Je kunt naar een aangrenzende lege plek glijden of over het stuk van een tegenstander springen. Voor n fiches van elke kleur is het aantal zetten n (n + 2).
Schaal het op. Of verkleinen. De wiskunde houdt stand.
Er is een broer/zus-puzzel met acht genummerde fiches op negen velden. Keer de volgorde om. Alleen enkele bewegingen en sprongen zijn toegestaan. Geen snelkoppelingen.
Dan zijn er de spellen voor twee spelers. Boter-kaas-en-eieren is de basislijn. Maar de variaties worden pittig. Overweeg een versie waarbij elke speler begint met drie fiches. Het bord is een 3×3 raster. Je plaatst ze één voor één. Je kunt de middenstip in eerste instantie niet gebruiken. Als niemand na plaatsing drie op rij krijgt, ga je in beweging. Alleen aangrenzende vierkanten. Horizontaal of verticaal.
Win door een lijn te vormen.
Breng het naar een 4 × 4-bord. Vier tellers elk. Soms tellen diagonalen. Probeer een 5×5-patroon. Of kijk over de Atlantische Oceaan naar Europa, waar ‘mill’ of ‘negen mannen morris’ regeert. Drie concentrische vierkanten. Acht transversalen. Verbind er drie om het stuk van een tegenstander te verwijderen. Het gaat om blokkeren, niet alleen om afstemmen.
De geometrie van verbinding
Hex is anders. Het gaat niet om lijnen. Het gaat over ketens.
Piet Hein heeft het in 1942 in Denemarken uitgevonden. Het bord is een ruit van mozaïekachtige zeshoeken. Meestal 11 over elke rand. “Tessellated” betekent gewoon in elkaar gepast als tegels. Geen gaten. Twee tegenoverliggende randen zijn ‘wit’. De andere twee zijn ‘zwart’.
Spelers plaatsen beurtelings counters. Het doel? Bouw een ononderbroken ketting van jouw kant naar de andere. Wit gaat van boven naar beneden. Zwart gaat heen en weer.
Het spel trekt nooit gelijk. Waarom? Omdat je je tegenstander niet kunt blokkeren zonder eerst je eigen keten te voltooien. Eén pad snijdt het bord. Het spel eindigt onmiddellijk.
John Nash vond het in 1948 zelfstandig uit in de VS. Jaren later kwam het op de markt als Hex.
Strategie gaat hier niet over eenvoudige afstemming. Het is topologisch. Het gaat om controle.
Het dilemma van de koningin
Schaakborden bieden hun eigen wiskundige hoofdpijn. De meest bekende? Plaats acht koninginnen op een standaardbord. Niemand kan een ander aanvallen. C.F. Gauss werkte hier rond 1850 aan. Hij was niet de enige die geobsedeerd was.
Dan is er de riddertocht. Een gesloten rondleiding. Begin bij een vierkant. Bezoek elk ander plein precies één keer. Eindig waar je begon. De wiskunde hierachter is verward met magische vierkanten. Patronen binnen patronen.
Andere problemen graven in de stukwaarde. Hoeveel bisschoppen kun je passen zonder dat ze elkaar nemen? Wat is het minimum aantal ridders dat nodig is om elk vakje op het bord schaakmat te zetten?
Probeer 16 koninginnen te plaatsen. Geen drie in een rechte lijn. Zelfs dat is niet triviaal.
De vijftien puzzel
Sam Loyd de oudste beweerde graag dat hij rond 1878 de Vijftien Puzzel had uitgevonden. Moderne geleerden zijn het daar niet mee eens. Ze vonden eerdere uitvinders. De puzzel kreeg ook andere namen. Baas puzzel. Edelstenen puzzel. Mystiek plein. Het verspreidde zich met angstaanjagende snelheid over Europa. De opzet is eenvoudig genoeg om u in verwarring te brengen. Een ondiep vierkant dienblad. Vijftien kleine genummerde tellers. Eén leeg vierkant. Je begint met de cijfers in willekeurige volgorde. De lege ruimte bevindt zich rechtsonder. Het doel? Herschik de stukken in numerieke volgorde. Je kunt ze alleen verschuiven. De lege ruimte moet eindigen waar deze begon. Dat is de truc.
Alleen al de omvang van het probleem kan uw hoofd doen duizelen. Er zijn meer dan 20 miljard miljard mogelijke arrangementen van de stukken. Inclusief die lege ruimte. In 1879 bewezen twee Amerikaanse wiskundigen iets wilds. Slechts de helft van die initiële regelingen kan daadwerkelijk worden opgelost. Dat is ongeveer 10 miljard miljard. De rest zijn doodlopende wegen.
De wiskunde hierachter is elegant en enigszins wreed. Denk na over het pad dat een enkel getal aflegt. Zolang het in de rechter benedenhoek terechtkomt, gaat het door een even aantal vakjes. Het is een kwestie van pariteit.
In de opgeloste toestand is elk getal groter dan de getallen ervoor. Je leest van links naar rechts. Van boven naar beneden. Geen enkel getal gaat vooraf aan een kleiner getal. In elke andere opstelling overtreedt ten minste één nummer deze regel. Dit heet een inversie.
Neem de reeks 9, 5, 3, 4. De 9 komt vóór drie kleinere getallen. De 5 komt vóór twee kleinere getallen. Dat zijn in totaal vijf inversies. Het is een oneven aantal. Als het totale aantal omkeringen in een bepaalde lay-out even is, is de puzzel oplosbaar. Breng de vierkanten weer normaal. Als de telling oneven is, ben je genaaid. De puzzel heeft geen oplossing.
Figuur 17B heeft twee inversies. Oplosbaar. Figuur 17C heeft er vijf. Onmogelijk. Theoretisch kun je deze logica uitbreiden naar elk ladeformaat. Een m bij n raster. Met mn min één genummerde tellers. De wiskunde geldt nog steeds.
De toren van Hanoi
Edouard Lucas vond niet zomaar een puzzel uit in 1883. Hij overhandigde ons een wiskundige nachtmerrie verpakt in hout.
Franse wiskundige. Speelgoedwinkel nietje. Drie pinnen. Acht schijven.
Het is de toren van Hanoi. Of tenminste, dat is wie we altijd de schuld hebben gegeven. Lucas krijgt de eer, hoewel historici kibbelen over de vraag of hij het daadwerkelijk heeft bedacht of gewoon een ouder raadsel heeft gepopulariseerd. Maakt niet uit. Het ding is overal. Plastic versies zorgen voor rommelige planken. Houten exemplaren staan op bureaus. De regels zijn eenvoudig genoeg om in dertig seconden uit te leggen.
Plaats acht schijven op één pin. Grootste onderaan. Kleinste bovenaan. Geen enkele grote schijf rust ooit op een kleine. Verplaats de hele stapel naar een ander pinnetje.
Dat is alles.
Maar dat is het niet.
De wiskunde raakt je als een vrachtwagen. Voor n schijven heb je precies $2^n – 1$ zetten nodig.
Acht schijven? Dat is $ 2 ^ 8 – 1 $. 255 zetten. Beheersbaar. Een beetje vervelend. Een goede test van geduld.
Maar stel je de oorspronkelijke legende eens voor.
Een toren met vierenzestig schijven.
Het aantal is niet alleen groot. Het is kosmisch, angstaanjagend groot. $2^{64} – 1$.
18.446.744.073.709.551.615.
Probeer dat maar eens hardop te zeggen. Het uitspreken ervan duurt langer dan een mensenleven. Stel je nu voor dat je één beweging per seconde maakt.
Je zou daar ongeveer 585 miljard jaar blijven.
Het universum zou niet zomaar eindigen. Het zou zijn opgelost in hittedood lang voordat de monniken in de legende klaar waren met het verschuiven van de laatste plaat.
Het is dezelfde absurditeit als in het verhaal van tarwekorrels op een schaakbord. Eén korreltje op het eerste vierkant. Twee op de tweede. Vier. Acht. Elke stap verdubbelen. Tegen het vierenzestigste vierkant heb je elke schepel tarwe nodig die ooit in de menselijke geschiedenis is geoogst. En dan nog wat.
De Toren van Hanoi is geen spel. Het is een les in exponentiële groei. Een waarschuwingslabel voor iedereen die denkt dat ‘nog één zet’ niet klopt.
Polyomino’s
Het woord ‘polyomino’ verscheen in 1953 als een speelse variant op ‘domino’. Het beschrijft een vorm gemaakt van vierkanten van gelijke grootte die van rand tot rand zijn verbonden. Je kunt geen hoek optillen zonder de verbinding te verbreken. Eenvoudigere versies zijn gemakkelijk te visualiseren. Maar het echte plezier begint met pentomino’s.
Er zijn precies twaalf unieke pentominovormen. Asymmetrische stukken worden niet dubbel geteld als je ze omdraait. Het is nog steeds maar één type.
Wiskundigen hebben moeite gehad om een algemene formule te vinden voor het aantal verschillende polyomino’s op basis van het aantal kwadraten. De cijfers van specifieke bestellingen kennen we wel. Er zijn 35 hexomino’s. Er zijn 108 heptominoes, ervan uitgaande dat je de rare met een gat in het midden meetelt.
Kun je ze allemaal passen?
Puzzels met polyomino’s vallen onder combinatorische geometrie. Het doel is meestal om stukken in specifieke vormen te passen of een bord zonder gaten te bedekken.
Neem de 35 hexomino’s. Samen bestrijken ze 210 vierkanten. Je zou kunnen denken dat je ze in een eenvoudige rechthoek kunt rangschikken. De wiskunde suggereert opties als 3 bij 70, 5 bij 42 of 14 bij 15. Maar het werkt niet. Een dergelijke rechthoek kan niet worden gevormd.
Hoe zit het met de twaalf pentomino’s plus één vierkante tetromino? Kunnen ze een 8×8 schaakbord vullen?
Ja. Dit probleem dateert van rond 1935. Het totale aantal oplossingen kennen we niet, maar schattingen gaan uit van minstens duizend. Een computercrunch in 1958 bewees dat er 65 oplossingen zijn waarbij het enkele vierkante stuk precies in het midden zit.
Soma-kubussen
Het concept strekt zich uit tot drie dimensies. Net zoals polyomino’s platte vormen zijn, zijn Soma-kubussen 3D-structuren. Ze vallen uiteen in zeven onregelmatige stukken. Elk stuk bestaat uit vier of vijf kubussen die face-to-face met elkaar zijn verbonden.
Benjamin Seymour Wright, een natuurkundige, en John Horton Conway, een wiskundige, hielpen de puzzel in de jaren vijftig populair te maken. De uitdaging is eenvoudig. Neem de zeven stukken. Bouw een kubus van 3x3x3.
Er zijn 240 verschillende manieren om het op te lossen. Als je rotaties en reflecties negeert, daalt het aantal. Maar de variatie is verbluffend. De Soma-kubus is in wezen het 3D-equivalent van het pentomino-probleem. Het vereist ruimtelijk redeneren in plaats van alleen maar platte geometrie.
“Het aantal verschillende polyomino’s van welke volgorde dan ook is een functie van het aantal vierkanten in elk, maar tot nu toe is er geen algemene formule gevonden.”
Pentomino’s en hexomino’s blijven populair omdat ze bedrieglijk eenvoudig zijn. Ze zien eruit als speelgoed. Ze gedragen zich als complexe algoritmen.
Het gat in die heptomino stoort sommige puristen nog steeds. Het overtreedt de regel van ‘eenvoudig verbonden’. Maar het bestaat. En het telt.
Geef je de voorkeur aan de vlakke uitdaging van het 8×8 bord of de 3D-draai van de Soma-kubus? De computer heeft 65 gevonden
De geometrie van spelen
De Deense Piet Hein heeft niet alleen hex en tactix uitgevonden. Hij stuitte op iets vreemders. Je neemt drie of vier congruente kubussen. Sluit je aan bij hun gezichten. De resulterende onregelmatige vormen? Het zijn er precies zeven. Wiskundigen noemen ze Soma Cubes. Zet ze weer bij elkaar en ze vormen een grotere, perfecte kubus. Het is een feit dat een gemakkelijke uitleg tart.
De vijfde en zesde vorm zijn spiegelbeelden. Geen twee stukken zijn hetzelfde. Toch kunnen deze zeven blokken – in totaal 27 eenheidskubussen – op meer dan 230 wezenlijk verschillende manieren worden teruggeplaatst in een blok van 3x3x3.
De verscheidenheid aan interessante structuren die mogelijk zijn, lijkt eindeloos.
Je kunt een bank bouwen. Een stoel. Een kasteel. Een tunnel. Een piramide. Gewoon door de basisstukken te herschikken. Als tijdverdrijf zijn de Soma Cubes verslavend. Mensen lossen ze mentaal op met ervaring. Psychologen hebben een grove correlatie gevonden tussen de snelheid van oplossen en algemene intelligentie. Er zijn zeker afwijkingen aan beide uiteinden van het spectrum. Maar spelers stoppen niet. Ze blijven bouwen.
Gekleurde vierkanten en kubussen
Dan zijn er de gekleurde puzzels. Tegels. Kubussen. Randen die bij elkaar moeten passen.
Denk eens aan de rechthoekige puzzel van 4×6. Je hebt 24 driekleurige patronen van onderverdeelde vierkante tegels. Schik ze zo dat de elkaar rakende randen dezelfde kleur hebben. En de hele grens? Eén enkele kleur. Eenvoudig van beschrijving. Moeilijk in de praktijk.
Bekender is de puzzel met 30 gekleurde kubussen. Verf zes kleuren op de vlakken van kubussen. Er zijn in totaal 2.226 combinaties. Selecteer alleen die met alle zes kleuren. Je krijgt 30 verschillende kubussen. Twee kubussen zijn “verschillend” als je ze niet naast elkaar kunt plaatsen, zodat alle overeenkomstige vlakken overeenkomen.
Deze verschenen commercieel onder namen als de Mayblox Puzzle, de Tantalizer en de Katzenjammer. Maar de echte verandering kwam met Instant Insanity.
Vier kubussen. Wit, rood, groen, blauw. Monteer ze in een 1x1x4 prisma. Elk van de vier lange gezichten moet alle vier de kleuren tonen. Elke kubus heeft 24 oriëntaties. Dan blijven er nog 82.944 mogelijke arrangementen over. Slechts twee werken.
Toen werd Instant Insanity opgeslokt door iets groters.
De opkomst van de Rubiks kubus
Ernő Rubik patenteerde het in Hongarije in 1975. Terutoshi Ishigi deed in 1976 een aanvraag in Japan. De Rubik’s Kubus was geboren.
Het lijkt op 27 kleinere kubussen. In opgeloste toestand heeft elk van de zes vlakken een effen kleur. Commerciële versies gebruiken een intern draaisysteem. Roteer een laag. De cubelets klauteren.
De uitdaging is het herstellen van de orde. Het aantal bereikbare staten is meer dan 10^19. Er ontstond snel een bloeiende literatuur. Wiskundigen gebruikten groepentheorie om systematische oplossingen in kaart te brengen. De puzzel was niet alleen speelgoed. Het was een wiskundig beest.
Nim en soortgelijke spellen
Nim is ouder dan uit de gegevens blijkt. De oorsprong ervan is onduidelijk. Maar het leent zich voor harde wiskunde.
Neem een willekeurig aantal voorwerpen. Verdeel ze in stapels. Twee spelers wisselen elkaar af. Kies een stapel. Verwijder één of alle voorwerpen. De speler die het laatste voorwerp pakt, wint.
Elke positie is ‘veilig’ of ‘onveilig’.
Als je je tegenstander in een onveilige positie achterlaat, kun je een overwinning afdwingen.
Als je ze in een veilige positie laat, levert elke beweging die je maakt ze het voordeel op.
Hoe weet je welke wat is? Binaire notatie. Tel de kolommen met objecten in elke stapel bij elkaar op. Als elke kolom optelt tot nul of een even getal, is de positie veilig.
Voorbeeld: Drie stapels met 4, 9 en 15 voorwerpen.
De berekening ziet er als volgt uit:
4: 0 1 0 0
9: 1 0 0 1
15: 1 1 1 1
Som:2 2 1 0
Twee is gelijk. Twee is gelijk. Eén is vreemd. Eén is gelijk.
De vreemde kolom verbreekt de veiligheid. De positie is onveilig.
De logica van de speltheorie stopt niet bij eenvoudige rekenkunde. Als er een onveilige positie blijft bestaan, zal een ervaren speler altijd manoeuvreren om het bord in een veilige staat te brengen. Het is een kwestie van overleven in de abstracte architectuur van het spel.
Overweeg een variant met slechts twee stapels. Van beide stapels mag je voorwerpen pakken. Of allebei. Maar als je van beide neemt, moet je van elk hetzelfde getal nemen. De persoon die de laatste counter pakt, wint.
Games als Nim vereisen een specifieke mentale behendigheid. U moet decimale getallen vertalen naar binair getal en weer terug. Het is voor de meeste mensen niet intuïtief. Voor machines is het echter perfect. Digitale computers draaien op binair. Ze spreken het van nature. Hierdoor is het mogelijk om een computer te programmeren om een perfect spel te spelen.
Edward Uhler Condon en een medewerker hebben precies zo’n machine uitgevonden. De automatische Nimatron. Het maakte zijn debuut op de Wereldtentoonstelling van New York in 1940. Een menselijke speler die door pure berekening wordt verslagen.
Wereldwijde telspellen
Deze spellen zijn geen geïsoleerde curiosa. Ze worden wereldwijd gespeeld. Neem het spel met kiezelstenen, ook wel het oddsspel genoemd. Twee mensen beginnen met een oneven aantal steentjes op één stapel. Om beurten trekken ze één, twee of drie steentjes. Als de stapel leeg is, wint de speler met een oneven telling.
Er bestaan voorgangers hiervan. Ze zijn ouder. De mancala-spellen. Spelers verdelen steentjes, zaden of fiches in rijen gaten. De regels variëren. Ze worden al eeuwenlang gespeeld in Afrika en Azië. De mechanismen zijn eenvoudig. De strategie is diepgaand.
Problemen van logische gevolgtrekking
Bij veel puzzels zijn geen getallen betrokken. Ze hebben zelden of helemaal geen betrekking op geometrie. Ze vragen om deductieve gevolgtrekking op basis van logische relaties.
Verwar deze niet met raadsels. Raadsels zijn gebaseerd op dubbelzinnigheid. Ze gebruiken woordspelingen. Ze zijn van plan de onoplettenden te vangen. Logische puzzels hebben geen standaardprocedure. Er is geen algemeen patroon voor hun oplossing. Je lost ze op met vallen en opstaan.
Het raden is niet lukraak. De gegeven feiten – meestal minimaal – suggereren verschillende hypothesen. Je verwerpt de inconsistente. Door substitutie en eliminatie ontstaat de oplossing. Technieken van logica helpen. Maar succes hangt af van vindingrijkheid. Een ongrijpbaar vermogen.
Logische problemen zijn hier voor het gemak gegroepeerd.
De remman, de brandweerman en de machinist
Dit is een klassieker. De versie uit Oswald Jacoby en William Bensons Mathematics for Pleasure (1962) blijft definitief.
De namen van de remmer, de brandweerman en de machinist waren Smith, Jones en Robinson. Niet noodzakelijkerwijs in die volgorde. Drie passagiers deelden deze namen. Om verwarring te voorkomen noemen we ze meneer Smith, meneer Jones en meneer Robinson.
Hier zijn de feiten:
– Meneer Robinson woonde in Detroit.
– De remmer woonde halverwege Chicago en Detroit.
– Dhr. Jones verdiende precies $2.000 per jaar.
– Smith versloeg de brandweerman met biljarten.
– De buurman van de remmers (een passagier) verdiende precies drie keer zoveel als de remmers.
– De passagier die in Chicago woonde, had dezelfde naam als de remmer.
Wat was de naam van de ingenieur?
De oplossing vereist het wegnemen van onmogelijkheden. Je kunt er niet vanuit gaan dat de namen direct overeenkomen met de rollen. Je moet de geografie in kaart brengen met het inkomen. Je moet de biljartoverwinning koppelen aan het vak. Het is een hechte kluwen van beperkingen.
Overlappende groepen
Deze categorie gaat over sets. Het probleem van de taalclub op de middelbare school is typisch.
Onder de leden:
– 21 studeerden Frans.
– 20 studeerden Duits.
– 26 studeerden Spaans.
– 12 studeerden zowel Frans als Spaans.
– 10 studeerden zowel Frans als Duits.
– 9 studeerden zowel Spaans als Duits.
– 3 studeerden Frans, Spaans en Duits.
Hoeveel clubleden waren er? Hoevelen hebben slechts één taal gestudeerd?
De cijfers overlappen elkaar. Je kunt ze niet zomaar optellen. Je moet rekening houden met de kruispunten. De logica van het Venn-diagram is hier impliciet. Je trekt de overlappingen af van de totalen. Vervolgens past u de drievoudige overlap aan. Het antwoord zit niet in de som. Het zit in de structuur van de groepen.
Waarheden en leugens
Een andere variant betreft de betrouwbaarheid van uitspraken. Ridders en schurken.
De inboorlingen van een bepaald eiland zijn ridders of schurken. Ze zien er identiek uit. Ridders vertellen altijd de waarheid. Schurken liegen altijd.
Een bezoeker ontmoet drie inboorlingen. Hij vraagt of het ridders of schurken zijn. De eerste zegt iets onverstaanbaars. De tweede wijst naar de eerste en zegt: “Hij zegt dat hij een ridder is.” De derde wijst naar de tweede en zegt: “Hij liegt.”
De bezoeker weet dat er maar één een schurk is. Hij bepaalt wat elk is.
Als de eerste zei dat hij een ridder was, zou hij liegen als hij een schurk was. Of de waarheid vertellen als hij een ridder was. De tweede inboorling rapporteert deze verklaring. Als de tweede een ridder is, rapporteert hij naar waarheid. Als hij een schurk is, liegt hij over wat er is gezegd. De derde noemt de tweede een leugenaar.
Het is een keten van verificatie. Eén breuk in de ketting onthult de leugenaar.
Bij een ander type zijn vier mannen betrokken. Eén heeft een misdaad begaan. De politie ondervraagt hen.
- Archie: Dave heeft het gedaan.
- Dave: Tony heeft het gedaan.
- Gus: Ik heb het niet gedaan.
- Tony: Dave loog toen hij zei dat ik het deed.
Als er maar één uitspraak waar is, wie is dan de schuldige? Als er maar één bewering onwaar is, wie is dan de schuldige?
De bron is 101 Puzzles in Thought and Logic van C.R. Wylie Jr. (1957). Dover-publicaties. De paradoxen hangen af van de tegenstelling tussen Dave en Tony. Dave beschuldigt Tony. Tony zegt dat Dave heeft gelogen. Ze kunnen niet allebei de waarheid vertellen. Ze kunnen niet allebei liegen over de beschuldiging zelf op een manier die de regel van ‘één waarheid’ gemakkelijk handhaaft. Je moet elke verdachte testen. Stel dat Archie schuldig is. Controleer de verklaringen. Stel dat Dave schuldig is. Controleer de verklaringen. De waarheid komt voort uit de eliminatie van de onmogelijke scenario’s.
De logica houdt stand. Of niet. Jij moet beslissen welke past.
Hoe de vlekkerige voorhoofdpuzzel werkt
Het verhaal van de drie reizigers en hun met roet besmeurde gezichten is een klassiek voorbeeld van puur logische gevolgtrekking. Drie mannen verlaten een treintunnel. Ze hebben allemaal een roetvlek op hun voorhoofd, maar niemand kan zijn eigen gezicht zien. Ze lachen elkaar uit. Voordat ze de spiegels kunnen controleren, stelt een medepassagier een test voor.
Kijk naar de andere twee. Als u minstens één vlekkerig voorhoofd ziet, steek dan uw hand op.
Alle drie steken onmiddellijk hun hand op. De regel is simpel: houd uw hand omhoog totdat u zeker bent van uw eigen status en laat hem dan vallen.
Even later laat een man zijn hand vallen. Hij weet dat hij besmeurd is. Hier is hoe hij het bedacht.
Als hij schoon was, zouden de andere twee mannen slechts één besmeurd gezicht zien (elkaar). Als een man maar één besmeurd gezicht ziet, denkt hij: ‘Als ik schoon ben, ziet die man twee schone gezichten. Hij zou meteen weten dat zijn eigen gezicht besmeurd is, omdat zijn hand omhoog is. Hij zou zijn hand meteen laten vallen.’
Maar ze lieten hun handen niet vallen. Ze aarzelden. Die aarzeling was voor onze oplettende reiziger het bewijs dat de andere twee ook iets zagen. Ze zagen allebei zijn besmeurde gezicht. Daarom wist hij dat hij vies was.
De onverwachte hangende paradox begrijpen
De onverwachte hangende paradox kwam begin jaren veertig uit mond-tot-mondreclame naar voren. Het blijft een lastige puzzel.
Een rechter vertelt een gevangene dat hij volgende week zal worden opgehangen. De ophanging zal op een dag om 12.00 uur plaatsvinden. De gevangene zal pas op de ochtend van die dag weten dat het eraan komt.
De gevangene beweert dat de straf onmogelijk is. Hij begint met de laatste dag: zaterdag. Als hij vrijdagmiddag nog leeft, weet hij dat de ophanging moet op zaterdag plaatsvinden. Maar dat betekent dat hij het van tevoren wist. Dit is in strijd met de regel van de rechter. Zaterdag is dus uit.
Door dezelfde logica wordt vrijdag ook onmogelijk. Als hij donderdag overleeft en zaterdag wordt uitgesloten, wordt vrijdag de enige optie. Hij zou het weer weten.
Hij werkt de hele week achteruit. Maandag, dinsdag, woensdag, donderdag, vrijdag en zaterdag worden allemaal geëlimineerd. De gevangene concludeert dat hij veilig is.
De rechter kan hem nog ophangen. De paradox is subtiel. Een verklaring over een toekomstige gebeurtenis kan waar zijn voor de rechter, maar onbekend blijven voor de gevangene totdat de gebeurtenis daadwerkelijk plaatsvindt. De logica van de gevangene faalt omdat deze ervan uitgaat dat de voorspelling bekend moet zijn voordat deze geldig blijkt te zijn. Dat is niet het geval.
De geschiedenis van logische paradoxen
Deze puzzels zijn meer dan alleen spelletjes. Ze raken de fundamenten van de wiskunde. Ze zijn zeer amusant en vaak verleidelijk.
De Kretenzische profeet Epimenides veroorzaakte al in de 6e eeuw voor Christus problemen. Hij zei: “Alle Kretenzers zijn leugenaars.” Omdat Epimenides een Kretenzer was, loog hij. Als hij loog, dan zijn niet alle Kretenzers leugenaars. Maar als hij de waarheid vertelde, is hij een leugenaar. Het is een tegenstrijdigheid met zichzelf.
In 1913 stelde wiskundige P.E.B. Jourdain stelde de kaartparadox voor.
Kant één: “De zin op de andere kant van deze kaart is WAAR.”
Kant twee: “De zin op de andere kant van deze kaart is ONWAAR.”
Als kant één waar is, is kant twee waar. Maar kant twee zegt dat kant één onwaar is. Tegenspraak.
Bertrand Russell voegde de kappersparadox toe. De kapper scheert iedereen in het dorp die zichzelf niet scheert. Wie scheert de kapper?
Als hij zichzelf scheert, zou hij dat niet moeten doen. Als hij dat niet doet, moet hij dat doen. De kappersparadox hangt af van een uitspraak over een klasse waarbij het object deel uitmaakt van die klasse. Russell probeerde dit op te lossen met een hiërarchie van logische typen. Het loste het probleem niet volledig op. Het probleem raakt precies de kern van de filosofische wiskunde.
“Het hele probleem ligt dicht bij de filosofische grondslagen van de wiskunde.”
Deze puzzels dwingen ons om te kijken naar hoe we waarheid, kennis en zelfreferentie definiëren. Ze entertainen niet alleen. Ze leggen de scheuren in onze redenering bloot. Het besmeurde gezicht leert ons over gedeelde kennis. De ophanging legt de grenzen van de voorspelling bloot. De leugenaar en de kapper laten ons de gevaren van zelfreferentie zien.
Wij komen steeds bij hen terug. Niet omdat we alle antwoorden hebben. Maar omdat de vragen steeds van vorm veranderen.