Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
kennysoona
5 months ago
|
parent
|
context
|
favorite
| on:
Translating natural language to first-order logic ...
No, no meta axioms. Just by quantifying whatever we can as much as possible to be as objective as possible.
soulofmischief
5 months ago
|
next
[–]
"as possible" means an incomplete system that still relies on assumed axioms.
kennysoona
5 months ago
|
parent
|
next
[–]
Maybe. I don't think so though. I think everything can be quantified and qualified.
soulofmischief
5 months ago
|
root
|
parent
|
next
[–]
Unless you can provide a proof, it remains conjecture.
numpad0
5 months ago
|
prev
|
next
[–]
I think what this branch of comments is trying to do is to reinvent `ideology` as a word.
kennysoona
5 months ago
|
parent
|
next
[–]
I have no interest in ideology and don't see even the concept as relevant to any point I've made.
numpad0
5 months ago
|
root
|
parent
|
next
[–]
I'm not trying to call anyone out, just thought that what is being discussed is concepts laid out doughnut shaped around that word.
kennysoona
5 months ago
|
root
|
parent
|
next
[–]
That's fair enough, I guess you could say my position is perhaps an ideology, but I do belief it can be defended objectively as possible.
Mr-Frog
5 months ago
|
prev
[–]
My gut still tells me this relies on a human-defined optimization metric.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: