4 ms·
Gödel suggests If you can explain all the [sufficiently complex] rules; your system is inconsistent (contradictory rules are true). If the rules are consisten
by d0mine 9y ago
Gödel suggests If you can explain all the [sufficiently complex] rules; your system is inconsistent (contradictory rules are true).
If the rules are consistent, some things can't be explained.
- deleted 9y ago[deleted]
- aleeds 9y agoThat is so ridiculously poorly applied to the legal system. Your system of rules needs power too. Don't just spread lies.
- dang 9y ago> Don't just spread lies. Would you mind editing out such name-calling from your comments here? The rest of your comment makes your point just fine. https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html
- Tsagadai 9y agoLearning that any sufficiently advanced system is usually inconsistent and breakable is one of life's most important lessons. Rules are contradictory, both in meaning and application. There is no master theorem and they are not consistently or evenly applied. The world is not fair and just. It is one of my main conflicts with homeschooling, the point of conventional schooling is that everyone must fit a mould and conforming to a structure. The lesson of that point is finding a way to deal with that conformity, you need to know the rules of hierarchical groups in order to break them or succeed inside or outside of them.
- slipperymate 9y agoI was unaware that explaining social rules to kids involved arithmetic.
- adrianN 9y agoFirst of all, Gödel talks about the provability of true statements in formal systems, not the explain-ability of laws, and second of all, in any nontrivial formal system there are things that can't be explained, namely the axioms.