Главный редактор Майдим Александрович Малков
111141 Москва Перовская ул. 11/43
э-почта   mamalkov@hotmail.com

Это полугодовой математический журнал на английском языке для логиков и программистов. Сейчас основная тема журнала - искусственный интеллект математика (робот- математик). Учреждены 10000 премий по $10000 каждая за лучшие работы в этой области. Основная цель - разработка алгоритмов и программ, реализующих робота-математика такого, который превосходит любого естественного математика. Робот-математик должен быть одновременно роботом-программистом (т.к. программирование есть одна из ветвей математики).

Журнал выпускается с 2001 года. Всего вышло 2 номера. Последний номер вышел в 2003 году, но он датирован 2001 годом, чтобы не прерывать нумерацию. Будем надеяться, что номера будут выходить чаще и нумерацию не придется прерывать. Все зависит от активности авторов. Компьютерный набор и верстка позволяют выпускать журнал в течение 15 дней. Но для этого все ваши статьи должны быть на электронных носителях. Годится любой компьютерный редактор, но рекомендуется LaTeX-epsilon.

Статьи надо направлять как по э-почте: mamalkov@hotmail.com or rl@malkov.msk.su, так и почтой: Москва 111141 Перовская ул. 43/11 Relational Logic. Журнал называется Relational Logic, потому что искусственный интеллект должны создавать логики и программисты. В настоящее время программирование стало ветвью логики (вычислимость и эффективная вычислимость), а программисты стали настоящими логиками.

Реляционная логика заменяет функции отношениями, т.к. отношения (таблицы) проще для компьютерной обработки. При этом оказывается, что классическая логика становится ветвью реляционной логики (см. русский перевод From editor во втором номере).

Первые два номера в основном посвящены фундаментальным вопросам логики. Наиболее интересной является статья о нестандартном анализе. Более прикладными являются статьи о функциональных языках программирования низкого уровня (в первом и втором номерах) и о реляционных языках высокого уровня (в первом номере). Во втором номере две статьи (Искусственный интеллект и доказательство теорем, Автоматическое доказательство теорем и логическое моделирование) посвящены искусственному интеллекту.

Пишите нам! Ваши статьи на английском языке будут изданы в течение месяца и будут датированы 2002-ым или 2003-им годом.

В НОМЕРЕ 1

В номере 2