О создании нового форума "Автоматический вывод"

[alex_dorin]

Здравствуйте !
На пути к механической математике предлагаю создать новый форум "Автоматический вывод" или "Автоматическая дедукция"
в контексте http://en.wikipedia.org/wiki/Automated_reasoning
С уважением
Александр А. Дорин

[Deggial]

Не нужен по очевидным причинам. Предлагаю Вам догадаться о причинах самостоятельно.

[alex_dorin]

Форум "Автоматический вывод" необходим, чтобы там решались проблемы логического вывода.
Вопросы Windows 10, Rar архива, javascript и пр. остаются, там где и есть.

[Munin]

Deggial в сообщении #1011082 писал(а):

Не нужен по очевидным причинам. Предлагаю Вам догадаться о причинах самостоятельно.

Потому что на форуме только один юзер bot

Что он там будет делать в одиночестве?

[INGELRII]

Ну если удастся убедить администрацию - в порядке исключения - разрешить ему заводить там еще botов, то они смогут вести содержательный разговор

[Deggial]

Последующий пост alex_dorin отделён в Карантин как оффтоп и в силу отсутствия попыток решения.

[alex_dorin]

Еще 1 довод по созданию форума "Автоматический вывод" :
https://jiggerwit.wordpress.com/2014/05 ... -projects/

Надо сделать - еще лучше и решить !

[Yuri Gendelman]

alex_dorin в сообщении #1046043 писал(а):

Форум "Автоматический вывод" необходим, чтобы там решались проблемы логического вывода.

Сначала активное обсуждение вопроса, а потом специальный форум, а не "сделайте мне форум, где я буду вести свой блог".

Если у Вас есть что сказать/спросить об автоматическом выводе, то начните с форума "Computer science" или "Математика".

[bot]

(Оффтоп)

INGELRII в сообщении #1046130 писал(а):

разрешить ему заводить там еще botов

Так уж сразу и botов - сначала botят, а до botов пусть сами дорастают.

-- Сб ноя 14, 2015 09:50:32 --

Munin в сообщении #1046121 писал(а):

только один юзер bot

Хотел на 1 апреля создать ещё одного, но опоздал - кириллицу запретили.