Explore >> Select a destination
|
You are here 
|
www.logicmatters.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? | |
| | | | |
www.thebigquestions.com
|
|
| | | | | ||
| | | | |
ncatlab.org
|
|
| | | | | [AI summary] The nLab entry explores philosophical aspects of mathematics, including metaphysics, foundational issues, and historical paradigms, with references to key thinkers and texts. | |
| | | | |
www.jeremykun.com
|
|
| | | Previously in this series we've seen the definition of a category and a bunch of examples, basic properties of morphisms, and a first look at how to represent categories as types in ML. In this post we'll expand these ideas and introduce the notion of a universal property. We'll see examples from mathematics and write some programs which simultaneously prove certain objects have universal properties and construct the morphisms involved. | ||
