Peacock's Principle as a Conservative Strategy

Dit paper weerlegt het idee dat Hamiltons niet-commutatieve algebra's Peacock's principe van permanentie ongeldig maken, door te betogen dat dit principe een conservatieve strategie vertegenwoordigt die, in lijn met Hume, uitzonderingen toestaat wanneer de redenen voor schending de redenen voor behoud overwegen, zoals Hamilton zelf toepaste bij de ontwikkeling van kwaternionen.

De kern

De "Eeuwigheidswet" van Peacock: Waarom breken regels soms nodig is

Stel je voor dat wiskunde een grote, oude stad is. In het begin van de 19e eeuw had deze stad één heel belangrijk, heilig principe: Peacock's Principe van Permanente Vormen.

Dit principe was als een strenge architectuurregel: "Wat in de oude wijk (gewone rekenkunde) werkt, moet ook werken in de nieuwe wijk (symbolische algebra), ongeacht wat je bouwt."

Als je in de oude wijk wist dat $a \times b$ altijd hetzelfde is als $b \times a$ (vermenigvuldigen is commutatief), dan moest dat ook gelden in de nieuwe wijk. Veel mensen dachten dat dit principe een kooi was. Ze zeiden: "Peacock heeft wiskunde in een strakke jas gestopt. Hij zou nooit toestaan dat we iets nieuws bedenken dat niet precies doet wat de oude rekenkunde doet."

Toen de wiskundige Hamilton later de kwaternionen (een heel nieuw soort getal) uitvond, waarbij vermenigvuldigen niet commutatief was ($a \times b \neq b \times a$), dachten veel critici: "Zie je wel! De kooi is gebroken. Peacock's principe is dood."

Maar de auteur van dit artikel, Iulian Toader, zegt: "Nee, dat is een misverstand. Het principe is niet dood, en Hamilton heeft het zelfs gebruikt!"

Hier is hoe hij dat uitlegt, stap voor stap:

1. De "Suggestieve" Leraar vs. De "Strenge" Meester

Peacock zag de oude rekenkunde niet als een strenge meester die alles dicteerde, maar als een suggestieve leraar.

• De analogie: Stel je voor dat je een nieuwe taal leert. Je begint met woorden die je kent (zoals "hond" en "kat"). De leraar zegt: "Gebruik deze woorden als inspiratie, maar je mag ze ook in nieuwe zinnen gebruiken die in de oude taal niet bestonden."
• Peacock zei: "De regels van de oude rekenkunde zijn nuttig als startpunt, maar ze mogen je niet blokkeren om iets nieuws te bouwen."
• Een andere wiskundige, Kelland, dacht daar anders over. Voor hem was de oude rekenkunde een strik: je mocht niets doen wat niet exact paste bij de oude regels. Peacock was veel vrijer.

2. De "Kooi" was eigenlijk een "Veiligheidsnet"

Critici zeiden dat Peacock's principe een strakke kooi was. Toader zegt: "Nee, het was meer een veiligheidsnet."
Peacock's principe zegt eigenlijk: "Bewaar de oude regels zoveel mogelijk, omdat ze handig zijn voor berekeningen. Maar als je een heel goede reden hebt om een regel te breken, mag dat."

Het is als het rijden op een snelweg:

• Je rijdt normaal gesproken rechts (de oude regel).
• Maar als er een enorme crash is of een obstakel (een nieuw wiskundig probleem), mag je de rijbaan veranderen, mits je een goede reden hebt en het veilig is.
• Het principe zegt niet: "Je mag nooit van rijbaan wisselen." Het zegt: "Wissel niet zomaar van rijbaan, tenzij het echt nodig is."

3. De Uitzonderingen: Waarom sommige regels toch gebroken moesten worden

Peacock had zelf al te maken met situaties waar de oude regels niet perfect leken te werken.

• De Factoriële functie: Dit is een manier om getallen te vermenigvuldigen (1 x 2 x 3...). In de oude wereld werkt dit alleen met hele getallen. In de nieuwe wereld wilde men dit ook op breuken toepassen. Peacock probeerde dit te "redden" door te zeggen dat de regel wel golden, maar hij merkte dat de regel soms van vorm veranderde.
• Eulers oneindige reeks: Een oude wiskundige (Euler) had een formule bedacht die soms werkte en soms niet. Peacock dacht: "Als de formule van vorm verandert afhankelijk van het getal, dan is het geen 'permanente vorm' meer. Dan hoort het niet bij onze club."

Toader legt uit dat Peacock hier eigenlijk een afweging maakte. Hij dacht: "We proberen de oude regels te bewaren, maar als de regel te veel van vorm verandert, dan is hij niet meer bruikbaar en moeten we hem laten vallen."

4. De Filosofische Achtergrond: Hume's "Conservatieve Strategie"

Waarom zou je regels breken? Toader haalt de filosoof David Hume aan.
Hume zei dat we onze manieren van denken (redeneren) moeten bewaren omdat ze nuttig zijn. We moeten ze niet zomaar opgeven. Maar, als er een situatie is waarin het vasthouden aan de regel ons in de dood zou leiden (bijvoorbeeld: "val niet van een dak" vs. "val wel, want de grond omarmt je"), dan moeten we de regel breken.

Peacock's principe is dus een conservatieve strategie:

• Doel: Bewaar de oude regels zo lang mogelijk (want ze werken goed).
• Uitzondering: Als de redenen om een regel te breken zwaarder wegen dan de redenen om hem te houden, dan mag je breken.

5. Hamilton en de Kwaternionen: Het Bewijs

Hier komt het mooie deel. De wiskundige Hamilton vond de kwaternionen uit. Hij wilde de oude regels (zoals commutativiteit: $a \times b = b \times a$) bewaren. Hij probeerde het, probeerde het, en probeerde het weer.

• Hij dacht: "Ik wil de oude wetten niet breken."
• Maar hij zag dat als hij de wet van commutativiteit vasthield, zijn nieuwe wiskunde (voor 3D-ruimte) niet werkte. De getallen gaven geen unieke antwoorden.
• De afweging: Hamilton dacht na: "Is het belangrijker om de oude regel te houden, of om een werkend systeem voor 3D-ruimte te hebben?"
• Hij concludeerde: "De reden om de regel te breken (omdat het anders niet werkt) is zwaarder dan de reden om hem te houden."

Dus hij brak de regel. Maar hij deed dit niet omdat hij Peacock's principe negeerde. Hij deed het precies volgens Peacock's principe! Hij bewaarde de andere regels (zoals distributiviteit) omdat die nuttig waren, en brak alleen die ene regel die niet meer paste.

Conclusie: De Kooi was een Kompas

De kritiek dat Peacock's principe "dood" is door Hamilton's uitvinding, is onjuist.

• Peacock zei: "Bewaar de oude regels zo veel mogelijk, maar wees bereid om ze te laten vallen als het nodig is."
• Hamilton deed precies dat: hij probeerde alles te bewaren, maar zag dat hij de regel van commutativiteit moest opofferen om zijn nieuwe wiskunde te laten werken.

Peacock's principe was dus geen strakke kooi die je vasthield, maar een kompas dat je vertelde: "Ga de oude weg, tenzij de weg voorbij de horizon onbegaanbaar is. Dan moet je een nieuwe route zoeken, maar doe dat met respect voor de oude wegen."

Hamilton volgde dit kompas, en daarom is zijn uitvinding geen bewijs dat Peacock's principe faalde, maar juist een bewijs dat het principe slim en flexibel genoeg was om de toekomst van de wiskunde te omarmen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Peacock's Principle as a Conservative Strategy" van Iulian D. Toader, geschreven in het Nederlands.

Probleemstelling

Het artikel adresseert een wijdverbreide en hardnekkige kritiek op George Peacock's "Principe van de Permanentie van Equivalent Vormen" (Principle of the Permanence of Equivalent Forms). De gangbare opvatting, gesteund door critici zoals Bertrand Russell en William Ewald, stelt dat dit principe een "strait-jacket" (strakke korset) was voor de symbolische algebra. Volgens deze kritiek zou het principe eisen dat alle algebraïsche wetten die in de rekenkunde (arithmetische algebra) gelden, ook onverkort moeten gelden in de bredere symbolische algebra.

De kern van het probleem is dat de ontwikkeling van niet-commutatieve algebra's, met name Hamilton's kwaternionen (waarbij $ab \neq ba$), en niet-associatieve structuren zoals de octonionen, dit principe zouden weerleggen. Als Peacock's principe zou eisen dat alle rekenkundige wetten (zoals commutativiteit) altijd behouden blijven, dan zou de introductie van kwaternionen het principe ongeldig maken. Het doel van het artikel is te bewijzen dat deze kritiek gebaseerd is op een misverstand en dat Peacock's principe in feite compatibel is met deze moderne algebraïsche structuren.

Methodologie

Toader hanteert een historische en filosofische analyse, gebaseerd op de volgende methodologische stappen:

1. Tekstuele Analyse: Een kritische bestudering van de verschillende formuleringen van Peacock's principe tussen 1830 en 1845 (in zijn Treatise on Algebra en rapporten aan de British Association). Hierbij wordt gekeken naar de evolutie van de definitie van "equivalent forms" en de relatie tussen rekenkundige en symbolische algebra.
2. Analyse van Uitzonderingen: Een diepgaande evaluatie van Peacock's eigen pogingen om specifieke uitzonderingen te weerleggen of te verklaren, namelijk:
   • De faculteitfunctie ($n!$) en de Gamma-functie.
   • Een oneindige reeks van Euler die als tegenargument werd gebruikt.
3. Filosofische Recontextualisering: Het interpreteren van Peacock's principe door de lens van David Hume's filosofie, specifiek diens visie op de "wetten van het redeneren" (laws of reasoning). Toader stelt dat het principe niet als een absolute, logische noodzaak moet worden gezien, maar als een conservatieve strategie.
4. Historisch Gevalstudie: Een analyse van William Rowan Hamilton's ontwikkeling van de kwaternionen, met name zijn afweging om de wet van commutativiteit te verlaten terwijl hij andere wetten (zoals distributiviteit en associativiteit) behield.

Belangrijkste Bijdragen en Resultaten

1. Herdefiniëring van het Principe:
Toader toont aan dat Peacock's principe geen universele eis is dat alle rekenkundige wetten voor alle waarden moeten gelden.

• Directe Propositie vs. Converse Propositie: Peacock liet in latere edities de "directe propositie" (dat symbolische regels altijd in rekenkunde moeten gelden) vallen. Hij hield vast aan de "converse propositie": rekenkundige vormen suggereren symbolische vormen, maar beperken ze niet.
• Voorwaarde van Invariantie: Peacock eiste dat equivalente vormen "invariant" moesten zijn (hun constitutie mag niet veranderen voor verschillende waarden van variabelen). Toader toont aan dat zowel Euler's reeks als de Gamma-functie deze invariantie-eis schenden (bijvoorbeeld door divergentie of verandering in definitie bij negatieve waarden). Daarom vallen ze buiten het bereik van het principe en vormen ze geen geldige weerlegging.

2. Filosofische Basis: Hume en Conservatisme:
De kernbijdrage is de interpretatie van het principe als een uitdrukking van een conservatieve strategie, gebaseerd op Hume's ideeën:

• Hume stelde dat de wetten van het redeneren behouden moeten blijven "voor zover mogelijk" vanwege hun praktische nut (vooral voor geloofsvorming en berekening), maar dat ze niet onmogelijk te schenden zijn.
• Toader past dit toe op de algebra: Het principe eist dat equivalente vormen uit de rekenkunde behouden blijven zolang er geen overtuigende redenen zijn om ze te verlaten.
• Deliberatie (Afweging): Het principe staat uitzonderingen toe, mits de redenen voor het verlaten van een wet (bijv. commutativiteit) zwaarder wegen dan de redenen voor het behoud ervan.

3. De Rol van Hamilton's Kwaternionen:
Toader demonstreert dat Hamilton's ontwikkeling van kwaternionen niet in strijd is met Peacock's principe, maar er juist een perfect voorbeeld van is:

• Hamilton probeerde aanvankelijk alle rekenkundige wetten (distributiviteit, associativiteit, commutativiteit) te behouden.
• Hij ontdekte dat het behoud van commutativiteit leidde tot inconsistente resultaten bij de vermenigvuldiging van lijnen in de ruimte (geen unieke oplossing).
• Hamilton voerde een afweging uit: de redenen om commutativiteit op te geven (nodig voor een consistente geometrische interpretatie en unieke resultaten) waren zwaarder dan de redenen om het te behouden.
• Hij behield echter distributiviteit en associativiteit, omdat deze cruciaal bleven voor de toepasbaarheid en consistentie van de theorie.
• Hamilton erkende expliciet dat hij de methode van Peacock gebruikte ("science of suggestion") en dat de overgang van het specifieke naar het algemeen een conservatieve strategie was.

Significantie

• Historische Correctie: Het artikel weerlegt de mythe dat Peacock's principe een obstakel was voor de ontwikkeling van abstracte algebra. Het toont aan dat Peacock (en Hamilton) bewust en strategisch omgingen met de grenzen van rekenkundige wetten.
• Filosofische Nuance: Het biedt een nieuwe, filosofisch onderbouwde lezing van het Principe van de Permanentie. In plaats van een starre logische regel, wordt het gepresenteerd als een methodologische richtlijn voor het uitbreiden van wiskundige structuren waarbij behoud de voorkeur heeft, maar waar pragmatische noodzaak (zoals consistentie in nieuwe domeinen) uitzonderingen toestaat.
• Implicaties voor de Wiskundige Filosofie: De analyse suggereert dat de geschiedenis van de algebra niet een verhaal is van het "falen" van oude principes, maar van hun evolutie en verfijning. Het principe van de Permanentie is niet "ongeldig" geworden door kwaternionen; het is juist door Hamilton's toepassing van de onderliggende conservatieve strategie dat deze nieuwe structuren legitiem konden worden ontwikkeld.

Kortom, Toader concludeert dat Peacock's principe niet wordt weerlegd door niet-commutatieve algebra, maar dat de introductie van kwaternionen juist de kracht van het principe als een deliberatieve conservatieve strategie bevestigt: behoud wat nuttig is, maar laat toe wat noodzakelijk is voor de uitbreiding van de wiskunde.