0
comment
comment
on 5/22/2018 2:27 AM
Unless you are a sci-fi author or some secret government agency, the question whether aliens
would understand lambda calculus is probably not your main practical concern. However, the question
is intriguing because it nicely vividly formulates a fundamental question about our formal mathematical
knowledge. Are mathematical theories and results about them invented, i.e. constructed by
humans, or discovered, i.e. are they eternal truths that exist regardless of whether there are
humans to know them?
The que[...]