3 ms·
> It is not semantics. For decades, logic and CS researchers have known what reasoning is. Curious what this is!
by kevinwang 2mo ago
> It is not semantics. For decades, logic and CS researchers have known what reasoning is.
Curious what this is!
- paulddraper 2mo agoMe too. What does a reasoning program look like and why is matrix multiplication not that?
- thesmtsolver2 2mo agoThis is a great resource https://en.wikipedia.org/wiki/Handbook_of_Automated_Reasoning https://en.wikipedia.org/wiki/Handbook_of_Automated_Reasonin...
- dumah 2mo agoLots of people asking here for this clear definition. If you understand this well, please lay it out here in a straightforward manner.