> Although the technical details from this point onward are unfortunately too dense to include in a general-audience essay of this sort, assuming as they do fam

> Although the technical details from this point onward are unfortunately too dense to include in a general-audience essay of this sort, assuming as they do familiarity with constructive non-standard analysis, it suffices to say that supersized machines cannot be made (Figure 2). Brilliant. This is exactly how "Godel's Theorem or Quantum Mechanics therefore I'm right" arguments always go :)