mathlib
69654263 - feat(computability/ackermann): the Ackermann function isn't primitive recursive (#15505)

Commit

3 years ago

feat(computability/ackermann): the Ackermann function isn't primitive recursive (#15505) See module docs for a thorough explanation of the proof.

Author

vihdzp

Parents