Диагональный аргумент: история изменений

Перейти к навигации Перейти к поиску

16 апреля 2024

14 августа 2023

30 июня 2023

  • текущ.пред. 01:4601:46, 30 июня 2023 MBHbot обсуждение вклад м 4667 байт −14 replaced: |<small>'''Диагональный аргумент Кантора''': Каждое множество записывается как последовательность 0 и 1, где 1 на месте <math>x</math> значит, что <math>x</math> является элементом множества. Красным выделена последовательность на диагонали. Последовательность <math>s</math> является дополнением этой последовательности: <math>s(x)=1-s_x(x)</math>. Тогда <math>s</math> отличается от всех <math>s_x</math> хотя бы в одном месте (а именно — в месте <math>x</math>).</small>]] → |'''Диаго... отменить Метка: AWB

29 июня 2023

26 июня 2023

14 февраля 2023

23 ноября 2022

30 марта 2022

1 февраля 2022

31 января 2022

30 января 2022

13 марта 2019

12 марта 2019

20 января 2019

16 января 2019

15 января 2019