预览第一页 |
文件详细信息：
标题：关于构造公理方法
作者：安德烈·罗丁
日志：逻辑与分析
体积：
242 日期：2018年
页：201-231
内政部：10.2143/LEA.242.0.3284751
摘要：
源于希尔伯特（Hilbert）的公理化方法（axiomatic method）的公认概念，对于最近成功实现数学理论公理化的实践来说，并不完全足够。同伦类型理论（HoTT）的公理体系结构不符合标准意义上的形式公理理论模式。然而，这一理论属于一个更一般的、在某些方面更传统的公理理论概念，我以希尔伯特和伯奈斯的名字命名建设性的并用欧几里得第一本书的经典例子进行演示元素我还认为，HoTT在这方面并不是唯一的，它代表了当今数学的一个更广泛的趋势，其中也包括Topos理论和其他一些发展。基于这些现代和古代的例子，我认为欣蒂卡最近捍卫的面向语义的形式公理方法并不是自给自足的，而是需要构造方法的支持。最后，我提供了一个认识论论证，表明构造性公理方法比公认的公理方法更容易提出科学理论。
|
下载文章
|
