Страницы: 1 [2] 3 ... 5   Вниз

Автор Тема: Ограничена ли бинарная логика?  (Прочитано 24859 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #10 : 13 Декабрь, 2006, 15:33:47 pm »
Цитата: "KWAKS"
Попробую проще :


Это все, конечно, разумно, просто это не изоморфность. Происхождение логики - может быть.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »
Записан

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #11 : 13 Декабрь, 2006, 20:15:51 pm »
Цитата: "SneakSnake"
просто это не изоморфность. .
где не изоморфность ?
Взаимно-однозначное соответствие между :
колич. орехов на столе и колич.арифм. чёрточек на бумаге ?
Принимайте мои соболезнования.

Цитата: "SneakSnake"
Происхождение логики - может быть.
Да неуЖЖо может и НЕ быть ?
Полагаете,что Адекватнось логики - НЕ из Реала ?
Принимайте мои - глубочаААйшие соболезнования.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #12 : 13 Декабрь, 2006, 21:01:46 pm »
Цитата: "KWAKS"
Взаимно-однозначное соответствие между :
колич. орехов на столе и колич.арифм. чёрточек на бумаге ?


Не там. Есть true, и есть много истинных высказываний.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »
Записан

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #13 : 14 Декабрь, 2006, 22:54:02 pm »
Цитата: "SneakSnake"
Цитата: "KWAKS"
Взаимно-однозначное соответствие между :
колич. орехов на столе и колич.арифм. чёрточек на бумаге ?
Не там.
Вы молодец, SneakSnake !
Между "колич. орехов и колич.арифм. чёрточек" -
у вас нету соответствия ?
Прям "Фунд-мнтААльное открытие" ! ! !

 
Цитата: "SneakSnake"
Есть true, и есть много истинных высказываний.
И к чему "это" пришить ?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #14 : 15 Декабрь, 2006, 12:06:37 pm »
Цитата: "KWAKS"
И к чему "это" пришить ?


К тому, что это не изоморфизм. В изоморфизме отношение 1 к 1, а тут - 1 к N. Одно true, N истинных высказываний.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »
Записан

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #15 : 15 Декабрь, 2006, 19:49:37 pm »
Цитата: "SneakSnake"
Цитата: "KWAKS"
И к чему "это" пришить ?
В изоморфизме отношение 1 к 1, а тут - 1 к N. Одно true, N истинных высказываний.
По отношению к *N истинных высказываний* -
ес-нно, "это не изоморфизм".

А По отношению к одномУУ из высказываний, ..
выбранных наугад из *N истинных высказываний* ?
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн SneakSnake

  • Афтар
  • ***
  • Сообщений: 138
  • Репутация: +0/-0
(Нет темы)
« Ответ #16 : 15 Декабрь, 2006, 19:54:38 pm »
Цитата: "KWAKS"
А По отношению к одномУУ из высказываний, ..
выбранных наугад из *N истинных высказываний* ?


тоже не изоморфизм
это кваксорфизм наверное :)
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от SneakSnake »
Записан

Оффлайн KWAKS

  • Почётный Афтар
  • *******
  • Сообщений: 9 587
  • Репутация: +1/-1
(Нет темы)
« Ответ #17 : 15 Декабрь, 2006, 20:20:57 pm »
Цитата: "SneakSnake"
это кваксорфизм наверное :)
Пздзррляю Вас , ув.SneakSnake !
С "фундаментальным мировым открытием" !
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от KWAKS »
Записан
Заранее благодарен = [ KWAKS ]
______________________________
КWА-ффэсор тИнно-болотнУтого Ничего Не ИследУюшшего И-а.

Оффлайн Дедушка Леший

  • Афтар
  • ***
  • Сообщений: 602
  • Репутация: +0/-0
(Нет темы)
« Ответ #18 : 17 Декабрь, 2006, 15:02:19 pm »
Цитата: "KWAKS"
А какими средствами Клини обеспечивает изоморфность -
между объектным языком и метаязыком ?

Клини в своей Математической Логике про изоморфность вроде не упоминает.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Дедушка Леший »
Записан

Оффлайн Дедушка Леший

  • Афтар
  • ***
  • Сообщений: 602
  • Репутация: +0/-0
(Нет темы)
« Ответ #19 : 17 Декабрь, 2006, 15:07:42 pm »
Цитата: "SneakSnake"
Цитата: "KWAKS"
И к чему "это" пришить ?

К тому, что это не изоморфизм. В изоморфизме отношение 1 к 1, а тут - 1 к N. Одно true, N истинных высказываний.

Да нет, в процедуре счета это изоморфизм: каждому ореху соответсвует одна черточка и наоборот.
« Последнее редактирование: 01 Январь, 1970, 00:00:00 am от Дедушка Леший »
Записан
Страницы: 1 [2] 3 ... 5   Вверх