高尔吉亚针对于爱利亚派存在论的论证。

我国计算机界长期流行着所谓巨、大、中、小、微的分法，即把计算机分为巨型机、大型机、中型机、小型机、微型机5大类。虽然这种分类有通俗易懂、顺口好记的特点，但是在与国外同行交流中就可能会遇到问题。因此，关于计算机的分类，我们还是应该向国际同行的说法靠拢。