Articles by vy

Types considered harmful II

November 30, 2017 | 0 Comments

Russell introduced what is often viewed as his most original contribution to mathematical logic: his theory of types—which in essence tries to distinguish between sets, [...]

Bad ideas in type theory

September 15, 2017 | 0 Comments

Types as sets and subtypes as subsets.  This may be due to confusing usage in mathematical practice where, for example, we often see references to integers as a subset of [...]

the terrible effect of Krohn-Rhodes

December 4, 2013 | 0 Comments

One of the most interesting theorems in computer science is the Krohn-Rhodes theorem that shows a strong link between basic computer science and group theory. Crudely, the KR [...]