[spiralganglion]

Logic is a game of symbols and relationships. The iPad is the best tool I've ever seen for working with symbols and relationships.

[jgmatpdx]

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

[zheng]

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

[jgmatpdx]

My whiteboard even has a fantastic multi-user interaction system!