Hacker News new | ask | show | jobs
by JadeNB 720 days ago
> a new language (Scroll) that is mathematically shown to be the simplest/most powerful language yet invented

This is, at best, ambiguous. To show something mathematically, you have to have a precise definition of it, and neither "simple" nor "powerful" admits a precise definition that is widely agreeable enough for any mathematical proof based on it to be worth anything.

1 comments