Постнагуализм
19 июля 2025, 12:11:54 *
Добро пожаловать, Гость. Пожалуйста, войдите или зарегистрируйтесь.

      Логин             Пароль
 
   Начало   Помощь Правила Поиск Войти Регистрация Чат  
Страниц: 1 ... 397 398 [399]
  Печать  
Автор Тема: Философский Штурм ПН  (Прочитано 1270170 раз)
0 Пользователей и 17 Гостей смотрят эту тему.
Птаха
Пользователь
**
Online Online

Сообщений: 252



WWW
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5970 : 10 июля 2025, 15:13:25 »

Болдачев, является системным архитектором, который консультирует правительство РФ по вопросам блокчейн платформ.
вот с этим момэнтом я бы познакомилась поближе:
какие вопросы есть у правительства РФ по блокчейну?

Сам по себе блокчейн ведь всего лишь идея - а дальше идут детали, как то:
криптографирование (желательно квантовое),
не дать увести блокчейном банковскую централизацию и т.д.  ха-ха, короче  :D

Примерно как вакцина вовсе не для вакцинируемых, а для тех, кто её продаёт....
Записан
Ртуть
Постоялец
*****
Online Online

Сообщений: 1113



Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5971 : 10 июля 2025, 15:25:04 »

какие вопросы есть у правительства РФ по блокчейну?
Я не специалист в этой области. Что и как я не знаю, но введение цифрового рубля - это по моему, как раз из этой области.
Записан
Корнак
Модератор своей темы
Старожил
*
Offline Offline

Сообщений: 96241



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5972 : Вчера в 16:45:53 »

обгладывать
на сегодняшний вечере
мне пока недосуг
Цитата:
Теория категорий: логика как метаязык

Если лямбда-исчисление показывает гибкость логики внутри вычислений, то теория категорий раскрывает её как  «универсальный язык», в котором можно выразить разные логики. Теория категорий абстрагируется от конкретных объектов и оперирует отношениями между ними — морфизмами. Это позволяет ей описывать:
- Классическую логику (через категории множеств),
- Интуиционистскую логику (через топосы),
- Модальную логику (через специальные функторы),
- Линейную логику (через монодальные категории).

Теория категорий показывает, что разные логики — это не конкурирующие системы, а разные «вселенные» рассуждений, описываемые общим языком. Это делает её своего рода мета-логикой.
https://filens.info/forum/index.php?topic=8154.msg466581#msg466581
чуть выше по ссылке можно почитать, как над Шелтом издеваются
Записан
Ртуть
Постоялец
*****
Online Online

Сообщений: 1113



Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5973 : Вчера в 17:07:48 »

Корнак, таким образом, математика становится открытием или изобретением?
Записан
Корнак
Модератор своей темы
Старожил
*
Offline Offline

Сообщений: 96241



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5974 : Вчера в 17:15:53 »

математика становится открытием или изобретением?
у кого?
я не понял про чо это
Записан
Корнак
Модератор своей темы
Старожил
*
Offline Offline

Сообщений: 96241



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5975 : Вчера в 17:21:01 »

а, кажется начал догадываться
у ребят так всё запущенно, что не сразу пробьешь
Записан
Корнак
Модератор своей темы
Старожил
*
Offline Offline

Сообщений: 96241



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5976 : Вчера в 17:32:08 »

Корнак, таким образом, математика становится открытием или изобретением?
я бы переделал вопрос
не "таким", а КАКИМ?? образом математика имеет отношение к
Это позволяет ей описывать:
- Классическую логику (через категории множеств),
- Интуиционистскую логику (через топосы),
- Модальную логику (через специальные функторы),
- Линейную логику (через монодальные категории).

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

рыба может быть только первой свежести, а логик чуть больше - три
Аристотелева, Бэкона и Успенского
Записан
Корнак
Модератор своей темы
Старожил
*
Offline Offline

Сообщений: 96241



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5977 : Вчера в 17:34:11 »

Классическую логику (через категории множеств
это не "классическая логика", а логика ПДУ
классической она еще не стали
и вообще мало у кого используется и даже мало, кто о ней слышал
а "классическая логика" - это логика Аристотеля
Записан
Корнак
Модератор своей темы
Старожил
*
Offline Offline

Сообщений: 96241



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5978 : Вчера в 17:57:49 »

Интуиционистскую логику
это как?
жопой чую :)
Записан
Корнак
Модератор своей темы
Старожил
*
Offline Offline

Сообщений: 96241



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5979 : Вчера в 18:04:26 »

Модальную логику (через специальные функторы),
- Линейную логику (через монодальные категории).
первая - это логика Бэкона, а вторая вообще не имеет никакой самостоятельности, чтобы называться видом логики
Записан
Корнак
Модератор своей темы
Старожил
*
Offline Offline

Сообщений: 96241



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5980 : Вчера в 18:41:01 »

Теория категорий
как уже было справедливо замечено - математический подход не имеет никакого отношения к философии
за редким, частным исключением
а нам подсовывают именно эту идею:
Цитата:
Господи, да не введи меня во грех  :'(
И не выведи из меня философа
кроме того можно видеть вольное использование понятия "категории"
не знаю, как в математике, а в философии это не приветствуется

Категория как  единица философского языка, заслуживающая отдельного, специально для нее предназначенного места в речеобразовании и мышлении.
Формулировка в словарях.
"Категория - предельно общее понятие, выражающее наиболее существенные отношения действительности"
https://ru.wikipedia.org/wiki/Категория_(философия)
И далее.
"Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма превращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции"

Но дело в том, что категории не имеют никакого отношения к обобщению. Это вообще не понятия, потому как любое понятие - это обобщение. В самом деле. Если взять, например, категории Аристотеля, то мы не сумеем найти какие-то отдельные элементы, которые они обобщают.

- Сущность; - Количество;  - Качество;  - Отношение;  - Место;  - Время;  - Положение;  - Обладание;  - Действие;  - Страдание.

И сравним их с какими-нибудь произвольно взятыми понятиями: дом, быстрый, зеленый, ветер, политика, ребенок...

Из этих примеров можно сказать, что понятия носят законченный вид и что в них есть обобщение.

Что же мы видим в категориях? Категории тоже слова. Но у них вид незаконченный. Они создают стойкое желание развить мысль. Сущность чего? Количество чего?  И т.д. Но мы не может сказать, что категории строят мысль. Этим занимается наш ум. Значит категории - инструмент для строительства. Ну, или раствор.  Но главное, что они стоят особняком от понятий.

Междометия можно поместить по рангу ниже понятий. Они служат для связки слов. Категории же стоят выше понятий. Это инструмент построения мыслей.

Таким образом мы можем все слова классифицировать на: междометия, названия, понятия, категории, эннеаграммы. Примеры - последней - инь и ян.
Записан
Корнак
Модератор своей темы
Старожил
*
Offline Offline

Сообщений: 96241



Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5981 : Вчера в 18:52:53 »

Ш:
- ЛОГИКА ЗАВИСИТ ОТ ЗАДАЧКИ (курсив Ш)
Ему:
- Это как? На примерах можете пояснить?
Ш:
- Конечно  могу. Описание леса продавцом и лесничим будет использовать разную логику

каково, а?
человек не знаком с элементарными вещами, а лезет всеми руководить и поучать
Записан
Пелюлькин
Старожил
*****
Online Online

Пол: Мужской
Сообщений: 7487


Кот свинье не товарищ.

Роман
Email
Модератор: Корнак (перенесённые из темы сообщения тут)
« Ответ #5982 : Вчера в 19:00:10 »

  • Теория категорий
    как уже было справедливо замечено - математический подход не имеет никакого отношения к философии
    за редким, частным исключением
    а нам подсовывают именно эту идею:
Господи, да не введи меня во грех  :'(
И не выведи из меня философа
кроме того можно видеть вольное использование понятия "категории"
не знаю, как в математике, а в философии это не приветствуется

   Ну говорят же, что --- ДУРАКА УЧИТЬ -- ШО МЁРТВОГО ЛЕЧИТЬ...

   Корнак, ну ты же тока что недавно в ВИКИ (по ИИ) писал:
Это позволяет ей описывать:
- Классическую логику (через категории множеств),
- Интуиционистскую логику (через КАТЕГОРИИ топосов),
- Модальную логику (через специальные КАТЕГОРИИ функторов и операторов),
- Линейную логику (через модальные категории).

    А чего стоят именно Логические и Математические КАТЕГОРИИ Всеобщего и Необходимого, Категории разбиения чисел на Целые числа, Рациональные и Иррациональлные. включая и Трансцендентные числа.

    Вообще сама математика не имеет смысла, если оная не есть Категорией НЕКОЙ (в данном математике смысле, как принадлежащей к КАТЕГОРИИ "Достаточно выразительной системы") СОСТОЯТЕЛЬНОЙ ВЫРАЗИМОСТИ на Языке Математики, кстати более высокой и даж достигающей Достаточности КАТЕГОРИИ выразимости чем Геометрия... и более предметной -- чем ЛОГИКА.

    Вот дурья у тибя башка и фсё тут...
Записан

Прояснилось сознание, окрепла рука, вижу свет в ожидании чуда Небесного,
И как прежде по небу плывут облака, и я уверенно принимаю решение.
Моё http://forum.postnagualism.com/index.php?topic=92035.0
Асмус-Невесёлый http://forum.postnagualism.com/index.php?topic=99721.0
Страниц: 1 ... 397 398 [399]
  Печать  
 
Перейти в:        Главная

Postnagualism © 2010. Все права защищены и охраняются законом.
Материалы, размещенные на сайте, принадлежат их владельцам.
При использовании любого материала с данного сайта в печатных или интернет изданиях, ссылка на оригинал обязательна.
Powered by SMF 1.1.11 | SMF © 2006-2009, Simple Machines LLC