サクサク読めて、アプリ限定の機能も多数!
xef のブックマーク 2020/10/28 20:48
Division by zero in type theory: a FAQ[TypeTheory][TheoremProving]2020/10/28 20:48
このブックマークにはスターがありません。 最初のスターをつけてみよう!
xenaproject.wordpress.com2020/07/07
Hey! I heard that Lean thinks 1/0 = 0. Is that true? Yes. So do Coq and Isabelle and many other theorem provers. Doesn’t that lead to contradictions? No. It just means that Lean’s / symbol doesn’t ...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Division by zero in type theory: a FAQ
Hey! I heard that Lean thinks 1/0 = 0. Is that true? Yes. So do Coq and Isabelle and many other theorem provers. Doesn’t that lead to contradictions? No. It just means that Lean’s / symbol doesn’t ...
2 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /