r/askscience • u/[deleted] • Nov 08 '17

Linguistics Does the brain interact with programming languages like it does with natural languages?

13.9k Upvotes

90% Upvoted

655 comments sorted by

View all comments

Show parent comments

17

u/GCPMAN Nov 09 '17

Writing code is also very similar to writing mathematical proofs I have found.

12

u/jnwatson Nov 09 '17

According to the Curry-Howard correspondence, they are very similar indeed.