：人类不依赖大数据人类不依赖感知人类不依赖数学人类不依赖形式逻辑A