Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
mike_hearn
5 months ago
|
parent
|
context
|
favorite
| on:
Translating natural language to first-order logic ...
That's what soulofmischief is saying. If your reasoning ends at somewhere you don't like emotionally, then your axioms are bad i.e. your actual axioms are emotional. Which is fine!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: