Ключевое слово
26 | 04 | 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
  • NOW ONLINE
  • Инквизитор
  • Posts: 63112
  • Thank you received: 550
  • Karma: 65
Но как это связано с предыдущим утверждением?

ПритомХайдук 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
  • NOW ONLINE
  • Инквизитор
  • Posts: 63112
  • Thank you received: 550
  • Karma: 65
Хайдук wrote:
то бишь "свойств" (что такое "свойство"?) нам не нужно, если уже можем различать элементы и формировать из них любые множества :yess:
А вот это особый вопрос, и мне Ваша трактовка представляется неверной

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

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