Черненне Изчерните сторонку-ту да тыкните «Сохоронить». Докувики-синтаксис гля справке, index гля тесованню Излюб меддястопы FIXME **Ета сторонка ешшо не изтолмачена начисто дык. Будьте добреньки, подсобите свершыть толмачку-ту.**\\ //(Зашоркате ету сказку по свершенню толмачесва-то.)// == Freefall 2820 == **Блины - всегда хорошая идея**\\ [!0.987]2016-06-06 {cnav} {{cotan>2820.png}} @9,19,291,101 # ~ @109,57,205,20 # ~ @69,10,20,20 # ~ @5,18,288,128 [sam]Что думаешь насчёт всех этих роботов? Людям есть что терять. Эти ребята станут делать вещи, которые вы не только не понимаете, но даже не сможете понять. ~ @8,346,269,121 # ~ @130,374,212,21 # ~ @4,348,264,150 [mad]Они делают это с 2014-го. Сгенерированные компьютером математические доказательства слишком велики, чтобы люди могли их проверить. С некоторого момента ты должен либо доверять машинам, либо воздерживаться от них. ~ @6,648,321,119 # ~ @126,671,275,20 # ~ @2,651,313,144 [sam]Сначала это было понятие семьи, потом они показывают мне, что если не можешь довериться тому, чего ты не понимаешь, перед тобой встанет жёсткий барьер на пути дальнейшего прогресса. Мне нравятся эти инопланетяне, но у меня от них то и дело голова раскалывается. ~ {{<cotan}} Примеры:\\ Февраль 2014: для задачи несоответствия Эрдёша [[http://www.computerra.ru/95029/the-evidence-which-validity-a-human-can-not-check/|сгенерирован файл размером 13 ГБ]].\\ Май 2016: [[https://geektimes.ru/post/276468/|200 ТБ решение]] проблемы Булевых пифагоровых троек.\\ P.S.: Роман Льва Николаевича Толстого "[[ruw>Война и мир]]" примерно в 1900 страниц занимает всего лишь около 3 МБ. Continue editing after saving Name of this site, english, lowcase only Please keep this field empty: Сохоронить Прозыр Отменить Сводка ментовков Примечанее: чернюючи ету сторонку, вы соголоситеся на корыстованне свово вложа на выговорах следской правшни: CC Attribution-Noncommercial-Share Alike 4.0 International