Read through about 35 Wikipedia articles on Computablility and CS Theory. There are some wild (and strong) proofs out there.