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
Neomoderne
wetenschap in relatie tot wiskunde.
Aanleiding van
deze module is de mislukte poging de laatste stelling van Fermat op te lossen.
2 Uitgangspunt.
Niet van
toepassing.
3 Samenvatting.
Is
onderverdeeld:
1 Algemeen.
2 Conclusie.
3.1 Algemeen.
Voor
iets (één empirisch bewezen centrale Natuurwet) dat wél bewezen
is als fundament van informele logica geldt: statistische
betrouwbaarheid ligt tussen
99,9999999942% en 100%.
Voor
iets (axioma’s van Peano - Dedekind) dat niét bewezen is als
fundament van formele logica geldt: statistische betrouwbaarheid ligt tussen 99,9999999942% en 100%.
Voor
één wiskundig probleem (abc – vermoeden) geldt: is o.b.v. informele
logica bewijsbaar’.
Voor
één wiskundig probleem (abc – vermoeden) geldt: is o.b.v. formele
logica onbewijsbaar’.
3.2 Conclusie.
Niet van
toepassing.
4 Onderbouwing.
…a
= Als waar is.
…i
= Is ook waar.
1a Voor abc-vermoeden geldt: is o.b.v.
informele logica bewezen [module ‘Vermoeden – abc]’.
Toelichting:
o Bewijsvoering is o.b.v.
informele logica door AI getoetst en geldig verklaard.
2a Voor laatste stelling van Fermat geldt: is
o.b.v. informele logica niét bewezen [module ‘Fermat – Laatste stelling van’].
Toelichting:
o Bewijsvoering is o.b.v.
informele logica door AI getoetst en ongeldig verklaard.
3i Voor meerdere wiskundige problemen geldt:
is o.b.v. informele logica zowel niét als wél bewezen.
Toelichting:
o 3.1a Voor formele logica geldt: berust
op iets (axioma’s) wat niét bewezen is.
o 3.2i Voor informele logica geldt:
berust op iets (één empirisch bewezen centrale Natuurwet) wat wél
bewezen is.
o
o
3.2a Voor informele logica geldt: berust op iets
(één empirisch bewezen centrale Natuurwet) wat wél bewezen is.
o
3.3a Voor informele logica, gekoppeld aan één
empirisch bewezen centrale Natuurwet geldt: statistische betrouwbaarheidsnorm ligt tussen 99,9999999942% en 100% (door
AI gevalideerd).
o
3.4i Voor
iets (één empirisch bewezen centrale Natuurwet) dat wél bewezen is als
fundament van informele logica geldt: statistische betrouwbaarheid ligt tussen 99,9999999942% en 100%.
o
o
3.4a Voor iets (één empirisch bewezen centrale
Natuurwet) dat wél bewezen is als fundament van informele
logica geldt: statistische betrouwbaarheid ligt tussen 99,9999999942% en 100%.
o
3.5i Voor iets (axioma’s van Peano - Dedekind)
dat niét bewezen is als fundament van formele
logica geldt: statistische betrouwbaarheid ligt tussen 99,9999999942% en 100%.
o
o
3.5a Voor iets (axioma’s van Peano - Dedekind)
dat niét bewezen is als fundament van formele
logica geldt: statistische betrouwbaarheid ligt tussen 99,9999999942% en 100%.
o
3.4a Voor iets (één empirisch bewezen centrale
Natuurwet) dat wél bewezen is als fundament van informele
logica geldt: statistische betrouwbaarheid ligt tussen 99,9999999942% en 100%.
o
3.6i Voor inherente betrouwbaarheid van logica
geldt: statistische
betrouwbaarheid ligt tussen
99,9999999942% en 100%.
o
o
3.6a Voor inherente betrouwbaarheid van logica
geldt: statistische
betrouwbaarheid ligt tussen
99,9999999942% en 100%.
o
3.7a Voor formele logica geldt: is niét in staat
eigen interne betrouwbaarheid vast te stellen.
o
3.8i Voor formele logica geldt: interne
betrouwbaarheid is gekoppeld aan informele logica.
o
Toelichting:
·
Als
formele logica ooit tot een hogere betrouwbaarheidswaarde
komt, dan neemt informele logica dezelfde waarde aan. Kortom, stelling 3.4a en
3.5i vormt een gelijkwaardigheidsmechanisme.
o
o
3.9a Voor formele logica geldt: één
bewijs is voldoende voor claim.
o
3.10i Voor informele logica geldt: meerdere
(twee) bewijzen zijn voldoende voor claim.
o
o
3.11a Voor formele logica geldt: claim
gaat gepaard met toetsing door mensheid als gedeelte (peer review
en consensus).
o
3.12i Voor informele logica geldt:
claim gaat gepaard met toetsing door mensheid als geheel
(natuurfilosoof.nl).
3a Voor meerdere wiskundige problemen geldt:
is o.b.v. informele logica zowel niét als wél
bewezen.
4a Voor laatste stelling van Fermat geldt: is
o.b.v. formele logica wél bewezen.
5i Voor meerdere wiskundige problemen geldt: is
o.b.v. formele logica uitsluitend wél bewezen.
Toelichting:
o 5.1a Voor meerdere wiskundige problemen geldt: is
o.b.v. formele logica uitsluitend wél bewezen’.
o 5.2i Voor meerdere wiskundige problemen geldt:
is o.b.v. formele logica bewijsbaar’.
o
o 5.2a Voor meerdere wiskundige
problemen geldt: is o.b.v. formele logica bewijsbaar’.
o 5.3i Voor één wiskundig probleem
geldt: is o.b.v. formele logica onbewijsbaar’.
o
o 5.2a Voor meerdere wiskundige
problemen geldt: is o.b.v. formele logica bewijsbaar’.
o 5.4i Voor één wiskundig probleem (abc
– vermoeden) geldt: is o.b.v. informele logica bewijsbaar’.
o
o 5.4a Voor één wiskundig probleem (abc –
vermoeden) geldt: is o.b.v. informele logica bewijsbaar’.
o
5.5i Voor één wiskundig probleem (abc –
vermoeden) geldt: is o.b.v. formele logica onbewijsbaar’.
5 Bijlagen.
Geen.