更改

# 专业领域：

# 专业领域：

    # 最优控制

  # 最优控制

    # 全局优化

  # 全局优化

    # 自确证计算（self-validated computing）

  # 自确证计算（self-validated computing）

# 兴趣领域：

# 兴趣领域：

    # 数学史：史前算术 - 古美速不达米亚和古埃及算术 - 古希腊数学 - 伊斯兰数学 - （之后的阅读量还不够）

  # 数学史：史前算术 - 古美速不达米亚和古埃及算术 - 古希腊数学 - 伊斯兰数学 - （之后的阅读量还不够）

    # 语言学：历史语言学（古美索不达米亚、古埃及、古希腊）

  # 语言学：历史语言学（古美索不达米亚、古埃及、古希腊）

    # 逻辑学：弗雷格 - 基本的数理逻辑

  # 逻辑学：弗雷格 - 基本的数理逻辑

    # 哲学：和算术有关的本体论与知识论基础，以及相关思想和概念的历史

  # 哲学：和算术有关的本体论与知识论基础，以及相关思想和概念的历史

    # 心理学：荣格心理学

  # 心理学：荣格心理学