User blog comment:TristanLambert/The Extension Function/@comment-25601061-20180619033021/@comment-35435096-20180720220514

Simply put it is like what uncomputable Numbers does for computable finite numbers, but for uncomputable Numbers (and it grows much faster)