Citaat:
Oorspronkelijk geplaatst door bedrijven docter
Waarom category theory kan toegepast worden op juridische constructies.
|
Dat zal niet lukken. Voor zover ik weet heeft category theorie geen bewezen inconsistenties.
Heel mooi, natuurlijk, maar eigenlijk ben je gewoon object-georienteerd programmeren aan 't ontdekken. Category theorie is een classificatie theorie van structuren (ttz, combinaties van verzamelingen en relaties), maar dat uit de kast halen om een concrete ad hoc structuur te bedenken die aan aan concreet probleem een beschrijving geeft, is niks anders dan het abstracte idee achter object-georienteerd programmeren. Je zou kunnen zeggen dat de gemiddelde programmeur M. Jourdain is, die niet wist dat hij al heel de tijd proza sprak.
Maar de echte bestaansreden van category theorie is niet gewoon het klasseren van structuren, maar wel van het bewijzen van verbanden ertussen. In dit geval hier zou je misschien kunnen aantonen dat de structuur van de Londense metro een intiem verband heeft met de arbeidswetgeving in Zimbabwe, maar wat je dan daarmee moet doen, is de vraag, he.