On 6/1/2020 2:08 AM, Bruno Marchal wrote:
Brent suggest that we might recover completeness by restricting N to a finite domain. That is correct, because all finite function are computable, but then, we have incompleteness directly with respect to the computable functions, even limited on finite but arbitrary domain. In fact, that moves makes the computer simply vanishing, and it makes Mechanism not even definable or expressible.
That's going to come as a big shock to IBM stockholders. Brent -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/b030815d-789a-a63d-8848-0c59dcc5b4ad%40verizon.net.
