Гарри Поттер и Методы Рационального Мышления (джен)

О, резонанс пошел :) Ну я впрочем, упомянул задачку с умыслом -- подумал, что тут публика может с одной стороны заинтересоваться, с другой чего интересного сказать.

И да, забавная вышла игра слов с рациональной точкой. Имелась в виду, конечно, вещественная не иррациональная.

> смотреть, возможно ли определить понятие "вероятность" для данной задачи, что оно будет значит и как вычисляться
Ну тут да, постановка задачи -- часть задачи. Интуитивно-то понятно, что мы делаем: как-то "равновероятно" выбираем счетное число рациональных чисел от 0 до 1 и хотим узнать, какова вероятность, что хоть раз выбрали 1/2. А формально-то да, нужно понять, какая мера тут вообще будет, а потом собственно посчитать, или сказать, что множество неизмеримое получается.

> По-моему, задача некорректна.
Ну такой исход тоже требует доказательства или хотя бы какого-то в той или иной мере строго объяснения.
> Фраза "каждую сломать в рациональной точке" не задаёт "распределение" сломов.
Интуитивно задает, формально задать -- часть задачи :)
А вот каков вывод из Вашего дальнейшего рассуждения, я что-то не совсем понял.

Вообще, веселая вещь - математика же. Сегодня вот вроде разобрались как такое могло сложиться, что вот есть модель теории множеств, в которой всех множеств всего счетное число, но при этом в этой теории прямо есть аксиома, что есть множество счетного размера, а еще аксиома, что у всех множеств есть множество подмножеств, а еще есть же диагональ Кантора, которая доказывает, что множество подмножеств счетного более, чем счетно.

Добавлено 15.02.2013 - 21:50:
А вот со спичками так и не разобрались :(

>> А вот каков вывод из Вашего дальнейшего рассуждения, я что-то не совсем понял.

Если у нас "равномерное рациональное распределение" - т.е. мы с равной вероятностью попадаем в любую рациональную точку и никогда не попадаем в иррациональную, то мы получаем следующее. Множество спичек - счетное по условию. Множество рациональных точек на отрезке - тоже счетное. Т.е. множества равномощны и мы можем установить взаимооднозначное соответствие между точками и спичками. Таким образом какой-то спичке обязательно будет соответствовать точка 1/2. Поэтому вероятность равна единице.

madness, хихикс, а Сенектутем имел в виду таки математику! *показывает язык* :)

А вот и 64-ая :)

Jack Dilindjer, ога, пошёл читать, переводчикам и иже с ними - сенкс.

Добавлено 16.02.2013 - 05:42:
"Такой вещи не существует, {антиспойлерная цензура}. Вселенная не подчиняется математическим законам." - жестоко.
"{антиспойлерная цензура} 40К" - это намёк на вархаммер 40К?
"ИМЯ РАЦИОНАЛЬНОСТИ", "ГРОМОВЫЕ УМНИКИ", "СУДЬБА/НОЧЬ РАЗУМА" - это к каким произведениям? А то я в классике не смыслю. Вообще же, по Наруто, по ВК и Поням (о них только слышал, но сам факт, что смелости автора хватило на _это_...).

Интересно, что чувствовали переводчики, когда читали эту жесть?

Переводчики чувствовали себя отлично :)

Да, 64-ю главу я читала с квадратными глазами)
В новой 65-й мнение Гарри о Хагриде расстроило, мог бы и согласиться на предложение Минервы

---"СУДЬБА/НОЧЬ РАЗУМА

Ну как же. Fate|Stay Night. UNLIMITED BLADE WORKS!

---мнение Гарри о Хагриде расстроило, мог бы и согласиться на предложение Минервы

Но, ради всего святого, _зачем_? Хагрид тупее, чем мои ботинки.

Матемаг, да я тоже в общем-то имела в виду математику. Только расчеты с реальной спичкой куда сложнее и требуют подготовки. Было бы интересно.

>>"Такой вещи не существует, {антиспойлерная цензура}. Вселенная не подчиняется математическим законам." - жестоко.

Но это правда - именно математика должна подчиняться законам Вселенной, а не наоборот. Математика пока очень далека от реальности, на мой взгляд. Парадоксы - доказательство тому. Просто людям своим примитивным сознанием очень сложно познавать объективную реальность, которая может существенно отличаться от той, которую мы осознаем.На мой взгляд, познанная людьми реальность - часть объективно существующей. Причем где-то глав двадцать назад мне показалось,, что у автора именно эта мысль одна из ключевых.
Н-да, я бы тоже надела бы колечко, чтобы узнать ответы на свои вопросы.

Матемаг
"ИМЯ РАЦИОНАЛЬНОСТИ", "ГРОМОВЫЕ УМНИКИ",

Имя ветра (The Name Of The Wind) и Громовые коты (ThunderCats). Первое современное фентези, второе малоизвестный в России мультик

Добавлено 16.02.2013 - 12:30:
"о Хагриде расстроило, мог бы и согласиться на предложение Минервы"

Хм, ну Хагрид некоторых раздражает как персонаж.

Внезапный отголосок "Хроник убийцы королей" приятно удивил. Властелин Колец - шикарно. Да и вообще все зарисовки.
Несбыточная мечта: вот бы прочитать такие фанфики.

Дико ржал над пародией на fate/stay night и над "поля слишком малы..." :). А вообще, после прочтения 64 главы я понял, что зашел слишком далеко по пути сомнения и никогда уже не смогу быть рационалистом...
Да, и на счёт Наруто автор не прав - теневые клоны не требуют вычислительной мощности, они её наоборот повышают :). Правда этим они, как я понял, отличаются от любого другого вида клонов. Так что формально рассуждения Сакуры можно признать верными, но исходящими из неверных предпосылок - она просто не знает об этой особенности теневых клонов.

немного смущает сокращение "СТЭ", которое также обозначает "синтетическая теория эволюции" :)

Samius, дык рационалисты тоже сомневаются и не во всем могут быть уверены. Рациональность как раз таки вырастает из сомнений.

Lucinda, ну многие аббревиатуры имеют несколько значений.

ТёмныйСвет, понимаете, даже рационалисты не сомневаются в верности законов логики. Иначе рациональность просто лишена смысла. Ведь доказать их можно только пользуясь ими же... Да и вообще, само понятие доказательства имеет смысл не при любых законах логики.

Samius, какой логики? Формальной или какой-то другой?

Вы почитайте работы авторы по рациональность отдельно http://lesswrong.ru

Потому что в данном случае рациональность базируется не только на логике.

Добавлено 16.02.2013 - 13:39:
"Ведь доказать их можно только пользуясь ими же... Да и вообще, доказательство имеет смысл только при использовании наших законов логики. "
Доказывать можено и эмпирическим путем. Логика лишь самая малая часть призваная для порядка.

Рациональность базируется на том, что можно сказать про какое-то простейшее утверждение, что оно истинно или ложно. Но действительно ли это можно сделать?

Samius, подход Юдковского к рациональности несколько другой и не сводится только к определению истиности или ложности утвержения. Все намного и сложее. Основная направлевность на то чтобы убрать баги мышления.

>Доказывать можено и эмпирическим путем. Логика лишь самая малая часть призваная для порядка.
Эмпирическим путём невозможно что либо доказать. В принципе. Ну, кроме самой возможности того, что всё пойдёт так, как было показано.

Samius, рациональность, как и логика, относительна. Если существует абсолютная рациональность или абсолютно непротиворечивая логика, сообщите, пожалуйста, а то у меня тоже сомнения. Причем чем дальше, тем больше. Парадокс.