fregimus продолжает свой цикл заметок о теореме Геделя - очередная заметка не оставляет от "геделевщины" и камня на камне: Интересно, что даже теория действительных чисел не попадает под понятие фундаментальной арифметики, хотя натуральные числа и являются подмножеством действительных. В теории действительных чисел нельзя говорить о натуральных — внутри теории они никак не выделяются, «ничем не отличаются» от других, нецелых чисел. Поэтому даже такой «близкой» теоретической системе, как... read more
