Message Boards Message Boards

0
|
4568 Views
|
1 Reply
|
2 Total Likes
View groups...
Share
Share this post:

Do logicians use Wolfram Language?

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

POSTED BY: Stephan Spahn

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:

POSTED BY: Sam Carrettie
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