В сути вещей

Здравствуйте, Борис Александрович!

Математика своим величием обязана тому, что не допускает противоречий в своих рассуждениях. Именно это преимущество позволяет предвидеть, делать однозначные выводы, избегать двусмысленности. И я целиком и полностью поддерживаю это стремление человеческого разума.

Но отсюда не следует, что противоречия нет. Вера математики во всесильность своего метода (в то, что все можно переопределить – исключить противоречия в принципе) ограничивает саму математику. Впрочем, пределы своего могущества обозначила сама же математика в лице Геделя теоремой о не полноте: если система полна, то она противоречива, а если не противоречива, то она не полна.

И я хочу добавить, перефразируя Канта, что две вещи на свете наполняют мою душу священным трепетом: желание, насколько это возможно, исключить противоречия и не испытывать ужас при встрече с ними.

Здравствуй, Таня!

Если бы бога спросили, как он относится к математике, которая в силу своего определения ставит табу на использование слова «противоречие», он, наверно, указал бы на импликацию: «истинно говорю вам, что из противоречия следует как истина, так и не истина … и без этой истины нет математики».

Глава 2. Число

Число есть только другое название для различия. Точное тождество есть единство, а от различия возникает множество.

У. Стенли Джевонс.

2.1. Число один

Возможно ли привести хотя бы один пример, который бы показал, что утверждение «один – это то, что равно себе» неверно? Найти такой пример мне не удалось. …

Один «А» = {А = А}. Один «А → В» = {А → В =А → В}. Одна «двойка» = {двойка = двойка}. Одно «много» = {много = много}.

Рассуждаем. Как уже отмечалось в предыдущей главе, «самотождественно» можно заменить на «существовать». Допустим, имеется некое А, и оно становится неким В: А → В. Получается, что до момента изменения «А остается тем же самым А». После изменения А нет – оно не существует, но существует В. На всем же промежутке наблюдения нельзя сказать, что «А существует» и что «В существует», но можно сказать, что «существует изменение из А в В», т. е. «А → В = А → В».

Обычно, единице сопоставляется некая мера: длина локтя, ложка песка, яблоко и т. д. Но что значит «сопоставить»? Ведь единице можно сопоставить не только яблоко, но и «чашку чая с бутербродом», «яблоко и яблоко»! Конечно, одно «яблоко» – не то же самое, что одно «яблоко и яблоко».

Так вот, все эти различия становятся не существенными в записи «один – это то, что равно нулю», т. е. «1 = {0 = …}». Теперь тем, что находится в скобках после знака равно, может быть как «А – А», «А и В – А и В», так и «0». В последнем случае, «1 = {0 = 0}» вырождается в «один – это то, что ноль существует».

Сказанное будет уместно сравнить с выводами Фреге [7]: «один – это число, соответствующее понятию равное 0». Но трактуется это утверждение в современной математике иначе: как «1 = {0}», а не как «1 = {0 = 0}». Впрочем, если понятие множества натуральных чисел «N = {x всех таких | что существует(х)}» записать лишь по отношению к единице, то получим «1 = {0 такое | что существует 0}».

2.2. Число ноль

Хотя определение «ноль – это то, что не равно себе» полностью совпадает с определением, данным Фреге [7], «0 – это число, соответствующее понятию не равное себе», философских нестыковок с общепринятым мнением здесь ожидается куда больше.

Причиной тому, во-первых, служит высказывание самого Фреге [7]: «поскольку под понятие не равное себе ничего не подпадает, я объясняю: 0 – это число, соответствующее понятию неравное себе». И, во-вторых, более фундаментальное – отрицание противоречия как математического объекта в принципе. … И это не только забавно. С одной стороны, «под понятие не равное себе ничего не подпадает». С другой стороны, ноль есть, т. е. само это «под понятие не равное себе ничего не подпадает» все же существует.