News for hackers. Stuff that matters.
Re:Only one pair of integers satisfy the equation m^n = n^m by pdpi on Friday April 21, 2023 @09:04AM (#35653099)
Well, Proof Theory is a branch of maths in its own right, and Category Theory also has a definite "meta-proof-y" feel to it.

There are no comments on this comment yet.