SilasBarta comments on Attempts to work around Goedel’s theorem by using randomness

[SilasBarta]

Thanks. I had forgotten that a clearer resolution of those heuristics had eventually been offered as that thread developed, and I appreciate you summarizing it here.