Йа онотоле, или Гёдель и крионика

[darth_vasya]

Наткнулся тут в очередной раз на тезис о том, что нельзя выдвигать возражений тезису "крионика невозможна" на основании того, что а ты пойди и докажи, что невозможна. Да, с точки зрения современных технологий делать прогнозы о том, что будет через 100 лет, всё равно, что пытаться предсказать появление, скажем, Wolfram Alpha, находясь в 1909 году. Тем не менее, из невозможности доказать утверждение "крионика невозможна" (а его доказать, разумеется, принципиально невозможно), ещё не следует истинность "крионика возможна": а вдруг это всё-таки одно из тех "диагональных" утверждений?

P.S. Онотоле, кстати, абсолютно трагически зафейлил тогда своё "пятое доказательство"... :(

Comments

[ruslan-lv.livejournal.com]

возможна, иначе у меня нет смысла жизни =)

[darth-vasya.livejournal.com]

это такой "утилитарный" вариант, что типа если нет, то палюбасы нам всем хана. у меня так с нанотехом а-ля Дрекслер :)

[ruslan-lv.livejournal.com]

может в киборги податься?

[darth-vasya.livejournal.com]

а что, уже пора ??

[ruslan-lv.livejournal.com]

ага, экзоскелеты уже изготовлены (нормально работающие прототипы)

[darth-vasya.livejournal.com]

экзосклеты фигня, мне бы протез гипоталамуса, например, для начала...

[ruslan-lv.livejournal.com]

эээ.... чиповать мозг надумал?

[darth-vasya.livejournal.com]

ну или чё там нужно для нормального джейлбрейка

[ruslan-lv.livejournal.com]

вот искусственные сердце, почки, печень - это круто, можно есть/пить всё что хочешь + фильтры в лёгких, также усиленный скелет и мышцы.

Для джейлбрейка достаточно ускорить скорость передачи сигналов. А то "пинг" большой.

[immortaz.livejournal.com]

Про JailBrake спроси у Карнаухова, а про "Доказательство крионики" частично согласен. гораздо продуктивнее доказывать возможность успешного проведения следующей серии экспериментов, чем конечный результат с неизвестными сроками

Неоднозначность

[upwinger.livejournal.com]

Многое зависит от того смысла, который мы вкладываем в "Крионика возможна". Это может обозначать:

1. К. возможна технически - т. е., существует последовательность действий, которая приведёт к успешному криовосстановлению;
2. К. возможна в будущем - такая последовательность существует, но сегодня недостижима;
3. К. возможна потенциально - т. е., мы не знаем, существует ли такая последовательность, возможно, и существует;
и т. д.

Также:

а. Возможно успешное восстановление всех ныне криостатированных пациентов;
б. -//- некоторых (правильно криостазированных) -//-
в. -//- криостазированных правильными, но пока неизвестными методами -//-
и др.

Отдельную многозначность добавляет вопрос о том, что такое успешное восстановление - напр., с какой точностью?

В общем, пока это скорее предмет fuzzy logic.

[darth-vasya.livejournal.com]

Вообще, когда в разговоре про что-либо, кроме арифметики целых чисел или эквивалентных ей символьных систем, используется reductio ad Gödelum, дискуссия неизменно приобретает некоторое количество fuzziness :)

[upwinger.livejournal.com]

Интересно, а есть обобщения теоремы Гёделя на fuzzy logic?

[darth-vasya.livejournal.com]

Цитата: "Интересно, что даже теория действительных чисел не попадает под понятие фундаментальной арифметики, хотя натуральные числа и являются подмножеством действительных. В теории действительных чисел нельзя говорить о натуральных — внутри теории они никак не выделяются, «ничем не отличаются» от других, нецелых чисел. Поэтому даже такой «близкой» теоретической системе, как действительная математика, теорема Геделя не запрещает быть одновременно полной и непротиворечивой. Она и в самом деле одновременно и полна, и непротиворечива." http://fregimus.livejournal.com/82506.html