Can you produce a logical proof that what's happened in the past will happen in the future?
关于过去发生的事情会在未来发生,你能提供逻辑上的证明么?
The paper agrees that only logical proof can be criterion of modern mathematical truth, and also discusses that logical proof is an action of practice.
本文同意逻辑证明是检验现代数学真理的唯一标准,同时也讨论了逻辑证明是一种实践活动的问题。
Only when each logical step has been checked by other mathematicians will the proof be accepted.
只有在每个逻辑步骤都由其他数学家验证之后,该证明才会被接受。
应用推荐