Very possible. It just feels like something from that general area, and I wanted to point it out.<p>I played around with fitting this in to the Curry-Howard correspondence. For a moment, let&#x27;s set aside neural networks and just talk about the probability distributions they operate on.<p>In Curry-Howard, one interprets values of a type as proofs of a theorem. Perhaps we could similarly interpret a samples of a distribution as verifying the distribution. This might lead to a kind of fuzzy logic version of Curry-Howard.<p>I&#x27;m not sure if this actually works or can be formalized -- I&#x27;ve only put a tiny bit of thought into it.