Being a practicing mathematician means generating and publishing results. I am interested to see your iPad app for diagonalization results or computability proofs.

Have you ever seen a whiteboard? I do anything remotely logic based on one.