olymmath

SCHWEITZER 1976 Problem 1

    Assume that RR , a recursive, binary relation on N\mathbb{N} (the set of natural numbers), orders N\mathbb{N} into type ω\omega . Show that if f(n)f(n) is the nn th element of this order, then ff is not necessarily recursive.

    L. Posa

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator schweitzer/1976/p1 · Tag 1BS3AC7SA2 · Edit this page on GitHub · Keys: j next, k previous