Explore >> Select a destination
|
You are here 
|
drops.dagstuhl.de | ||
| | | | |
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... | |
| | | | |
julesh.com
|
|
| | | | | ||
| | | | |
jiggerwit.wordpress.com
|
|
| | | | | What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer... | |
| | | | |
ayvlasov.wordpress.com
|
|
| | | Recent debates on possibility of quantum computer provoked a specific prize. Between all, Scott Aaronson wrote: [...] whether scalable quantum computing is possible is a question about the laws of physics. It's perfectly conceivable that future developments in physics would conflict with scalable quantum computing, in the same way that relativity conflicts with faster-than-light communication,... | ||
