Message Boards Message Boards

GROUPS:

Do logicians use Wolfram Language?

Posted 23 days ago
324 Views
|
1 Reply
|
2 Total Likes
|

Do logicians use Wolfram Language? For instance for proof trees in sequent calculus. General answers are welcome.

I suspect many of them do use Wolfram Language as due to its symbolic nature it has a powerful capacity of computational generalization and abstraction. I'd look at, for starters:

Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract