数学中经常需要处理不可能的情况(比如使用反证法证明时)。在可探索的解释[1]中,如何可靠地表示这些不可能的情况?
如果你要用反证法证明,你必须找个办法来在视觉上呈现不可能的情况!
参见
链接到本文
- 可探索媒介的有限对象假设 (← 链接)
- 可探索的解释 (← 链接)
Thoughts Memo 汉化组译制
感谢主要译者 shom
原文:Representing impossibilities
6 👍 / 0 💬
数学中经常需要处理不可能的情况(比如使用反证法证明时)。在可探索的解释[1]中,如何可靠地表示这些不可能的情况?
如果你要用反证法证明,你必须找个办法来在视觉上呈现不可能的情况!
Thoughts Memo 汉化组译制
感谢主要译者 shom
原文:Representing impossibilities