Citaat:
Oorspronkelijk geplaatst door Conscience
Gelieve Normatieve systeem (logica) leer te hanteren. Enfin, stuff van dertig jaar geleden. Er was denk ik ook een vak 'recht en programmeren.' Zelfs één of andere thesis in de licentie informatica, van een jurist uiteraard. Eerst jurist zijn, en dan pas wiskundige. Anders krijg je flutgerommel.
|
Logica komt er
nu nog niet aan te pas ,dat gebeurt enkel op het moment dat je de
Q(spec) maakt op basis van de propositional algebra, later komt de lattices algebra als we over stappen van Q naar R via Galois theorie.
De 3 soorten logica staan volledig beschreven vanaf blz 175 in het boek mathematical logic dat ik vandaag juist bij had op het strand .We gaan ze alle 3 tegenkomen te beginnen met de constructie van
Z(spec) welke we nodig hebben om onze conjugacy classes te construeren via conjugation.
Uw vraag was zeer goed waarvoor mijn dank ,dus ja de N form,de H form en de E form worden gebuikt in mijn opbouw.
Dus mijn volgend bericht handelt over hoe construeer je
Z(spec ) want dat set heb je nodig om verder te bouwen.
Dit set is dus de
N(spec) met de negatie als operator (apart gehouden zoals alle theorieën vragen )