Informatika és tudomány

  • kukacos
    #42
    A kaotikus rendszereknél sokkal mélyebb a probléma:

    http://en.wikipedia.org/wiki/Computer-assisted_proof

    A négyszíntétel például (tetszőleges térkép országai négy színnel színezhetők) roppant egyszerűen felírható, de a bizonyításához mai napig csak számítógép tudja végigellenőrizni a 633 kombinációt. Egyszerűen az emberi agy nem elég bizonyos tételek bizonyításához. Ez messzemenő filozófiai következményekkel jár: a matematikusok egy része el se fogadja bizonyítottnak az ilyen tételeket, mert bíznia kell a számítógépprogram helyességében. Ami szerintem hülyeség, mert legalább a személyes hibátlanságában kellett bíznia eddig is.