Timeline for Are there any non-elementary functions that are computable?
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 17 at 20:22 | comment | added | Joel David Hamkins | @Jango As Ben mentioned, if every real constant function counts as elementary, then some of them must be noncomputable, since there are only countably many computable functions. But if one has a weaker notion, then they will all be computable, since the computable functions are closed under composition. | |
Jan 17 at 20:12 | comment | added | Jango | Related curiosity: is there any elementary function which is not computable? | |
Jan 18, 2023 at 18:48 | comment | added | Joel David Hamkins | Ah, my diagonalization works only with respect to the parameter-free case. | |
Jan 18, 2023 at 18:25 | comment | added | Ben McKay | The elementary functions are usually given to include all real constant functions, so they are not countable. | |
Jan 18, 2023 at 15:30 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |