Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Mã QR

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of th...

Đã lưu trong:

書目詳細資料
主要作者:	van Atten, Mark
格式:	圖書
語言:	English
出版:	Springer 2015
主題:	Gödel, Kurt Philosophy Logic, Symbolic mathematical Mathematics
在線閱讀:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57660
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

相似書籍

An introduction to Gödel's Theorems
由: Smith, Peter
出版: (2013)

Thinking about Gödel and Turing : essays on complexity 1970-2007 /
由: Chaitin, Gregory J.
出版: (2007)

On Brouwer
由: Atten, Mark Van
出版: (2004)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
由: Banerjee, Mohua, et al.
出版: (2015)

Định lý Godel Nền tảng của khoa học nhận thức hiện đại
由: Phạm, Việt Hưng
出版: (2019)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
由: Koslow, Arnold, et al.
出版: (2015)

Logic
出版: (1980)

Logic toán
由: S L Edenmar
出版: (1981)

Bước đầu làm quen với logic toán
由: Nguyễn Mạnh Trinh
出版: (1997)

Các bài toán về suy luận logic
由: Trần, Diên Hiển
出版: (2000)

Bảy phương pháp giải các bài toán logic
由: Đặng Huy Ruận

An introduction to symbolic logic
由: Langer, Susanne Katherina
出版: (1953)

Cơ sở toán trong lập trình
由: Đỗ Đức Giáo
出版: (1998)

Bước đầu làm quen với logic toán
由: Nguyễn Mạnh Trinh
出版: (1999)

Một số vấn đề về thuật toán
由: Nguyễn, Hữu Điển
出版: (2006)

Bảy phương pháp giải các bài toán logic
由: Đặng, Huy Ruận
出版: (2002)

Mathematics and plausible reasoning
由: Pólya, George
出版: (2013)

Propositions, functions, and analysis
由: Hylton, Peter
出版: (2008)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
由: Hoàng Chúng
出版: (1977)

Tập hợp và logic :
由: Hoàng, Xuân Sính
出版: (1998)

Discrete-event system simulation
出版: (2001)

Logic for computer scientists
由: Uwe Schoning
出版: (1989)

Transition to higher mathematics :
由: Dumas , Bob A.
出版: (2007)

Toán rời rạc ứng dụng trong tin học =
由: Rosen, Kenneth H.
出版: (2002)

Mathematical logic for computer science.
由: Lu Zhungwan
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

Mathematical logic for computer science /
由: Lu, Zhongwan.
出版: (1989)

Logic for mathematics and computer sicence
由: Burris, Stanley N.
出版: (1998)

Nhập môn lý thuyết tập hợp và logic
由: Phan Hữu Chân
出版: (1977)

Discrete mathematics by example
由: Andrew Simpson
出版: (2002)

Discrete mathematics
由: Johnsonbaugh, Richard
出版: (2005)

Symbolic logic
由: Agler, David W
出版: (2013)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
由: Chakraborty, M, et al.
出版: (2015)

Cơ sở lí thuyết tập hợp và lôgic toán :
由: Trần, Diên Hiển
出版: (2007)

Collected works
出版: (2003)

Bài giảng cơ sở logic và tập hợp
由: Lê, Văn Sáng
出版: (2000)

Nonstandard logics and nonstandard metrics in physics /
由: Honig, William M.
出版: (1995)

Nonstandard logics and nonstandard metrics in physics /
由: Honig, William M.
出版: (1995)

G.W. Leibniz, Interrelations between Mathematics and Philosophy
由: Goethe, Norma B, et al.
出版: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
由: Baixeries, Jaume, et al.
出版: (2015)