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.
[ Parent
| on HN ]
There are no comments on this comment yet.