Re:How has mathematics gotten so abstract?
by btilly on Wednesday October 01, 2025 @01:34AM
(#45434594)
Well yes. We can certainly make a function that acts something like that oracle in some special cases. But my point was to give an example of something that cannot be constructively created. The oracle that I described cannot exist within the universe of constructable things.
[ Parent
| on HN ]
There are no comments on this comment yet.