Explore >> Select a destination
|
You are here 
|
coalg.org | ||
| | | | |
entics.episciences.org
|
|
| | | | | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 9 of Categories for Programmers. Previously: Functoriality. See the Table of Contents. So far I've been glossing over the meaning of function types. A function type is different from other types. Take Integer, for instance: It's just a set of integers. Bool is a two element set. But a function type a->b... | |
| | | | |
francisbach.com
|
|
| | | | | ||
| | | | |
www.logicmatters.net
|
|
| | | "Our external physical reality is a mathematical structure." That's how Wikipedia sums up the cosmologist Max Tegmark's mathematical universe hypothesis. Looks as if some conceptual untangling is needed. Scott Aaronson makes a great start in a wonderful blogpost here. | ||
