找回密碼
 To register

QQ登錄

只需一步，快速開始

掃一掃，訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Reflections on the Foundations of Mathematics; Univalent Foundation Stefania Centrone,Deborah Kant,Deniz Sarikaya Book 2019 Springer Nature

[復(fù)制鏈接]
查看: 26694|回復(fù): 56
樓主
發(fā)表于 2025-3-21 19:03:36 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Reflections on the Foundations of Mathematics
副標題Univalent Foundation
編輯Stefania Centrone,Deborah Kant,Deniz Sarikaya
視頻videohttp://file.papertrans.cn/825/824729/824729.mp4
概述Presents some of the most important scholars in the fields of set theory, univalent foundations and philosophy of mathematics.Considers criteria for a suitable foundation in mathematics, fostering int
叢書名稱Synthese Library
圖書封面Titlebook: Reflections on the Foundations of Mathematics; Univalent Foundation Stefania Centrone,Deborah Kant,Deniz Sarikaya Book 2019 Springer Nature
描述.This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives..The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories..This book shares the work of some of the most import
出版日期Book 2019
關(guān)鍵詞Foundations of Mathematics; Philosophy of Mathematics; Philosophy of Set Theory; Univalent foundations;
版次1
doihttps://doi.org/10.1007/978-3-030-15655-8
isbn_softcover978-3-030-15657-2
isbn_ebook978-3-030-15655-8Series ISSN 0166-6991 Series E-ISSN 2542-8292
issn_series 0166-6991
copyrightSpringer Nature Switzerland AG 2019
The information of publication is updating

書目名稱Reflections on the Foundations of Mathematics影響因子(影響力)




書目名稱Reflections on the Foundations of Mathematics影響因子(影響力)學(xué)科排名




書目名稱Reflections on the Foundations of Mathematics網(wǎng)絡(luò)公開度




書目名稱Reflections on the Foundations of Mathematics網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Reflections on the Foundations of Mathematics被引頻次




書目名稱Reflections on the Foundations of Mathematics被引頻次學(xué)科排名




書目名稱Reflections on the Foundations of Mathematics年度引用




書目名稱Reflections on the Foundations of Mathematics年度引用學(xué)科排名




書目名稱Reflections on the Foundations of Mathematics讀者反饋




書目名稱Reflections on the Foundations of Mathematics讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

1票 100.00%

Perfect with Aesthetics
 

0票 0.00%

Better Implies Difficulty
 

0票 0.00%

Good and Satisfactory
 

0票 0.00%

Adverse Performance
 

0票 0.00%

Disdainful Garbage
您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:22:10 | 只看該作者
What Do We Want a Foundation to Do?ious what makes it ‘foundational’. This paper begins with a taxonomy of the jobs set theory does that might reasonably be regarded as foundational. It then moves on to category-theoretic and univalent foundations, exploring to what extent they do these same jobs, and to what extent they might do other jobs also reasonably regarded as foundational.
板凳
發(fā)表于 2025-3-22 02:44:14 | 只看該作者
Book 2019undations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives..The volume i
地板
發(fā)表于 2025-3-22 04:53:04 | 只看該作者
5#
發(fā)表于 2025-3-22 09:37:00 | 只看該作者
6#
發(fā)表于 2025-3-22 13:37:24 | 只看該作者
7#
發(fā)表于 2025-3-22 17:49:53 | 只看該作者
Proving Theorems from Reflectionthe axioms of set theory, but are of a less ‘problematic’ nature, as they can be solved by adopting the right axiomatic framework. We contend that any foundations for mathematics should be able to simply formulate such questions as well as to raise at least the theoretical hope for their resolution.
8#
發(fā)表于 2025-3-23 00:47:28 | 只看該作者
9#
發(fā)表于 2025-3-23 03:23:32 | 只看該作者
10#
發(fā)表于 2025-3-23 06:03:01 | 只看該作者
Univalent Foundations and the UniMath Libraryf formalized mathematics implementing the ideas of the Univalent Foundations (Sect. 8.1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (Sect. 8.2). This leads us to a general discussion about the links between architecture and mathematics where
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-24 11:41
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
蕲春县| 江西省| 公主岭市| 贡山| 武强县| 武平县| 故城县| 同江市| 安远县| 蓬溪县| 武强县| 尼玛县| 元朗区| 宣武区| 乌苏市| 清涧县| 新丰县| 公安县| 亳州市| 临湘市| 南汇区| 墨脱县| 新绛县| 长武县| 民县| 肃南| 梁山县| 江孜县| 伊川县| 平昌县| 抚顺县| 郴州市| 柏乡县| 婺源县| 吴川市| 谢通门县| 瓦房店市| 内黄县| 逊克县| 新巴尔虎左旗| 元谋县|