В философии аргумент Вейля о плитке , введенный Германом Вейлем в 1949 году, является аргументом против представления о том, что физическое пространство «дискретно», как если бы оно состояло из некоторого количества единиц или плиток конечного размера . [1] Аргумент призван показать, что функция расстояния, аппроксимирующая теорему Пифагора на дискретном пространстве, не может быть определена, и, поскольку теорема Пифагора была подтверждена как приблизительно верная в природе, физическое пространство не является дискретным. [2] [3] [4] Академические дебаты по этой теме продолжаются, и в литературе предлагаются контраргументы. [5] [6] [7]
Аргумент о плитке появляется в книге Вейля 1949 года «Философия математики и естественных наук» , где он пишет:
Если квадрат построен из миниатюрных плиток, то по диагонали будет столько же плиток, сколько и по стороне; таким образом, диагональ должна быть равна по длине стороне. [1]
Демонстрация аргумента Вейля осуществляется путем построения квадратной мозаики плоскости, представляющей дискретное пространство. Дискретизированный треугольник, n единиц в высоту и n единиц в длину, может быть построен на мозаике. Гипотенуза полученного треугольника будет иметь длину n плиток. Однако, по теореме Пифагора, соответствующий треугольник в непрерывном пространстве — треугольник, высота и длина которого равны n — будет иметь гипотенузу длиной единиц. Чтобы показать, что первый результат не сходится ко второму для произвольных значений n , можно изучить процентную разницу между двумя результатами: Поскольку n сокращается, два результата никогда не сходятся, даже в пределе больших n . Аргумент можно построить для более общих треугольников, но в каждом случае результат будет тем же. Таким образом, дискретное пространство даже не приближается к теореме Пифагора.
В ответ Крис Макдэниел утверждает, что аргумент плитки Вейля зависит от принятия «тезиса размера», который утверждает, что расстояние между двумя точками задается числом плиток между двумя точками. Однако, как указывает Макдэниел, тезис размера не принимается для непрерывных пространств. Таким образом, у нас могут быть причины не принимать тезис размера для дискретных пространств. [5]