Reverse engineering
via lijm

Begin bij de delen Onderzoeksprotocol

Leg voor elke deelverklaring de variabelen, symmetrieën, geldigheidsschaal, meetgegevens en aannames vast. Geef daarna het woordenboek dat gedeelde grootheden met elkaar identificeert. Een verschil in notatie of schaal is nog geen tegenspraak.

Vier mogelijke uitkomsten Onderzoeksprotocol

1. Noodzakelijk: wat elke gezamenlijke oplossing moet behouden.
2. Vrij binnen grenzen: parameters, degeneraties en verschillende realisaties die dezelfde controles doorstaan.
3. Onmogelijk: deelvoorwaarden waarvoor geen gezamenlijke oplossing bestaat.
4. Ontbrekende structuur: verborgen variabelen, koppelingen, geheugen of een onjuist woordenboek als kandidaatverklaring voor een mismatch. Een mismatch bewijst niet welke aanvulling juist is.

Een kleine consistentietoets Voorwaardelijk afgeleid

Neem binaire variabelen A, B en C. Drie deelmodellen eisen A=B, B=C en A≠C, telkens met zekerheid. Elk paarmodel is op zichzelf mogelijk, zelfs met dezelfde uniforme éénvariabeleverdelingen. Samen zijn ze onmogelijk: de eerste twee eisen impliceren A=C. Overeenstemming op gedeelde marges alleen is dus niet voldoende.

De vervolgvraag is welke aanname niet past: de gelijkheden, hun zekerheid, de identificatie van variabelen of het toepassingsgebied. Een verborgen variabele kan deze exacte tegenspraak niet oplossen zolang alle eisen blijven gelden.

Terugrekenen zonder het antwoord in te bouwen Onderzoeksprotocol

Bevries de invoer, leid de gezamenlijke beperkingen af en houd de doeluitkomst apart. Vergelijk een volledig model met zijn effectieve beschrijving. Rapporteer zowel overeenkomsten als verlies van informatie en tegenvoorbeelden. De resulterende retrodictie valideert de afgebakende toepassing, niet automatisch het filosofische geheel.