You are here |
hiphilangsci.net | ||
| | | |
tomasp.net
|
|
| | | | The question whether aliens would understand lambda calculus is intriguing because it 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? | |
| | | |
imotiv8.uk
|
|
| | | | Philosophy of Biology Philosophy of Biology The growth of philosophical interest in biology over the past fifty years reflects the increasing prominence of the biological sciences in the same period. There is now an extensive literature on many different biological topics, and it would be impossible to summarize this body of work in this single [...] | |
| | | |
scottaaronson.blog
|
|
| | | | Update (Dec. 17): Some of you might enjoy a 3-hour podcast I recently did with Lawrence Krauss, which was uploaded to YouTube just yesterday. The first hour is about my life and especially childhood (!); the second hour's about quantum computing; the third hour's about computational complexity, computability, and AI safety. I'm being attacked on... | |
| | | |
modiphius.net
|
|
| |