Re:Only one pair of integers satisfy the equation m^n = n^m
by dvt on Saturday April 22, 2023 @02:12PM
(#35669397)
> is it possible to write proofs about proofs
Yep, I took several metamathematics classes at UCLA! Mostly on proof theory, but also analyzing metamathematical results (like Godel's theorems, Henkin construction, and so on).
Yep, I took several metamathematics classes at UCLA! Mostly on proof theory, but also analyzing metamathematical results (like Godel's theorems, Henkin construction, and so on).