Ключевое слово
07 | 12 | 2019
Новости Библиотеки
Шахматы Онлайн
Welcome, Guest
Username: Password: Remember me

TOPIC: Пустили инфолиократа в САД

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 25 Нояб 2019 16:29 #241

  • инфолиократ
  • инфолиократ's Avatar
Хайдук wrote:
Vladimirovich wrote:
Недоказуемость может быть определена строго формально. Указанный набор схем не позволяет преобразовать НИ одно из уже доказанных знакосочетаний в указанное.
безусловно, и способ построения Гёделева предложения это доказывает :yess:

Vladimirovich wrote:
Проблема логическая в том, что если мы будем априори утверждать свою собственную недоказуемость, то это выходит некий логический парадокс, если мы не собираемся доказывать нечто от противного
парадокса как-то не вижу :unsure: , наверно Гёдель усилиями пришёл (что равно доказательству невыводимости) к своему предложению, а НЕ с самого начала априори объявил его :idea:

тут важно будет добавить, что у предложения Гёделя "я недоказуемо" два (!) смысла: мета-смысл 1. тот, что само оно НЕ доказуемо/выводимо, и чисто арифметический смысл (!) 2. тривиально и очевидно верное типа 2+2=4 арифметическое предложение, хоть и длинное, запутанное и как-то искусственное и неинтересное :O

как раз последнее и поражает воображение: с лёгкой руки Гёделя мы можем производить бесчисленно много (не уверен счётно или несчётно много) тривиальных, но тем не менее недоказуемых арифметических фактов, а вот на подобные (то бишь верные, но недоказуемые) НЕтривиальные и реально интересные утверждения как теоремы Рамсея, Гудстейна и многие другие почему-то указать ... нельзя-с :O ; в этом порядке нельзя исключить (хоть вряд ли), что недоказуемыми (хотя бы в Пеано) могут оказаться любые нерешенные пока проблемы как таковые Римана, простых-близняшек и пр. :tired:

В интернете стало модным вести диалог СМАЙЛАМИ, типа
, что даже МАТчайникам вполне доступно (но ленивым - фактически НЕТ).

С учетом того, что
это выходит некий логический парадокс, если мы не собираемся доказывать нечто от противного
, предполагал, полагаю и ХОЧЕТСЯ утверждать (неплохая инфолиотроЯкость сслучайно почти получилась), что ЛЮБАЯ истина в пределах вселенсконатурального числа
дожна быть или/и
может быть
доказуемой не только прямым (типа индукции), но и от обратного и даже ЕЩЕ пока неизвестным способом. Ну что это за ИСТИНА, если ее доказуемовть зависит
от тчк зрения (направления),
от УКАЗА начальства,
рт желания доказывающего?
З павагай да неабыякавых

Блоги - СМИ 21 века 25 Нояб 2019 20:27 #242

  • инфолиократ
  • инфолиократ's Avatar
Друинна wrote:
borisakunin.livejournal.com/85886.html
Загадка чудовища
Такая концовка как там:
Всех убитых так и не опознали

Есть что-то тошнотворно нечеловеческое в обстоятельности, с которой Белль провернула свое исчезновение. Главный трюк, конечно, заключался в смерти детей. Ну кому пришло бы в голову, что их умертвила собственная мать? Если б Ламфер перед смертью не разоткровенничался, никто так никогда и не узнал бы, что истинная убийца – Белль и что она жива. В любом случае Белль всех облапошила, вышла сухой из воды. Очень возможно, что где-то в другом месте, под другим именем, она нашла новое применение своим талантам – и тоже безнаказанно, раз не угодила в историю криминалистики.
Но самая главная загадка, которая не дает мне как писателю покоя – душевное устройство абсолютного чудовища. У меня не хватает воображения представить внутренний мир Белль Ганнесс. Хотя скорее всего, он был прост и скучен, как анатомия какой-нибудь бациллы.
Иногда очень хочется, чтобы ад существовал, правда?
Если написать из цитаты друг за другом ГЛАВНЫЕ СЛОВОСОЧЕТНИЯ на мой субъективный троякоинфовзгляд типа:
Главный трюк, конечно,...
самая главная загадка,...
Иногда очень хочется,...

и вспомнить что началось в СССР после заявления что НАЦИОНАЛЬНЫЙ ВОПРОС решен а СОЦИАЛИЗМ построен полностью и окончательно, и вспомнить в постСССРовских странах строится после того как социализм победил полностью и окончательно, а также ГДАВНЫЕ ДОСТИЖЕНИЯ цивилизации в мире коммунизма фашизма и фундаментализма, основанные на доказательствах обоснованиях и верованиях, на фанатизме, героизме и патриотизме, то даже ёжику станет понятно, что человечное и человеческое или даже обыкновенная забота о потомстве в животном мире обязаны исчезать (уничтожаться), уступать (переиначиваться в ГУЛАГах) и НЕ УПОМИНАТЬСЯ ДАЖЕ (везде, кроме психбольниц)
1.во имя идеи (теории марксизма-ленинизма-сталинизма, перманентной революции, союзов... ),
2.с целью построения материально-технической базы, финансовых накоплений, прироста территорий,
3.не удовольствия для а справедливости ради (яко бы), определяемой свыше, законами а не понятиями, которые трактуются ТАК КАК НАДО.
З павагай да неабыякавых
ЗЫ, А по телику сейчас "чтобы наш регион стал оазисом мира..."

Опрос. Является ли математика эмпирической наукой? (2) 26 Нояб 2019 09:50 #243

  • инфолиократ
  • инфолиократ's Avatar
Vladimirovich wrote:
Andralex wrote:
Что "философия математики", что "математика философии" - нет разницы, это читалось бы одинаково. :P
Напротив, это абсолютно разные вещи.

Математика философии - это формальное описание любой философской теории
Как правило, оказывается, что с математической точки зрения философия есть некая бурда из банальностей, кучи ярлыков и бреда

Пример Предисловие к Витгенштейну quantoforum.ru/history/111-yavlyaetsya-l...j-2?start=240#153492

Философия математики же - это жалкие попытки людей, ничего в математике не понимающих, объяснить комплекс своих ощущений от нее
Обычно это предмет интересов психотерапевта или психиатра

:beer:
Где третье:
философия о
философствовании
филсофствующих

ученых
НИИ
паразитах?
То, что есть философия, философские школы и философы (в соответствии с математикой философии и философией математики можно доказать или сочинить), с учетом вышеНИЖЕприведенной цитаты может быть
истинным или
не истинным, и, самое главное-
ПОКА. (Что будет потом - покажут докажут науки или вычислят суперкомпы, т.е. как Богу угодно так и будет.)
Так вот всякая философия начинается с
А. Требования того, чтобы теория J была эгалитарной ( логической и кванторной)
Это позволяет нам делать силлогизмы
- Пиррон выпил бутылку
- В бутылке был портвейн
Вывод: Пиррон пил портвейн
Б. Установления базовых термов философии и аксиом соответствия.

Первым базовым термом философии является объект.
Вообще говоря, его одного нельзя сопоставить ни с чем в математике, ибо он слишком абстрактен.

Что такое определение - это установление неких соотношений. которые
1. для данного терма справедливы.
2. Могут отличить его от другого терма.

Если мы определим ворону как существо с двумя ногами, умеющее летать, то это отличит его от страуса, но не отличит от орла
Добавление черная птица тоже не слишком поможет. Только после многих уточнений мы сможем добраться до биологического определения Corvus corone

Так вот, пока не ни одного соотношения, идентифицирующего терм, он бессмысленен.
Смысл появится например, если мы скажем, объект - это элемент некоего множества. а U , где U некий Универсум, Бытие, Мир.
Так как сабж учитывает математику и ОПЫТ, а пора ехать накануне года мыши-крысы кормить приблудившуюся собаку перед годом собаки, то обозначив третье утверждение буквой С
Первым базовым термом философии является объект.
Вообще говоря, его одного нельзя сопоставить ни с чем в математике, ибо он слишком абстрактен.

я тут же с учетом вселенсконатурального и всеобщности 1арифметики (с только одной цифрой), покритикуйте, ув. КФорумчане, почему по состоянию на сегодня при моделировании чего угодно, в данном случае если мы скажем, объект - это элемент некоего множества. а U , где U некий Универсум, Бытие, Мир или любое НЕВЫСКАЗАННОЕ что-то может быть
обозначено
промоделировано
1(единицей)?

Да, а то что
Я не понял, почему процесс продолжается бесконечно?
Посмотрел книжку самого Литлвуда "Математическая смесь", 1973, стр. 15.
бесконечность в любой КОНЕЧНОСТИ зависит от того, кто, какой и как осуществляет процесс - это тоже аксиома. З павагай да неабыякавых

Пустили инфолиократа в САД 26 Нояб 2019 19:50 #244

  • инфолиократ
  • инфолиократ's Avatar
См. выше:
А.
...
Б.
...
С.
Первым базовым термом философии является объект.
Вообще говоря, его одного нельзя сопоставить ни с чем в математике, ибо он слишком абстрактен.
1 предмет при моделировании чего угодно может обозначить моделируемое количественно точно...

Да уж. Забыл вспомнить что тут в магазинах встречается хрен АВС
З павагай да неабыякавых

Пустили инфолиократа в САД 28 Нояб 2019 10:22 #245

  • инфолиократ
  • инфолиократ's Avatar
В третий раз: понял, принял, переделаюсь. (Прошу простить великодушно, ув. ГИ, три дня ИЛИ до очередного нового анекдота по сабж, пусть сие тут побудет, если можно и не будет претензий от других).
Просто вспомнил, как глубоконаучноюмористично (и на КФ тоже) обсуждался видеоролик о том, что когда дамочка прыгала со скакалкой то на ее 1 прыжок с двумя обортами скакалки ее сиськи подпрыгивали 2 раза на каждый прыжок... (и также см. пост 138 - 140: про кошку, биологию и лошадинный зад в ракетостроении)
Это ТОЧНО.
Объективно:
Vladimirovich wrote:
bash.im/quote/451494
enemydoe: я тут недавно двум теткам под подьездом обьяснял что солнечный свет — это электромагнитное излучение... теперь я местный наркоман
registr: enemydoe, они придерживаются теории частиц
Позвольте отметить и третье:
(широкоизвестный в определенных кругах термин) Праноеды.
60-летний химик, отец троих детей из германского города Брюнсвик, господин Вернер гордится тем, что принадлежит к редкой категории людей - солнцеедов. По его словам, ему не нужна пища.
Он получает энергию непосредственно от Солнца и из воздуха. Иногда он может выпить чашечку кофе или стакан сока. Даже бокал вина. И - все!
1.Целиком и полностью полагаясь на ваше усмотрение:
не совать инфолиократность, троякость, вселенсконатуральность и пр. во все места без всякой связи, с кучей фантазий (особенно при комментировании анекдотов),
2. в ТРЕТИЙ раз пообещать (понимая, стараюсь, буду пытаться) соблюдать регламент КФ.
3. Предполагая что инфолиотроякость заразна,
учитывая искреннее раскаяние и
корреляцию сабж (научных анекдотов 188 Replies / 10351 Views/ авторов ) и инфо в саду (243
Replies/11338 Views/9) что ув. Самоед может подтвердить ТОЧНО, прошу разрешить сказать тут спасибо за ТРИ варианта любви и счетного числа вариантов котофилии (см.выше, предыдущую страницу), что и подвигло порассуждать о маятнике не по назначению, как о применении клея БФ-6 . З павагай да неабыякавых КФ (читателей и почитателей. Если в школе или где-то к 70-летию будет организована встреча, обязательно КФ похвастаюсь всякими темами).

Пустили инфолиократа в САД 01 Дек 2019 16:03 #246

  • инфолиократ
  • инфолиократ's Avatar
инфолиократ wrote:
Warning: Spoiler! [ Click to expand ]

Если бы газ России в Беларусь после хорошо известного в высоких кругах декабря 2019 года стал бесплатным, то ему не было бы цены!(с). Здесь и сейчас впервые(сочинил).
З павагай да неабыякавых
Газ для нас (читателей и почитателей) сайта не главное:
Россия и Беларусь создадут единый парламент и правительство
Белнавіны 29 ноября в 21:49
Конспектирую сие новое и еще более бесценное сообщение (накануне новой встречи в верхах):
Белновости
Румас и Медведев проведут встречу 6 декабря

Беларусь Сегодня

Белнавіны

27 фото
Премьер-министр Республики Беларусь Сергей Румас и Председатель Правительства Российской Федерации Дмитрий Медведев провели телефонный разговор 1 декабря. Инициатором разговора стала российская сторона. Об этом сообщает пресс-служба Совета Министров Республики Беларусь.
Moderators: Grigoriy
Рейтинг@Mail.ru

Научно-шахматный клуб КвантоФорум