3 ms·
If it's undecidable whether it's 0 at even ONE point, clearly you can't prove that it's 0 everywhere. Likewise, if it's not decidable for real-valued functions
by vintermann 6mo ago
If it's undecidable whether it's 0 at even ONE point, clearly you can't prove that it's 0 everywhere.
Likewise, if it's not decidable for real-valued functions, clearly it's not decidable for complex valued functions.
- DoctorOetker 6mo agothats not how this works decidability does not distribute over pointwise question asking on sets, or if you believe it does, show us the proof. Telling if an EML(x,y),1 constructed expression is identically 0 is in the gray zone, as far as I can tell, it has neither been proven decidable nor been proven undecidable. Nevertheless regardless of decidability the authors clearly show the multipoint sampling/testing is a decent filter, and the shorter resulting expressions have been proven correct in the results for the construction at least.