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 Door AI gevalideerd.

o

o 1.1a Voor informele logica geldt: weerspiegelt Xx/Yy-logica wél gekoppeld aan Natuurwet [module ‘Formele- vs. Informele logica’].

Toelichting:

· Door AI gevalideerd.

o 1.2i Voor formele logica geldt: weerspiegelt Xx/Yy-logica niét gekoppeld aan Natuurwet[module ‘Formele- vs. Informele logica’].

Toelichting:

· Door AI gevalideerd.

2a Voor laatste stelling van Fermat geldt: is o.b.v. informele logica niét bewezen [module ‘Fermat – Laatste stelling van’].

Toelichting:

o Door AI gevalideerd.

3i Voor meerdere (niet alle) wiskundige problemen geldt: is o.b.v. informele logica zowel niét als wél bewezen.

Toelichting:

o NW kent zowel ‘Waar’ en ‘Onwaar’ als ‘Waar’ of ‘Onwaar’, gevalideerd in module ‘Moderne- vs. Neomoderne wetenschap’.

o

o 3.1a Voor formele logica geldt: berust op iets (axioma’s) wat niét bewezen is.

Toelichting:

· 3.1.1a Voor feit geldt: is empirisch wél bewezen.

· 3.1.2i Voor axioma geldt: is empirisch niét bewezen.

·

· 3.1.2a Voor axioma geldt: is empirisch niét bewezen

· 3.1.3a Voor formele logica geldt: berust op axioma’s.

· 3.1.4i 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 [module ‘Natuurwet - Totale betrouwbaarheid van bestaan’].

Toelichting:

· Door AI gevalideerd.

o

o 3.2a Voor informele logica geldt: berust op iets (één empirisch bewezen centrale Natuurwet) wat wél bewezen is.

o 3.3i Voor informele logica geldt: statistische betrouwbaarheid is theoretisch 100% [module ‘Natuurwet - Totale betrouwbaarheid van bestaan’].

Toelichting:

· 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 is theoretisch 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 is theoretisch 100%.

o 3.5a Voor informele logica geldt: is gekoppeld aan centrale Natuurwet.

o 3.6i Voor informele logica geldt: statistische betrouwbaarheid is theoretisch 100%.

o

o 3.6a Voor informele logica geldt: statistische betrouwbaarheid is theoretisch 100%.

o 3.7i Voor formele logica geldt: statistische betrouwbaarheid is praktisch 100%.

Toelichting:

· Is gebaseerd omgekeerde bewijslast.

o

o 3.7i Voor formele logica geldt: statistische betrouwbaarheid is praktisch 100%.

o 3.6a Voor informele logica geldt: statistische betrouwbaarheid is theoretisch 100%.

o 3.8i Voor inherente betrouwbaarheid van logica geldt: statistische betrouwbaarheid ligt tussen praktisch en theoretisch 100%.

o

o 3.8a Voor inherente betrouwbaarheid van logica geldt: statistische betrouwbaarheid ligt tussen praktisch en theoretisch 100%.

o 3.9a Voor formele logica geldt: is niét in staat eigen interne betrouwbaarheid vast te stellen.

o 3.10i Voor formele logica geldt: interne betrouwbaarheid is gekoppeld aan informele logica.

Toelichting:

· 3.10.1a Voor informele logica geldt interne betrouwbaarheid is praktisch 100%.

· 3.10.2a Voor informele logica geldt interne betrouwbaarheid is theoretisch 100%.

· 3.10.3i Als formele logica ooit tot een hogere betrouwbaarheidswaarde komt, dan neemt informele logica dezelfde waarde aan.

· 3.10.4i Stelling 3.8a en 3.9i vormt een gelijkwaardigheidsmechanisme.

3a Voor meerdere (niet alle) 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 (niet alle) wiskundige problemen geldt: is o.b.v. formele logica uitsluitend wél bewezen.

Toelichting:

o 5.1a Voor meerdere (niet alle) wiskundige problemen geldt: is o.b.v. formele logica uitsluitend wél bewezen’.

o 5.2i Voor meerdere (niet alle) wiskundige problemen geldt: is o.b.v. formele logica bewijsbaar.

o

o 5.2a Voor meerdere (niet alle) 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’ [module ‘Vermoeden - abc’].

Toelichting:

· Door AI gevalideerd.

o

o 5.4a Voor één wiskundig probleem (abc – vermoeden) geldt: is o.b.v. informele logica bewijsbaar [module ‘Vermoeden - abc’].

Toelichting:

· Door AI gevalideerd.

o 5.5i Voor één wiskundig probleem (abc – vermoeden) geldt: is o.b.v. formele logica onbewijsbaar.

o

o 5.4a Voor één wiskundig probleem (abc – vermoeden) geldt: is o.b.v. informele logica bewijsbaar [module ‘Vermoeden - abc’].

Toelichting:

· Door AI gevalideerd.

o 5.6i Voor informele logica geldt: is minder geschikt voor wél wiskundige problemen.

o

o 5.6a Voor informele logica geldt: is minder geschikt voor wél wiskundige problemen.

o 5.7i Voor formele logica geldt: is meer geschikt voor wél wiskundige problemen.

o

o 5.6a Voor informele logica geldt: is minder geschikt voor wél wiskundige problemen.

o 5.8i Voor formele logica geldt: is minder geschikt voor niét wiskundige problemen.

o

o 5.6a Voor informele logica geldt: is minder geschikt voor wél wiskundige problemen.

o 5.9i Voor informele logica geldt: is meer geschikt voor niét wiskundige problemen.

5 Bijlagen.

Geen.