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...

תיאור מלא

שמור ב:

מידע ביבליוגרפי
מחבר ראשי:	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)