> I find that the appeal of programming languages, their strength, fades away in... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		xkapastel on April 15, 2020 \| parent \| context \| favorite \| on: Programming languages are not languages (2018) > I find that the appeal of programming languages, their strength, fades away in the face of pure mathematics anyway. The appeal and strength of a programming language is its ability to be executed, something that pure mathematics does not and cannot ever have.

martin__ on April 15, 2020 [–]

You might want to look into something called Constructivism:

https://en.wikipedia.org/wiki/Constructive_proof

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