Вход
Наше всё
Теги
codebook
无线电组件
Поиск
Опросы
Закон
Понедельник
19 мая
О смысле всего сущего
0xFF
Средства и методы разработки
Мобильная и беспроводная связь
Блошиный рынок
Объявления
Микроконтроллеры
PLD, FPGA, DSP
AVR
PIC
ARM, RISC-V
Технологии
Кибернетика, автоматика, протоколы
Схемы, платы, компоненты
0xFF
690168
Топик полностью
Evgeny_CD
Архитектор
(29.07.2016 11:45, просмотров: 80)
ответил
SciFi
на
Вот где годное курево: "Доказательство abc-гипотезы, представленное Мотидзуки в 2012-м, занимает более 500 страниц текста, а понять и проверить его способно небольшое число математиков. У эксперта может уйти до 500 часов работы для понимания
Доказательство конечности числа базовых групп в теории групп куда более объемное, его вообще только компьютер может проверить.
Ответить
Если доказательство большое, и его читает компьютер, а не человек, то это не доказательство, а спам :-)
-
SciFi
(29.07.2016 11:48
)
->
-
Evgeny_CD
(29.07.2016 12:06
,
ссылка
)