Re:Language and Structure in Non-Programmers Solutions to Pr...
by adrusi on Sunday April 17, 2016 @12:22PM
(#11515059)
The problem is with computers we have to build incredibly complex systems out of very basic axioms (the features of von Neumann machines). The closest similarly complex systems built out of natural language are philosophy and law, and both are rife with ambiguity.
[ Parent
| on HN ]
Re:Language and Structure in Non-Programmers Solutions to Pr...
by hacker_9 on Sunday April 17, 2016 @12:32PM
(#11515107)
> we have to build incredibly complex systems out of very basic axioms
Yes and this is because our programming languages aren't as advanced as natural languages, not yet.
> philosophy
Did you just compare computer systems as being as complex as figuring out the meaning of life and the universe?
> law
Law is written in a way that is unambiguous as possible. Additionally it's a lot more complicated then simply running the same logic over and over when you are dealing with real peoples lives.