第6章 语言难题！ (3 / 11)

        “数理逻辑……形式化证明……”

        突然，一个大名鼎鼎的期刊蹦进了他的视线。

        JSL！

        这可是数理逻辑、计算理论和数学基础领域的绝对神刊！

        这本期刊对那种用纯粹的符号运算、严密逻辑去解决计算底层问题的文章有着一定的偏爱。

        科诺罗德的论文倒是符合情况，不过JSL这种老牌神刊，逼格确实高，不收版面费，含金量也拉满，审稿速度却是个谜。

        网上有人说审了三个月都没有音讯。

        JSL具体要审多久？有没有快审机制？对于他这种没有学术挂靠单位，名不见经传的普通大一新生，人家编辑会不会看一眼直接拒稿？

        漆昊想着就头疼。

        “算了，方向就暂定JSL吧。”漆昊做了一个决定。

  The content is not finished, continue reading on the next page