|
|
|
|
|
|
by larodi
605 days ago
|
|
|
UAI seems reasonable as we need both discreet and non-discreet systems to start talking in a meaningful way. Was wondering recently - given that a lot can be done with predicate logic, and given that DNA is a sort of grammar, is there anything more powerful than these formalisms in math in genera, that is actually put to work somewhere, anywhere? |
|
|