> a new language (Scroll) that is mathematically shown to be the simplest/most p... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

JadeNB 6 months ago | parent | context | favorite | on: Microfeatures I love in blogs and personal website...

> 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.

breck 6 months ago [–]

I stand by my claim.

I point you to https://breckyunits.com/pcri.html

Further background:

- https://breckyunits.com/intelligence.html

- https://github.com/breck7/breckyunits.com/blob/main/research...

- https://github.com/breck7/breckyunits.com/blob/main/research...

- https://github.com/breck7/breckyunits.com/blob/main/research...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact