Informatika és tudomány

  • NEXUS6
    #307
    Pont ezt akartam írni:)
    A matematika is axiomarendszer. Olyan alapkijelentésekre épül, amiket aztán senki nem kérdő jelez meg, de a rendszeren belül az axiómák érvényessége nem is bizonyítható. A bizonyításhoz a rendszert ki kell terjeszteni új axiómákat bevezetni. Ezt csinálta Bólyai is, amikor megkérdőjelezte, majd speciális esetben, az euklidészi síkon bizonyította, hogy a párhuzamos egyenesek nem metszik egymást.

    Ebből az következik, hogy a hit, az axióma érvényességébe vetett hit mindig megelőzi a tudást. Persze ez is egy axióma:D