Self-graphing equations
Dit artikel bekritiseert het populaire concept van Tupper's zelfverwijzende formule vanwege de typografische afhankelijkheid en triviale aard, om deze problemen vervolgens op te lossen door het probleem te formaliseren en een algemene oplossing te bieden met behulp van berekenbaarheidstheorie.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
Stel je een wereld voor waarin een wiskundige formule, wanneer deze op een stuk papier wordt getekend, niet alleen een vorm beschrijft zoals een cirkel of een golf, maar ook daadwerkelijk de woorden tekent die de formule zelf vormen. Dit is het vreemde en boeiende idee van een "zelfgrafische vergelijking". Het concept kreeg wijdverbreide aandacht nadat een specifieke formule, bekend als Tupper's zelfverwijzende formule, viraal ging op het internet. Die beroemde formule is in staat om elke afbeelding van een bepaalde grootte te tekenen, inclusief de tekst van de formule zelf, maar het is afhankelijk van een specifiek, vooraf gekozen getal om te werken. Het is een slimme truc van coördinaten in plaats van een echte zelfverwijzing. Wiskundigen vragen zich al lang af of het mogelijk is om een vergelijking te creëren die inherent de instructies bevat om zichzelf te tekenen, zonder een geheime code of een specifiek getal nodig te hebben om de afbeelding te ontgrendelen. Het probleem is echter lastig omdat het volledig afhangt van hoe we de letters en symbolen kiezen te schrijven. Als het lettertype verandert, verandert de tekening, en voldoet de vergelijking mogelijk niet meer aan de afbeelding. Bovelijk, als men elke denkbare functie mag gebruiken, wordt het probleem triviaal en betekenisloos, aangezien men simpelweg een functie kan definiëren die de afbeelding tekent die men wil, inclusclusief de tekst van de functie zelf.
Een onderzoeker genaamd Samuel Allen Alexander heeft dit gebrek aangepakt door het probleem te transformeren tot een rigoureuze wiskundige vraag. In plaats van zich te richten op een specifiek lettertype of een specifieke set toegestane symbolen, creëerde hij een algemeen kader dat definieert wat het betekent voor een vergelijking om "zelfgrafisch" te zijn op een manier die werkt voor elk redelijk systeem van schrijven en tekenen. Hij behandelde het alfabet van symbolen, de manier waarop ze als vormen worden getekend, en de manier waarop ze als vergelijkingen worden geïnterpreteerd, als een formeel systeem. In dit systeem heeft elke reeks symbolen een specifieke betekenis als een tekening op een vlak. Het doel was om een reeks symbolen te vinden die, wanneer geïnterpreteerd als een tekening, exact dezelfde reeks symbolen produceert. Om dit op te lossen, vertrouwde Alexander niet op gokken of trial-and-error. In plaats daarvan gebruikte hij een krachtig instrument uit het gebied van de berekenbaarheidstheorie, die bestudeert wat wel en niet berekend kan worden door machines. Hij paste een beroemd resultaat toe dat bekend staat als de recursietheorema. Dit theorema, oorspronkelijk gebruikt om te bewijzen dat een computerprogramma zijn eigen broncode kan uitprinten, garandeert dat een systeem onder bepaalde logische omstandigheden naar zichzelf kan verwijzen.
Het artikel demonstreert dat als een systeem van vergelijkingen "zelfbeperkt" is — wat betekent dat het een logische structuur heeft die het mogelijk maakt om de beschrijving van een tekening terug te vertalen naar een vergelijking die die tekening produceert — dan een zelfgrafische vergelijking gegarandeerd bestaat. Alexander toonde aan dat aan deze voorwaarde wordt voldaan door een zeer praktische methode van het schrijven van vergelijkingen. Hij construeerde een specifiek voorbeeld met een standaard set letters, cijfers en wiskundige symbolen, inclusief speciale hulpmiddelen voor het afhandelen van oneindige sommen en producten. In dit systeem worden de symbolen getekend als kleine, blokkerige vormen gemaakt van minuscule pixels, vergelijkbaar met letters op een digitaal scherm. De onderzoeker bewees dat er binnen dit systeem een specifieke reeks tekens bestaat die, wanneer gegrafeerd, exact dezelfde reeks tekens tekent. Het bewijs rust op het feit dat het systeem complexe logische stellingen kan uitdrukken, inclusief het vermogen om te zeggen "er bestaat" of "voor alle", wat de vergelijking in staat stelt haar eigen structuur te beschrijven.
De bevinding is een definitief bewijs van bestaan, geen specifiek recept voor het handmatig schrijven van een dergelijke vergelijking. Het artikel geeft niet de werkelijke reeks symbolen die het probleem oplost, omdat de reeks ongelooflijk lang en complex zou zijn, ver buiten wat een mens zou kunnen schrijven of lezen. In plaats daarvan bewijst het werk dat een dergelijke reeks tekens moet bestaan binnen elk systeem dat aan de door Alexander vastgestelde logische criteria voldoet. Het onderzoek lost de discussie op of zelfgrafische vergelijkingen een betekenisloze nieuwsgierigheidheid of een triviale onmogelijkheid zijn effectief op. Het laat zien dat ze dat niet zijn. Ze zijn een echte wiskundige realiteit die natuurlijk voortkomt in systemen die in staat zijn hun eigen logica uit te drukken. Het werk verheldert dat de virale formule van het internet niet de enige manier was om dit te bereiken, noch was het een echte zelfverwijzing in de striktste zin. Door de regels van het spel te formaliseren, heeft Alexander aangetoond dat het universum van wiskundige vergelijkingen rijk genoeg is om zijn eigen beeld te bevatten, mits de regels van het spel correct zijn ingesteld. Dit werk overbrugt de kloof tussen abstracte logica en visuele representatie, en bewijst dat een reeks instructies in een zeer reële zin zichzelf kan tekenen.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.