Questions tagged «proof»

我写了少量的Haskell，以了解GHC如何证明对于自然数，您只能将偶数减半： {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x :: Parity) :: Parity where Flip Even = Odd Flip Odd = Even data ParNat :: Parity -> * where PZ :: …

84 haskell  ghc  proof  haskell-platform  formal-verification 

众所周知，应用函子根据组成是封闭的，但单子函数不是。但是，我一直在寻找一个具体的反例来说明单子并不总是构成的麻烦。 这个答案给出[String -> a]了一个非单子的例子。在玩了一段时间之后，我凭直觉相信了它，但是这个答案只是说“无法实现连接”而没有给出任何理由。我想要更正式的东西。当然有很多类型的函数[String -> [String -> a]] -> [String -> a]; 必须证明任何此类功能不一定满足单子法则。 任何示例（附带证明）都可以；我不一定要特别寻找上述示例的证明。

82 haskell  monads  composition  proof 

我看到了这个问题，并对什么是抽水引理感到好奇（维基百科没有太大帮助）。 我了解这基本上是理论上的证明，对于某种语言在某类课程中必须是正确的，但是除此之外，我并没有真正理解它。 任何人都想尝试以非数学家/比较科学博士可以理解的方式在相当细粒度的级别上解释它吗？

81 theory  proof  pumping-lemma 

关闭。此问题不符合堆栈溢出准则。它当前不接受答案。 想改善这个问题吗？更新问题，使其成为Stack Overflow的主题。 3年前关闭。 改善这个问题 最近，HP实验室的Vinay Deolalikar发表了一篇论文，声称已证明P！= NP。 有人能解释一下这个证明对我们的数学影响较小的人如何工作吗？

67 math  computer-science  complexity-theory  proof  p-np