3 ms·

Logicians? I'm not seeing the iPad app to write math papers without, y'know, writing.

• spiralganglion 15y ago
  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 15y ago
    Being a practicing mathematician means generating and publishing results. I am interested to see your iPad app for diagonalization results or computability proofs.
  • zheng 15y ago
    Have you ever seen a whiteboard? I do anything remotely logic based on one.
    • jgmatpdx 15y ago
      My whiteboard even has a fantastic multi-user interaction system!