Name | Brief | Tags | blog | purelisp | reiser4 | timeline | usched |
---|
Weekend affinity. | Groups usually come with homomorphisms, defined as mappings preserving multiplic ... | math |
An exercise | Here is a little problem. Given an array \(A\) of \(N\) integers, find a sub-arr ... | math programming |
What is cosh(List(Bool))? Or beyond algebra: analysis of data types. | There is that curious idea that you can think of a type in a programming languag ... | math programming |
Деревья по кругу. | _Abstract_: orbits of an endomorphism of a finite set are represented as connec ... | math |
Cographs, cocounts and coconuts. | _Abstract_: Dual of the familiar construction of the graph of a function is con ... | math |
Blindsight spot. | I just realised that in any unital ring commutativity of addition follows from d ... | math |
Euclid continuity | Let's talk about one of the simplest, if not trivial, subjects in the oldest and ... | math |
a trivial exercise. | Let's find a sum \sum_{n=1}^\infty {1\over{n(n+2)}} There is a well-know standar ... | math |
The Hunt for Addi(c)tive Monster | This is another spurious post about mathematics that happened instead of somethi ... | math |
The Hunt for Addi(c)tive Monster 2. | In the previous post, we were looking for _a monster_—a nonlinear additive funct ... | math |
Inaccessible Cardinals | [>>>„On the Consistency of Choice for Strongly Inaccessible Cardinals.“] [>>>„О ... | Pope math |
Unexpected isomorphism. | Since Cantor's "I see it, but I cannot believe it" (1877), we know that \(\mathb ... | math |
limit and evaluation | Let \(D\) be a category with functorial limits of functors from some category \( ... | math |
Publish or Perish in style. | Joseph Liouville, a famous French mathematician, whom multiple important theorem ... | math |
Long [story of] division. | The following text can be viewed as extremely dry and intimidating, or, equally, ... | math programming |
S. MacLane died | Saunders MacLane passed away on the morning of April 14. ... | math |
Riemann hypothesis, DIY | Continuing with useless exercises, let's look at prime numbers. We shall use Has ... | math programming |
Unintentionally yours. | Extension. This post is about set theory, which is a framework to reason about c ... | math |
Zero is overrated | Define a sequence of functions \(P_i:\mathbb{R}^+\rightarrow\mathbb{R}\), \(i\in ... | math |
Zero everywhere. | (студенческая олимпиада МФТИ по математике, 2013, задача 3) Предположим, что \( ... | math |