Matematiikkaa pidetään usein puhtaan logiikan huipentumana, mutta se sisältää useita kohtia, jotka sotivat arkijärkeä vastaan tai paljastavat järjestelmän sisäisiä rajoja. Tässä on koottuna matematiikan tunnetuimpia "epäloogisuuksia", paradokseja ja todistettuja rajoitteita:
1. Gödelin epätäydellisyyslauseet (Matematiikan suurin särö) Vuonna 1931 Kurt Gödel osoitti, että missä tahansa riittävän monimutkaisessa loogisessa järjestelmässä (kuten perusmatematiikassa) on väittämiä, jotka ovat tosia, mutta joita ei voida todistaa tosiksi järjestelmän omien sääntöjen puitteissa. Tämä tarkoittaa, että matematiikka ei voi koskaan olla "valmis" tai täydellisen suljettu järjestelmä.
2. Banachin–Tarskin paradoksi (1 = 2) Tämä joukko-oppiin perustuva teoreema osoittaa, että kiinteä pallo voidaan pilkkoa äärettömän pieniin osiin ja koota näistä osista kaksi täsmälleen alkuperäisen kokoista palloa. Vaikka tämä on matemaattisesti pätevä tulos (valinta-aksiooman puitteissa), se on fyysisesti ja intuitiivisesti mahdoton.
3. Russellin paradoksi (Kuka parturoi parturinsa?) Bertrand Russell huomasi loogisen virheen joukko-opissa: "Onko olemassa joukko kaikista niistä joukoista, jotka eivät kuulu itseensä?" Jos joukko kuuluu itseensä, se ei sääntönsä mukaan saisi kuulua itseensä.Jos se ei kuulu itseensä, sen pitäisi sääntönsä mukaan kuulua itseensä.Tämä johti koko modernin matematiikan perustan uudelleenkirjoittamiseen.
4. Nollalla jakamisen mahdottomuus Matematiikka toimii loogisesti lähes kaikissa tilanteissa, mutta nollalla jakaminen (\(x/0\)) on "määrittelemätön". Jos yritämme sallia sen, voimme todistaa minkä tahansa epäloogisuuden todeksi (kuten \(1=2\)). Tämä on reikä, jota logiikka ei pysty paikkaamaan rikkomatta itseään.
5. Äärettömyyksien eri koot Georg Cantor osoitti, että on olemassa "eri kokoisia" äärettömyyksiä. Esimerkiksi reaalilukuja (desimaaliluvut) on "enemmän" kuin luonnollisia lukuja (\(1,2,3...\)), vaikka molempia on ääretön määrä. Intuitio sanoo, että ääretön on ääretön, mutta matematiikka todistaa toisin.
6. Tilastolliset paradoksit (Simpsonin paradoksi) Matemaattisesti on mahdollista, että useat eri ryhmät osoittavat tiettyä trendiä (esim. lääke toimii miehillä ja naisilla erikseen testattuna), mutta kun ryhmät yhdistetään, trendi kääntyy päinvastaiseksi (lääke näyttääkin tehottomalta koko väestössä). Luvut eivät valehtele, mutta ne voivat silti johtaa loogisesti vastakkaisiin johtopäätöksiin.
7. Gabrieelin torvi Tämä on geometrinen muoto, jolla on ääretön pinta-ala mutta äärellinen tilavuus. Teoriassa voisit täyttää torven maalilla (tilavuus on vakio), mutta maali ei koskaan riittäisi peittämään torven sisäpintaa (pinta-ala on ääretön). Nämä esimerkit osoittavat, että vaikka matematiikka on tarkin kieli, jota käytämme, se kohtaa rajoja siellä, missä äärettömyys, itsereferenssi tai puhtaat aksioomat kohtaavat todellisuuden.
1. Gödelin epätäydellisyyslauseet (Matematiikan suurin särö) Vuonna 1931 Kurt Gödel osoitti, että missä tahansa riittävän monimutkaisessa loogisessa järjestelmässä (kuten perusmatematiikassa) on väittämiä, jotka ovat tosia, mutta joita ei voida todistaa tosiksi järjestelmän omien sääntöjen puitteissa. Tämä tarkoittaa, että matematiikka ei voi koskaan olla "valmis" tai täydellisen suljettu järjestelmä.
2. Banachin–Tarskin paradoksi (1 = 2) Tämä joukko-oppiin perustuva teoreema osoittaa, että kiinteä pallo voidaan pilkkoa äärettömän pieniin osiin ja koota näistä osista kaksi täsmälleen alkuperäisen kokoista palloa. Vaikka tämä on matemaattisesti pätevä tulos (valinta-aksiooman puitteissa), se on fyysisesti ja intuitiivisesti mahdoton.
3. Russellin paradoksi (Kuka parturoi parturinsa?) Bertrand Russell huomasi loogisen virheen joukko-opissa: "Onko olemassa joukko kaikista niistä joukoista, jotka eivät kuulu itseensä?" Jos joukko kuuluu itseensä, se ei sääntönsä mukaan saisi kuulua itseensä.Jos se ei kuulu itseensä, sen pitäisi sääntönsä mukaan kuulua itseensä.Tämä johti koko modernin matematiikan perustan uudelleenkirjoittamiseen.
4. Nollalla jakamisen mahdottomuus Matematiikka toimii loogisesti lähes kaikissa tilanteissa, mutta nollalla jakaminen (\(x/0\)) on "määrittelemätön". Jos yritämme sallia sen, voimme todistaa minkä tahansa epäloogisuuden todeksi (kuten \(1=2\)). Tämä on reikä, jota logiikka ei pysty paikkaamaan rikkomatta itseään.
5. Äärettömyyksien eri koot Georg Cantor osoitti, että on olemassa "eri kokoisia" äärettömyyksiä. Esimerkiksi reaalilukuja (desimaaliluvut) on "enemmän" kuin luonnollisia lukuja (\(1,2,3...\)), vaikka molempia on ääretön määrä. Intuitio sanoo, että ääretön on ääretön, mutta matematiikka todistaa toisin.
6. Tilastolliset paradoksit (Simpsonin paradoksi) Matemaattisesti on mahdollista, että useat eri ryhmät osoittavat tiettyä trendiä (esim. lääke toimii miehillä ja naisilla erikseen testattuna), mutta kun ryhmät yhdistetään, trendi kääntyy päinvastaiseksi (lääke näyttääkin tehottomalta koko väestössä). Luvut eivät valehtele, mutta ne voivat silti johtaa loogisesti vastakkaisiin johtopäätöksiin.
7. Gabrieelin torvi Tämä on geometrinen muoto, jolla on ääretön pinta-ala mutta äärellinen tilavuus. Teoriassa voisit täyttää torven maalilla (tilavuus on vakio), mutta maali ei koskaan riittäisi peittämään torven sisäpintaa (pinta-ala on ääretön). Nämä esimerkit osoittavat, että vaikka matematiikka on tarkin kieli, jota käytämme, se kohtaa rajoja siellä, missä äärettömyys, itsereferenssi tai puhtaat aksioomat kohtaavat todellisuuden.
Vastaukset
Vanhimmat
Ei vielä vastauksia
Aloittaja odottaa vastauksia. Kerro oma näkemyksesi ensimmäisenä.