Activity
Dennis Hackethal addressed criticism #3549.
#3549·Bart Vanderhaegen, about 8 hours agoIsn't every theory infinitely underspecified ? Also, I would think that criteria for sufficiency must always be subjective ones (e.g. a working computerprogram cannot be itself a proof of meeting an some objective sufficiency criterium)? So I don't see how insufficiency points to a conflict of ideas/ contradiction
We’re getting off topic. I’m currently running a bounty requesting a working implementation of HTV.
If you think you can beat the bounty, do it. I’m not interested in anything else for now.