Explore >> Select a destination
|
You are here 
|
drops.dagstuhl.de | ||
| | | | |
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... | |
| | | | |
qchu.wordpress.com
|
|
| | | | | Let $latex k$ be a commutative ring. A popular thing to do on this blog is to think about the Morita 2-category $latex \text{Mor}(k)$ of algebras, bimodules, and bimodule homomorphisms over $latex k$, but it might be unclear exactly what we're doing when we do this. What are we studying when we study the Morita... | |
| | | | |
julesh.com
|
|
| | | | | ||
| | | | |
www.3-16am.co.uk
|
|
| | | felicitous underspecification is the phenomenon whereby a contextually sensitive expression is not assigned a unique semantic value in context but the use of the expression is nonetheless felicitous. Instead, it is assigned a range of candidate semantic values in context.... Continuing the End Times series, Richard Marshall interviews Jeffrey King | ||
