> > > One could say that most of these noncomputable functions are probably > not interesting. >
On the other side, the universe is finite. Everything interesting to measure is never smaller than a few picometres. Everything related to computer science, the number of computers, the number of bytes on earth and so on is finite. And there is even an interesting text from Leibniz called "Apokatastasis Panton", where he proves that the number of possible histories of the humanity is finite. Everything interesting is finite. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" 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/metamath/86084bb2-1fc6-4f49-bfd7-064ebc9dc519%40googlegroups.com.
