国外的，似乎是美国芝加哥大学主办的
符号逻辑杂志在线投稿。根据查询相关信息显示：
1、符号逻辑杂志为在线投稿，浏览器搜索符号逻辑杂质官网即可。
2、投稿使用word格式，并请在“邮件主题”里注明论文的标题和姓名，每篇文章3000到8000字为宜。
符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。
说实在的，这个社会最不缺的就是天才了。今天我们要讲的故事的主人公——刘嘉忆，他就是一位名副其实的数学天才，在别人还在烦恼学业的时候他就已经成为中南大学最小的正教授了。但是，面对这样子的荣誉，专家丘成桐丝却很不屑，他只当刘嘉忆是碰巧而已。让我们一起来了解一下这位数学天才刘嘉忆的故事吧！
这位数学天才原来的名字不叫刘嘉忆，之前叫做刘路，刘嘉忆是他的署名。刘路在1989年出生于一户家庭背景不错的人家，父母都是在企业工作的，她的妈妈还是一名工程师。所以在这样一个家庭里面，刘路受到了父母的影响，他的理工科成绩也特别好。他对数学特别感兴趣，最喜欢钻研数学难题，解决一道数学题就是他就特别有自豪感。初中的时候，他除了学习初中的数学以外，还自己钻研更加复杂难解的数学题。他自己独自钻研的数学题对其他同学来说，就相当于天书一般，别人根本就看不懂。而刘路却能快速的解出这些数学题，可见他的数学天赋非常高了。在2008年的高考中，刘路竟以非常优异的高分取得中南大学的录取通知书。
刘路在上了大学以后，一开始也没有表现出异于常人的数学功底，他的同学认为他也比较普通，唯一特别的就是他喜欢去图书馆找一堆关于数学方面的书来拿回宿舍里钻研，甚至钻研到半夜不睡觉。而且他在数学方面的见解似乎也跟其他同学不太一样，他的解题思路总是新颖又简单，还速度。刘路最喜欢数学课程中的数理逻辑这部分，到了大二他就独自钻研数理逻辑。他的老师了解他非常喜欢数理逻辑以后，也就经常会给他一些指导与建议，所以他对数理逻辑也非常自信。
后来他在研究的过程中，遇到了一个难题就是拉姆齐二染色定理，这个定理是上世纪90年代英国逻辑学家西塔潘提出的一个猜想，但是数十年都一直没人有能力解决这个问题。刘路发现了这个定理，就非常感兴趣，他一直想办法要解决这个国际难题。后来他翻阅了无数数学资料，总结后就突然有了想法，于是他就连夜论证出来了这个定理。他将论证投稿发给了《符号逻辑杂志》，这是一家数理逻辑杂志。这就引起了数学界的轰动与反响，芝加哥大学数学系教授邓尼斯·汉斯杰弗德论证了刘路的结论以后，就非常兴奋，就写信给了刘路，表达了他对刘路的赞赏之情。
这也让刘路开始被中南大学重视起来，希望他能够尽快研究出来。博士生导师侯振还收他为徒，支持与指导他不断进行研究。不过对于刘路的论证，也有不少人提出了质疑，并给出了不同的看法。美籍华裔丘成桐认为刘路只不过运气好罢了。对此，大家有什么看法？欢迎在评论区留言。
