[bedrijven docter]

Wat hebben we tot nu toe gedaan ?

We zijn vertrokken van alle wetboeken en wetteksten N(Alg)

Daaruit hebben we via pareto analyse een aantal wetboeken geselecteerd en een referentie wetboek genomen.(Bij mij was dat BW)

In dit referentie wetboek hebben we een aantal conjugacy classes gedefinieerd en opgevuld met de benodigde wetsartikelen .

Daarna hebben we ~ de negatie operator geplaatst voor elk wetsartikel en de verzameling er mee uitgebreid.

Dan hebben we de conjugation gedaan zoals in het bericht hiervoor hebben beschreven.

We hebben nu onze set Z(spec) volledig . Z(spec) is de vereniging van al onze conjugacy classes.

Wij vervolledigen nu de Ca(centralisers van de nieuwe toegevoegde wetsartikelen )


Welke wiskunde hebben we tot hiertoe gebruikt ?

Number theory
Set theory
Abstracte algebra (morphismen ,auto, epi,homo,iso)
Group theory (Ca centralizers,conjugacy classes)

Wij gaan nu over tot de constructie van Q(spec).
Hiervoor zullen we een nieuw soort wiskunde gebruiken ,namelijk de logica.