Inhoud.
Is
onderverdeeld:
1 Inleiding.
2 Uitgangspunt.
3 Samenvatting.
4 Onderbouwing.
5 Bijlagen.
1 Inleiding.
Zie module:
o
Inleiding.
Deze module
gaat in op:
o
PD - Aantal in heelal.
Voor ‘PD’
geldt:
o
Is een gedeelte van een elementair onderdeel dat gebruikt kan worden om
een groter geheel te bouwen.
Voor
verzameling ‘PD’ geldt:
o
Is
alle (niet met zichzelf samengevoegd) PD in het heelal.
2 Uitgangspunt.
Voor getal 1
geldt: is het kleinst natuurlijk getal.
3 Samenvatting.
Is
onderverdeeld:
1 Algemeen.
2 Conclusie.
3.1 Algemeen.
Voor
verzameling ‘berekenbare functie (BB(1…5))’ geldt:
o
Heeft
predicaat ‘Compleet’.
Voor
verzameling ‘Compleet’ geldt:
o
Eén
of meerdere kenmerken van één element is tegengesteld aan resterende vier.
vier.
o
Er
bestaat geen element groter dan vijf.
Voor
aantal PD in heelal geldt: = BB(5) [47176870] = BB(5) = 4,7 × 10^7.
3.2 Conclusie.
Niet van toepassing.
4 Onderbouwing.
BB(N) = Bezige Bever met N toestanden als berekenbare
functie, gekoppeld aan M.
Toelichting:
o
Voor
M geldt: is turingmachine met N toestanden plus een
eindtoestand;
o
het
bandalfabet van M is {, 1}, waarbij het blank-symbool is;
o
als
M wordt aangezet met de lege band als invoer,
termineert M na een eindig aantal stappen;
o
alle
andere turingmachines
met N toestanden en een eindtoestand, die
hetzelfde bandalfabet hebben, termineren met de lege band als invoer na minder
dan of even veel stappen als
N = Natuurlijk getal.
PD = PlanckDeeltje
(gsr ~ md=3D ~ kßx ~ H).
…a
= Als waar is.
…i
= Is ook waar.
1a Voor
uitkomst berekenbare functie ‘BB(2)’, ‘BB(3)’, ‘BB(4)’, ‘BB(5)’ geldt: ≠ 1.
Toelichting:
o 1.1a Voor
getal 1 geldt: is het kleinst natuurlijk getal [door AI gevalideerde module ‘Getal
nul - Reken- of Telgetal’].
o 1.2a Voor
BB(2) geldt: = 6 [bron Wikipedia].
o 1.3a Voor
BB(3) geldt: = 21 [bron Wikipedia].
o 1.4a Voor
BB(4) geldt: = 107 [bron Wikipedia].
o 1.5a Voor
BB(5) geldt: = 47176870 [bron Wikipedia].
2i Voor
uitkomst meerdere (vier) soorten berekenbare functie geldt: ≠ 1.
2a Voor
uitkomst meerdere (vier) soorten berekenbare functie geldt: ≠ 1.
3i Voor
uitkomst één soort berekenbare functie (BB(1)) geldt: = 1.
Toelichting:
o 3.1a Voor
BB(1) geldt: = 1 [bron Wikipedia].
3a Voor
uitkomst één soort berekenbare functie (BB(1)) geldt: = 1.
2a Voor
uitkomst meerdere (vier) soorten berekenbare functie geldt: ≠ 1.
4a Voor
verzameling ‘Compleet’ geldt: één of meerdere kenmerken van één element is
tegengesteld aan resterende vier.
5i Voor
verzameling ‘berekenbare functie (BB(1…5))’ geldt: heeft predicaat ‘Compleet’.
Toelichting:
o 5.1a Voor
stelling 5.1a geldt: = 5i.
o 5.2i Voor
verzameling ‘berekenbare functie (BB(1…5))’ geldt: heeft predicaat ‘Compleet’.
o
o 5.2a Voor
verzameling ‘berekenbare functie (BB(1…5))’ geldt: heeft predicaat ‘Compleet’.
o 5.3a Voor
PD geldt: maakt deel uit van subatomair deeltje [Door AI gevalideerde module ‘RG
– Ontstaan’].
o 5.4a Voor
PD als gedeelte van subatomair deeltje geldt: is begrensd maal met zichzelf
samengevoegd [Door AI gevalideerde module ‘RG – Ontstaan’].
o 5.5i Voor
aantal PD in heelal geldt: = BB(5) [47176870] = BB(5) = 4,7 × 10^7.
5 Bijlagen.
Geen.