Skip to main content
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