Ключевое слово
20 | 10 | 2017
Новости Библиотеки

Шахматы онлайн

Чессбомб

Welcome, Guest
Username: Password: Remember me

TOPIC: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 03 Апр 2017 19:17 #481

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 67159
  • Thank you received: 651
  • Karma: 67
Но как это связано с предыдущим утверждением?

ПритомХайдук wrote:
что такое предикат, то бишь свойство? ответ: множество тех, кто им обладает :idea:

Предикат есть знакосочетание. являющееся соотношением.
Т.е логика "второго порядка" есть логика для соотношений. Не вижу в ней особого смысла
Каждому - своё.
Last Edit: 03 Апр 2017 19:20 by Vladimirovich.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 03 Апр 2017 19:24 #482

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 67159
  • Thank you received: 651
  • Karma: 67
Хайдук wrote:
то бишь "свойств" (что такое "свойство"?) нам не нужно, если уже можем различать элементы и формировать из них любые множества :yess:
А вот это особый вопрос, и мне Ваша трактовка представляется неверной

Есть коллективизирующие соотношения, которые порождают множества.
Есть аксиома отбора, которая позволяет отобрать и различить элементы (не путать с аксиомой выбора)

Свойство есть просто соотношение. Является ли оно коллективизирующим, заранее неизвестно.
Это особый тип соотношения, подмножество соотношений теории.
Каждому - своё.
Last Edit: 03 Апр 2017 19:33 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 29 Апр 2017 16:27 #483

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Посадник
  • Posts: 29612
  • Thank you received: 48
  • Karma: 21
мне кажется, что множества должно можно образовывать at will, силою воли, так сказать, даже когда не можем различить элементы :unsure:

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 29 Апр 2017 17:05 #484

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Посадник
  • Posts: 29612
  • Thank you received: 48
  • Karma: 21
основы логики ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3...8F%D0%B4%D0%BA%D0%B0 показывают почему её можно заформализовать знаковым языком: её средства/понятия вторят тем математики дискретного конечного :) ; любое понятие/идея, любое суждение будет конечной дискретной сущностью/объектом, даже представление о квантовом запутывании ЗА пределами (!) мира эмпирического опыта будет лишь конечным дискретным элементом в порядке потуг на (логические, вестимо, других не бывает) рассуждения :dumb:
Last Edit: 29 Апр 2017 17:14 by Хайдук.

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse 30 Апр 2017 09:06 #485

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 67159
  • Thank you received: 651
  • Karma: 67
Хайдук wrote:
мне кажется, что множества должно можно образовывать at will, силою воли...
Силой воли можно только одному водку жрат :)
А множество образуется только силой коллективизирующего отношения
:beer:
Каждому - своё.
Рейтинг@Mail.ru Яндекс цитирования