Mathematical Sciences: Interdisciplinary Conference on Axiomatic Systems, December 15-18, 1988; Columbus, Ohio

本次会议是一个跨学科和基础 公理系统的发展、研究和使用 系统. 会议将于1988年12月15日至18日在 俄亥俄州州立大学，并在教授的指导下， 哈维·弗里德曼。 受邀演讲者来自数学界， 哲学、心理学和计算机科学。 邀请的组合 发言人预计将分别来自 领域的证明理论，非标准逻辑，公理代数和 几何、测度论、决策论和概率 理论、软件验证、数据库系统和证明 检查和定理证明。 公理系统的开发，研究和使用， 来自许多学科的研究人员，如数学， 计算机科学、心理学和哲学。 这次会议 将汇集这些领域的代表， 目的是建立跨学科研究的新路线， 在来自世界各地的同事之间建立新的和有益的联系 相关领域。

This conference is an interdisciplinary and foundationally oriented meeting on the development, study, and use of axiomatic systems. The conference will be held December 15-18, 1988 at Ohio State University and is under the direction of Professor Harvey Friedman. Invited speakers are from mathematics, philosophy, psychology, and computer science. The mix of invited speakers is expected to be approximately three each from the areas of proof theory, nonstandard logics, axiomatic algebra and geometry, measurement theory, decision theory and probability theory, software verification, database systems, and proof checking and theorem proving. Axiomatic systems are developed, studied, and used by researchers from many academic disciplines such as mathematics, computer science, psychology, and philosophy. This conference will bring together representatives of each of these fields with the aim of laying new lines of interdisciplinary research and establishing new and useful contacts among colleagues from related areas.