Moravcův paradox: svět atomů je řádově těžší na řešení než svět slov/bitů