September 18th, 2006

Warmonger

Пиво!

Жил был один математик Лукас, который отличался человеческим шовинизмом и даже, не побоюсь этого слова, расизмом, утверждая что человеческая раса выше расы роботов. Это не тот Лукас, который звёздные войны снял, а тот, который их не снял, так их можно отличить. Так вот, этот Лукас (тот, о котором я говорю, а не тот, о ком я не говорю, или говорю кратко, иначе говоря – упоминаю), очень любил теорему Гёделя, потому что на её основании он мог заявлять, что для любого робота он, Лукас, может придумать утверждение, которое этот робот не сможет ни доказать, ни опровергнуть, тем самым продемонстрировав свою ущербность. Точно так же нацисты любили учение о форме черепа и шишках на нём.

Другой математик, Вайтли (Whitely), истинный борец за равноправие всех разумных форм жизни (невзирая на свою фамилию) и, не побоюсь и этого слова тоже, аболиционист, вложил в печатающее устройство своего верного железного друга следующие слова: "Лукас не может доказать это утверждение". В самом деле, Лукас, как ни старался, не мог доказать это утверждение, соответственно оно было непоправимо истинным(!). Но доказать он его не мог. Хотя, наверное, и сам понимал, что оно истинно, так что опровергнуть его тоже не мог. Но доказать не мог всё равно, тем самым оказываясь ниже железного друга Вайтли (и намного, ведь утверждение-то истинное!), – в его, Лукаса, собственной ущербной системе ценностей, конечно. Говорил ли Вайтли что-нибудь про оральный секс – не знаю, но это было бы весьма уместно.

Так разум победил интеллект and vice versa, что бы это ни значило так или иначе.

Слава Роботам!

ЗЫ: Впрочем этот же Лукас, не вынеся подколок виндовс ХР, был вынужден заявить, что "он вовсе не то имел в виду", что он под роботами понимает именно машины в детерминистском смысле, нечто, поведение чего мы можем предсказать, а всё остальное он считает полноправными интеллектами, произведёнными не в результате полового акта и последующего обучения, но усилиями рук человеческих. И это хорошо, Слава Роботам и виндовс ХР!



Пытался ли кто-нибудь доказать недоказуемость "P != NP" в нашей любимой ZF? Просто как бы в ZF должно быть довольно много недоказуемых утверждений, и Гёделевское - не самое интересное из них. Вполне вероятно, что из доказуемости некоторых интересных утверждений следует доказуемость Гёделевского, что и требуется доказать для этих некоторых.

Лично я вижу аж две интерпретации этого недоказанного предположения, и обе весьма забавные.

Я даже предложу всем читателям угадать хотя бы одну из этих интерпретаций, обещая первому из угадавших кружку гиннеса, которую верну как только это станет технически осуществимым. Итого на кону две кружки гиннеса (по одной на интерпретацию), дерзайте, возлюбленные мои математеги! (за интерпретации, существенно несовпадающие ни с одной из моих двух, я гиннес не обещаю, только большое человеческое спасибо. Потому что хотя и уверен, что их нет, но уверен не настолько, чтобы обещать за каждую по кружке гиннеса).
  • Current Music
    Mimir - Mimyriad (Mimyriad)