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... | |
| | | | |
imotiv8.uk
|
|
| | | | | Montague Semantics Montague Semantics Montague semantics is a theory of natural language semantics and of its relation with syntax. It was originally developed by the logician Richard Montague (1930-1971) and subsequently modified and extended by linguists, philosophers, and logicians. The most important features of the theory are its use of model theoretic semantics which is [...] | |
| | | | |
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... | |
| | | | |
educationdc.net
|
|
| | | On Tuesday this past week, Mayor Bowser announced that "DC education leaders" were launching a new "digital equity fund." A "collaboration" between private organization Education Forward DC, the DC Public Education Fund (the private fundraising arm of DCPS), and the Greater Washington Community Foundation, the fund is intended to increase access to the internet and... | ||
