rk comments on An Untrollable Mathematician Illustrated

[rk]

Ah, so I was quite wrong when I said “trivially they can be separated”. Cos we only have semi-decision procedures for provability and disprovability!

Thanks for helping me with this