From Sets And Types Totopology And Analysistowards Practicable Founda-tions For Constructive Mathematics

A. Knauf

首页> 外文期刊>Jahresbericht der Deutschen Mathematiker-Vereinigung >From Sets And Types Totopology And Analysistowards Practicable Founda-tions For Constructive Mathematics

【24h】

From Sets And Types Totopology And Analysistowards Practicable Founda-tions For Constructive Mathematics

机译：从集合和类型的拓扑和分析到建构数学的实用基础

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Der Band ist entstanden aus einer Konferenz mit demselben Titel, die 2003 in Venedig stattfand. Die besondere Absicht war in beiden Fällen, eine Brücke zu schlagen zwischen der Praxis der konstruktiven Mathematik und den verschiedenen formalen Systemen, die zu ihrer Begründung vorgeschlagen wurden.

机译：该卷取材自2003年在威尼斯举行的同名会议。在这两种情况下，其目的都是弥合建设性数学实践与为证明其合理性而提出的各种形式系统之间的差距。

著录项

来源
《Jahresbericht der Deutschen Mathematiker-Vereinigung》 |2008年第4期|p.43-44|共2页
作者
A. Knauf;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 ger
中图分类数学;
关键词

相似文献

外文文献
中文文献
专利

1. INFINITE SETS THAT SATISFY THE PRINCIPLE OF OMNISCIENCE IN ANY VARIETY OF CONSTRUCTIVE MATHEMATICS [J] . MARTIN H. -ESCARDó Journal of Symbolic Logic . 2013,第3期

机译：无限集可以满足无穷原理在各种构造数学上的要求
2. Homotopy type-theoretic interpretations of constructive set theories [J] . Cesare Gallozzi Mathematical structures in computer science . 2021,第1期

机译：建筑设施理论的同型类型 - 理论解释
3. The generalised type-theoretic interpretation of constructive set theory [J] . Gambino N, Aczel P Journal of Symbolic Logic . 2006,第1期

机译：建构集理论的广义类型理论解释
4. Hereditarily Finite Sets in Constructive Type Theory [C] . Gert Smolka, Kathrin Stark International conference on interactive theorem proving . 2016

机译：建构型理论中的遗传有限集
5. FROM MATHEMATICAL CONSTRUCTIVITY TO COMPUTER SCIENCE: ALAN TURING, JOHN VON NEUMANN, AND THE ORIGINS OF COMPUTER SCIENCE IN MATHEMATICAL LOGIC. [D] . ASPRAY, WILLIAM FRANKLIN, JR. 1980

机译：从数学构造性到计算机科学：艾伦·图灵，约翰·冯·纽曼和数学逻辑学中的计算机科学起源。
6. Clinical data sets of human immunodeficiency virus type 1 reverse transcriptase-resistant mutants explained by a mathematical model. [O] . N I Stilianakis, C A Boucher, M D De Jong, 1997

机译：用数学模型解释的人类免疫缺陷病毒1型逆转录酶抗性突变体的临床数据集。
7. Realization of Constructive Set Theory into Explicit Mathematics: a lower bound for impredicative Mahlo universe [O] . Sergei Tupailo 2000

机译：构造集理论在显性数学中的实现：预示性的mahlo宇宙的下界
8. Mathematical Foundations of Constructive Solid Geometry:General Topology of Closed Regular Sets. [R] . requicha, aristides a. g. tilove,robert b. 1979

机译：构造实体几何的数学基础：闭集正则集的一般拓扑。

From Sets And Types Totopology And Analysistowards Practicable Founda-tions For Constructive Mathematics

摘要

著录项

相似文献

相关主题

期刊订阅