2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Cупер редукция в логическом выводе
Сообщение18.03.2015, 12:06 


08/03/11
273
Здравствуйте !
Интересует супер редукция в логическом выводе
http://arxiv.org/abs/1501.01170
Пожалуйста, гуру, разъясните "на пальцах" :shock:

 Профиль  
                  
 
 Re: Cупер редукция в логическом выводе
Сообщение18.03.2015, 17:15 
Заслуженный участник


09/05/08
1155
Новосибирск
Не будучи гуру, могу сказать лишь одно: там не «супер редукция», там «супер-дедукция».
(Термин звучит так претенциозно, что невольно начинаешь подозревать неладное.
Надеюсь, там действительно какая-то революция свершилась.)

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group