1) у нас есть ФРС, есть спонсируемая ей экономическая теория, которая состоит из набора утверждений
2) есть альтернативная экономическая теория (коммунистическая), делающая акцент на несправедливостях при обменах:
2.1) при сеньораже
2.2) при частичном резервировании банковских вкладов
2.3) при курсовой разнице в займе и кредите
2.4) при валютном обмене
2.5) при распределении средств на зарплату и дивиденды/купонные платежи
2.7) при оплате услуг монополий (ЖКХ)
2.8) при оплате налогов (оборона, полиция, суд, законоведение)
3) у нас есть форумы, где люди обмениваются утверждениями, составляющими базы этих двух теорий.
4) у нас есть движки логического вывода, например P# -
http://homepages.inf.ed.ac.uk/stg/research/Psharp/стандартная экономическая теория от ФРС говорит, что это равноценные обмены (риски уравновешивают неравномерности, а рынок всё исправит)
коммунистическая теория показывает, как сделать обмены более равноценными (за счет контроля над решениями при помощи публичных алгоритмов, например)
Внимание идея: пишем бота (кравлер, парсер, модель), который ведет процесс диалога,
с целью убеждения человека в полезности коммунистической теории для него лично.
Если оставить в стороне технические трудности анализа естественного текста,
то всё остальное имеет смысл или не сможет взлететь принципиально? (если нет, то почему)
Биткоинерам это нужно для того, чтобы агитировать за использование биткоинов.
http://en.wikipedia.org/wiki/Automated_theorem_proving