„Russell-paradoxon” változatai közötti eltérés
| [ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →A Russell-paradoxon közérthető formái: az eredeti forma is közérthető a mai tapasztalatok szerint, sőt a formalizálás miatt kevesebb, átverésre gyanakvó rákérdezést |
|||
14. sor:
Russell felfedezése alapjaiban rengette meg a matematikát. Egyszerűen bebizonyítható ugyanis, hogy egy olyan matematikai elméletben, melyben a hagyományos matematikai logika eszközeivel egy ellentmondást le lehet vezetni (tehát legalább egy tétel és annak tagadása ''is'' levezethető), minden levezethető tétel tagadása is levezethető, így az elmélet nem ér túl sokat. Azaz „bármi és egyúttal bárminek az ellenkezője is bizonyítható”.
== A Russell-paradoxon
Laikusok számára is könnyen megérthető a paradoxon, ha absztrakt matematikai jelölés helyett szemléletesen magyarázzuk el. Erre tesznek kísérletet az alábbi variációk:
| |||