главная форум чат фотогалерея ресурсы новости календарь игротека поиск почта


Страницы: (665) « Первая ... 367 368 369 370 371 372 373 374 375 376 377 378 [379] 380 381 382 383 384 385 386 387 388 389 390 391 ...  Последняя » ( Перейти к первому непрочитанному сообщению ) ответить | новая тема | опрос

> Религия [часть 3], Продолжение
циник
посетители



QUOTE (Kirio @ 03.01.13 - 21:32)

Я жду - пока один из самых сильных выйдет на контакт


типа альфа-самца ждёшь?
Что-то ты самоуничижаешься...
03.01.13 - 20:49 #5364719
Kirio
спортсмен
отклоненные



циник

я тебя буду называть ценник

======

и может там вовсе не самец?

======

ты же не знаешь :o

или знаешь? :o :o :o
03.01.13 - 20:53 #5364726
Cadillac
отклоненные



http://www.youtube.com/watch?v=bXVeSvcvK4s&NR
мультик пра Кирио
03.01.13 - 20:57 #5364731
Kirio
спортсмен
отклоненные



На какой минуте он сейчас идет? :D
03.01.13 - 21:06 #5364743
demidrol
посетители



Кадлак и киро уже засадили друг другу от этой новости в масках ящуроф или инопланетян?
04.01.13 - 00:13 #5364882
onehalf3554
инквизитор
свои пацаны



мне было интересно. Ещё дядька Гёдель вроде доказал теорему о неполноте.
Завтре буду почитать.
http://elementy.ru/lib/430446
04.01.13 - 21:23 #5365945
Гурий Уц
свои пацаны



QUOTE (onehalf3554 @ 04.01.13 - 18:23)
Ещё дядька Гёдель вроде доказал теорему о неполноте.

Он ее и сформулировал ваащета :)
А еще он доказал, что Конституция США - говно.
04.01.13 - 21:26 #5365949
onehalf3554
инквизитор
свои пацаны



QUOTE (Гурий Уц @ 04.01.13 - 18:26)
QUOTE (onehalf3554 @ 04.01.13 - 18:23)
Ещё дядька Гёдель вроде доказал теорему о неполноте.

Он ее и сформулировал ваащета :)
А еще он доказал, что Конституция США - говно.

х.з. про конституцию США многие вроде доказывали B)
04.01.13 - 21:41 #5365971
Гурий Уц
свои пацаны



QUOTE (onehalf3554 @ 04.01.13 - 18:41)
х.з. про конституцию США многие вроде доказывали B)

Там очень интересная история.

QUOTE
Как исторический курьез выглядит история из жизни Курта Геделя, величайшего логика всех времен, который математически доказал, что невозможно полностью формализовать человеческое мышление и что в содержательных формальных системах имеются предложения, которые одновременно недоказуемы и неопровержимы. Уроженец Вены, Гедель эмигрировал в США в 1940 г., спасаясь от нацистов. В 1948 г. он подал документы на получение американского гражданства, а его поручителями стали старые друзья Альберт Эйнштейн и Оскар Моргенштерн. Поскольку ему предстояло что-то вроде устного экзамена на гражданство, Гедель, будучи человеком обстоятельным и педантичным, проштудировал Конституцию США и обнаружил там возможность легко и абсолютно законно трансформировать демократию в стране в диктатуру. Эйнштейн, узнав об этом, настоятельно рекомендовал другу воздержаться от того, чтобы делиться этими мыслями с судьей, который будет проводить собеседование, но математик не сдержался. К счастью, то ли судья не принял эти слова всерьез, то ли поручителям удалось замять ситуацию, но Гедель благополучно получил американский паспорт. Хуже, что никто тогда не удосужился узнать, в чем состояла замеченная ученым логическая ошибка.

:)
04.01.13 - 21:57 #5366007
Cadillac
отклоненные



Ох уж эти роботы, бл.

Один сгенерировал конституцию, а другой хотел воспользоваться.
Не учли "человеческий фактор" - тупо лень.
04.01.13 - 22:01 #5366021
Kirio
спортсмен
отклоненные



биороботы кефали

рабы пришельцев <_<

Кадиллак - проститутка
05.01.13 - 03:44 #5366302
mr1
посетители



QUOTE (onehalf3554 @ 04.01.13 - 22:23)
мне было интересно. Ещё дядька Гёдель вроде доказал теорему о неполноте.
Завтре буду почитать.
http://elementy.ru/lib/430446

Халф, сей бред для Гурия:
QUOTE
… обретение новой картины сложного мира в нашей стране происходило с огромным трудом. Господствовавшая семь десятилетий идеология тяготела к детерминизму лапласовского типа как философии всеобщего авторитарного порядка. …мечты, никогда не покидавшей правящую советскую бюрократию, об обществе-фабрике, управляемой жесткими законами иерархии. И поэтому всякий раз, как речь заходила о сложности, плюрализме, разнообразии, будь то теория относительности, квантовая механика, генетика, кибернетика, социологические исследования, психоанализ и т. д., — сразу включался механизм идеологической цензуры, который имел своей целью изгнать все упоминания о свободе и из природы, и из общества.
…Курт Гёдель и его великие современники заставили нас по-новому взглянуть … на нравственный закон внутри наc…

Теорема Геделя не об этом. И вовсе идеологической цензуре не подвергалась она. В детстве книги серии «Популярные лекции по математике” мои любимые были. Гурия только обделили.
(IMG:http://s08.radikal.ru/i181/1301/e3/e3c9bd8c3520.jpg)
Вот здесь прочитать доказательство можешь:
Выпуск 57
QUOTE
…теорема Гёделя могла бы излагаться на самых младших курсах. Более того, для понимания доказательства необходимо лишь знакомство с простейшей терминологией теории множеств (словами «множество», «функция», «область определения» и тому подобными) и некоторая привычка к восприятию математических рассуждений, так что оно вполне доступно подготовленному школьнику.
Излагаемый в этой брошюре способ доказательства теоремы Гёделя отличен от способа, предложенного самим Гёделем, и опирается на элементарные понятия теории алгоритмов.

Ты, программист, вроде, тебе понравится. Во всяком случае не останется никакой мистики вокруг этой теоремы.
05.01.13 - 11:56 #5366521
onehalf3554
инквизитор
свои пацаны



QUOTE (mr1 @ 05.01.13 - 08:56)
QUOTE (onehalf3554 @ 04.01.13 - 22:23)
мне было интересно. Ещё дядька Гёдель вроде доказал теорему о неполноте.
Завтре буду почитать.
http://elementy.ru/lib/430446

Халф, сей бред для Гурия:
QUOTE
… обретение новой картины сложного мира в нашей стране происходило с огромным трудом. Господствовавшая семь десятилетий идеология тяготела к детерминизму лапласовского типа как философии всеобщего авторитарного порядка. …мечты, никогда не покидавшей правящую советскую бюрократию, об обществе-фабрике, управляемой жесткими законами иерархии. И поэтому всякий раз, как речь заходила о сложности, плюрализме, разнообразии, будь то теория относительности, квантовая механика, генетика, кибернетика, социологические исследования, психоанализ и т. д., — сразу включался механизм идеологической цензуры, который имел своей целью изгнать все упоминания о свободе и из природы, и из общества.
…Курт Гёдель и его великие современники заставили нас по-новому взглянуть … на нравственный закон внутри наc…

Теорема Геделя не об этом. И вовсе идеологической цензуре не подвергалась она. В детстве книги серии «Популярные лекции по математике” мои любимые были. Гурия только обделили.
(IMG:http://s08.radikal.ru/i181/1301/e3/e3c9bd8c3520.jpg)
Вот здесь прочитать доказательство можешь:
Выпуск 57
QUOTE
…теорема Гёделя могла бы излагаться на самых младших курсах. Более того, для понимания доказательства необходимо лишь знакомство с простейшей терминологией теории множеств (словами «множество», «функция», «область определения» и тому подобными) и некоторая привычка к восприятию математических рассуждений, так что оно вполне доступно подготовленному школьнику.
Излагаемый в этой брошюре способ доказательства теоремы Гёделя отличен от способа, предложенного самим Гёделем, и опирается на элементарные понятия теории алгоритмов.

Ты, программист, вроде, тебе понравится. Во всяком случае не останется никакой мистики вокруг этой теоремы.

Пасиб за сцылку но я уже скачал для своей еьуки большую книгу про эту теорему,
я о ней и раньше знал, но никак не связывал её с машиной Тьюринга,
однако дядька Стивенсон тки связал в своём романе:
http://lib.ru/INOFANT/STEFENSON/cryptonomicon.txt
Всёравно огроменное спасибо:)
05.01.13 - 12:06 #5366528
Гурий Уц
свои пацаны



QUOTE (mr1 @ 05.01.13 - 08:56)
Теорема Геделя не об этом.

Да ладно.

QUOTE
Всякая достаточно сильная рекурсивно аксиоматизируемая непротиворечивая теория первого порядка неполна.


Жги дальше.
05.01.13 - 12:11 #5366534
Cadillac
отклоненные



фуфлецом поплёвываете, господа-с.

Я верю в силу прорастающщих колосьев

и вам не заплевать полы под моим шконарём
05.01.13 - 18:57 #5367243
onehalf3554
инквизитор
свои пацаны



QUOTE (Cadillac @ 05.01.13 - 15:57)
фуфлецом поплёвываете, господа-с.

Я верю в силу прорастающщих колосьев

и вам не заплевать полы под моим шконарём

Шота тебя кади на тюремную романтику потянуло?? :o

2mr1 просто чудесная бблиотека. Слушай а пчиму мне не попадались такие книги в 90-ых??
И в библиотеке тоже их небыло? Правда я наверное незнал что искать и что спрашивать я
ведь не знал что ткое теорема Гёделя. я ток знал пару тройку простейших языков программирования в детстве и всё gw basic и focal пытался найти компилятор forth(но по почте мне не прислали кассету с ним и утилитами для него).
05.01.13 - 19:25 #5367305
Cadillac
отклоненные



Буду "палитическим" скоро.
Тренируюсь, привыкаю.

А потом и вы подтянетесь.
Тут я вас, атеистов, и априходую.
05.01.13 - 19:28 #5367314
Багира1402
посетители



QUOTE
Тут я вас, атеистов, и априходую.

И как?
05.01.13 - 19:33 #5367330
Kirio
спортсмен
отклоненные



Кадиллак - разработка чья то <_<

он Петя Листерман :angry:
05.01.13 - 20:33 #5367432
Lost_Stranger
автофорумцы



09.01.13 - 07:36 #5371731
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:

Topic OptionsСтраницы: (665) « Первая ... 367 368 369 370 371 372 373 374 375 376 377 378 [379] 380 381 382 383 384 385 386 387 388 389 390 391 ...  Последняя » ответить | новая тема | опрос