Tuesday 31 December 2019

What is Domain Theory?

Domain theory studies type of partially ordered sets, also known as domains.

Partial orders are relations characterised by the RAST property of being reflexive, anti-symmetric and transitive.  They are often depicted by a <= sign.

A <= relation on a set of real numbers is clearly reflexive (a<=a) due to the allowance of equality. Antisymmetry implies equality if a<=b and b<=a (think of a Venn diagram of elements
A set with a partial order defined on it is called a poset.

The idea of domain theory is to use recursion to find successively better approximations to some desired object.

Tuesday 24 December 2019

Deep Learning with Lex Fridman of MIT

Lex Fridman is a researcher and lecture at MIT who has developed immense resources on deep learning for those looking to learn.

Friday 6 December 2019

Why are "Chak" Equations So-Called?

"Cha-Mo" equations are so-named as they were independently discovered by Sydney Chapman and Andrey Kolmogorov.

They are pivotal equations in the theory of Markovian stochastic processes.

Both Chapman and Kolmogorov were mathematicians, with Chapman doubling up as a notable geophysicist studying, amongst other things, the ozone layer and the magnetosphere.