Every message has a shortest description.No algorithm can always find it.We look for it anyway.
Ref. Kolmogorov, 1965; Zvonkin & Levin, 1970
EIDOSIA is a computer science laboratory. We investigate the hard limits of computation, from logic to physics, and we build Android applications with the same method: bound, reduce, refute.
Method
Three operations, applied to everything we make.
They come from mathematics and the scientific method. We apply them to a file as to a piece of software, to a screen as to a sentence.
Bound
Before looking for a solution, we look for the limit: the best result possible, which no one can beat. It tells us how far to search, and when to stop.
Reduce
We look for the shortest form of each thing: what remains once everything that could be removed is gone.
Refute
Before publishing, we look for what could prove us wrong. What holds stays; what gives way is corrected.
