Re:Death of a Pig (1948)
by ycombinete on Tuesday July 18, 2017 @01:05AM
(#14794350)
Just to add to this point, with something that Yuval Noah Harari said in an interview with Sam Harris:
[ Parent
| on HN ]
Re:Death of a Pig (1948)
by smallnamespace on Tuesday July 18, 2017 @02:44AM
(#14794681)
Godel's Incompleteness Theorem proves that at least in math, there's a tradeoff between power and completeness / consistency, in that formal systems than can encode arithmetic can prove more things, but they are necessarily either inconsistent or incomplete.
Would make a lot of sense if this tradeoff were also present in other contexts.