Нивен "Числа иррациональные и рациональные
Глянул
книгу. Вот как он оригинально обходит проблему неоднозначного представления конечного числа в виде десятичной дроби. Уславливается использовать только бесконечные дроби:
Цитата:
Кроме того, поскольку каждая конечная десятичная дробь (или каждая дробь вида 0,43000... с бесконечной последовательностью нулей) может так же быть записана, как истинно бесконечная периодическая десятичная дробь, то мы можем принять соглашение (действующее до конца этого параграфа) записывать все рациональные числа в виде бесконечных периодических десятичных дробей. (В соответствии со сделанным соглашением 0,43, например, будет записываться как 0,42999...; это может показаться нелепым, однако упрощает проводимое ниже рассуждение.)
Интересное пишет про "математическое доказательство".
Цитата:
«Природа и смысл математического доказательства!» Невозможно дать здесь точное описание того, что составляет доказательство, и это является одним из наиболее загадочных и отпугивающих факторов для новичка в математике. Если природу доказательства нельзя детально описать или сформулировать, то как можно кого-нибудь ей научить? Пользуясь упрощенной аналогией, можно сказать, что ее изучают таким же образом, каким ребенок учится опознавать цвета. Он наблюдает, как другие опознают зеленые предметы, синие предметы и т. д., и затем подражает тому, что он видел. Сначала могут быть неудачи, обусловленные недостаточной ориентировкой в категориях и образцах, но в конце концов обучающийся овладевает искусством. Также обстоит дело и с загадкой математического доказательства. Некоторые из наших рассуждений предназначены дать образцы техники доказательства и тем самым познакомить читателя с понятиями и методами доказательства. Таким образом, хотя мы и не в состоянии дать никакого надежного способа определять, что является, а что не является правильным доказательством, мы все же приводим несколько соображений на этот счет и надеемся, что читатель, еще не дойдя до конца этой книги, не только сможет отличать правильные доказательства, но и будет иметь удовольствие построить некоторые из них самостоятельно.