Explore >> Select a destination
|
You are here 
|
bentnib.org | ||
| | | | |
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? | |
| | | | |
platosrealm.wordpress.com
|
|
| | | | | In my review of his book, I will argue that Atkins walks a thin line between established scientific fact and wild speculation, but that he does so in an engrossing and ultimately plausible way. He certainly doesn't establish that the universe can arise from nothing, but he convincingly argues that there's no reason why it... | |
| | | | |
homotopytypetheory.org
|
|
| | | | | A basic fact in homotopy type theory is that homotopy equivalences are (coherent) equivalences. This is important because on the one hand, homotopy equivalences are the "correct" sort of equivalence, but on the other hand, for a function f the type of "homotopy equivalence data for f" is not an h-proposition. There are at least... | |
| | | | |
www.hedweb.com
|
|
| | | life-long bliss isn't nearly as bad as it sounds | ||
