WORKSHOP: Research Symposium: Logic and Mathematics 09

逻辑与数学09将于2009年8月在约克大学举行为期五天的研讨会/研究研讨会，致力于数学逻辑与其他数学领域的思想和技术之间的相互作用。在逻辑方面，这包括：-非标准分析（现代无限小和无限数理论）及其扩展。这一理论提供了通往理想结构的途径，否则只存在于直觉基础上——模型理论：研究数学语言及其逻辑与数学对象和结构的实际世界之间的关系。目前的研究特别集中在可定义性理论-对象的研究，可以精确地定义使用逻辑语言-建设性数学及其逻辑基础-逆向数学（或证明挖掘）-究竟什么逻辑原理和假设是需要特定的数学结果的调查。数学领域，涉及到这种相互作用包括经典数学分析，微分方程，数论，概率论、随机分析、代数几何、数学物理、数学金融。研讨会将汇集研究人员，他们的工作涉及数学逻辑和其他数学领域之间的相互作用，以分享思想和最近的工作成果，以及探索新的研究途径。一个潜在的主题是承认数学的本质统一性，尽管研究活动的迅速发展导致了学科领域的划分。因此，参与者将在总体主题逻辑和数学中代表各种各样的主题。目前向EPSRC提出的建议是支持来自海外的五名参与者（Di Nasso, Jin, Keisler, Loeb, Ross），他们已经表示愿意参加，并为另外五名尚未确定的参与者提供生活费。预计将有14 - 18名受邀参与者，所有人都被邀请介绍他们目前的工作。除本提案所包括的被邀请的与会者外，将从其他来源获得支助。其他未被邀请的参与者将有机会展示他们的作品以供讨论，但将有一个评审过程。

Logic and Mathematics 09 will be a five day workshop/research symposium to be held at the University of York in August 2009 devoted to the interaction between ideas and techniques from mathematical logic and other areas of mathematics. On the logic side this includes: - nonstandard analysis (the modern theory of infinitesimal and infinite numbers) and its extensions. This theory gives access to ideal structures that otherwise exist only on an intuitive basis- model theory: the study of relationships between the language of mathematics and its logic and the actual world of mathematical objects and structures. Current research focusses in particular on definability theory - the study of objects that can be precisely defined using logical language- constructive mathematics and its logical foundations- reverse mathematics (or proof mining) - the investigation of exactly what logical principles and assumptions are needed for particular mathematical resultsAreas of mathematics that are involved in such interactions include classical mathematical analysis, differential equations, number theory, probability theory, stochastic analysis, algebraic geometry, mathematical physics and mathematical finance.The Symposium will bring together researchers whose work involves interactions between mathematical logic and other areas of mathematics, in order to share ideas and the results of recent work, as well as to explore new avenues of research. An underlying theme is the recognition of the essential unity of mathematics in spite of the fact that the mushrooming of research activity has led to compartmentalization of the subject area. Thus the participants will represent a wide variety of topics within the general theme Logic and Mathematics.The current proposal to the EPSRC is for the support (travel and subsistence) of five participants from overseas (Di Nasso, Jin, Keisler, Loeb, Ross) who have already indicated their willingness to participate, and for subsistence for five further as yet unspecified participants from among those who have indicated that they will participate. It is anticipated that there will be 14 - 18 invited participants, all invited to give a presentation of their current work. Invited participants other than those covered by this proposal will be supported from other sources. Other non-invited participants will have the opportunity to present their work for discussion but there will be a refereeing process.