| ▲ | auggierose 5 hours ago | |
there certainly is a relation; you might not be able to prove all the properties you care about because of the halting problem; but that is more a theoretical problem, not a practical one | ||
| ▲ | gf000 4 hours ago | parent [-] | |
> you might not be able to prove all the properties you care about And just to add, this is also true of "human" mathematics as well. | ||