Intuitionistic Type Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


Intuitionistic Type Theory

簡體網頁||繁體網頁
Per Martin-Lof 作者
Prometheus Books
譯者
1985-6 出版日期
0 頁數
0 價格
Paperback
叢書系列
9788870881059 圖書編碼

Intuitionistic Type Theory 在線電子書 圖書標籤: 類型論  邏輯學  邏輯哲學  邏輯  直覺主義  數理邏輯  數學基礎  數學哲學   


喜歡 Intuitionistic Type Theory 在線電子書 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-23

Intuitionistic Type Theory 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Intuitionistic Type Theory 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Intuitionistic Type Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



Intuitionistic Type Theory 在線電子書 用戶評價

評分

評分

評分

評分

評分

Intuitionistic Type Theory 在線電子書 著者簡介

Per Erik Rutger Martin-Löf (born 8 May 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Löf's publications have been mainly in logic. In philosophical logic, Martin-Löf has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Löf has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Löf's work on type theory has influenced computer science.

Until his retirement in 2009,[4] Per Martin-Löf held a joint chair for Mathematics and Philosophy at Stockholm University.

His brother Anders Martin-Löf is now emeritus professor of mathematical statistics at Stockholm University; the two brothers have collaborated in research in probability and statistics. The research of Anders and Per Martin-Löf has influenced statistical theory, especially concerning exponential families, the expectation-maximization method for missing data, and model selection.

Per Martin-Löf is an enthusiastic bird-watcher; his first scientific publication was on the mortality rates of ringed birds.


Intuitionistic Type Theory 在線電子書 著者簡介


Intuitionistic Type Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Intuitionistic Type Theory 在線電子書 圖書描述

Intuitionistic type theory (also constructive type theory or Martin-Löf type theory) is a formal logical system and philosophical foundation for constructive mathematics. It is a full-scale system which aims to play a similar role for constructive mathematics as Zermelo-Fraenkel Set Theory does for classical mathematics. It is based on the propositions-as-types principle and clarifies the Brouwer-Heyting-Kolmogorov interpretation of intuitionistic logic. It extends this interpretation to the more general setting of intuitionistic type theory and thus provides a general conception not only of what a constructive proof is, but also of what a constructive mathematical object is. The main idea is that mathematical concepts such as elements, sets and functions are explained in terms of concepts from programming such as data structures, data types and programs. This article describes the formal system of intuitionistic type theory and its semantic foundations.

Intuitionistic Type Theory 在線電子書 下載 mobi epub pdf txt 在線電子書下載


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Intuitionistic Type Theory 在線電子書 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

Intuitionistic Type Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





Intuitionistic Type Theory 在線電子書 相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有