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

Côd 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...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	van Atten, Mark
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Springer 2015
Pynciau:	Gödel, Kurt Philosophy Logic, Symbolic mathematical Mathematics
Mynediad Ar-lein:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57660
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

An introduction to Gödel's Theorems
gan: Smith, Peter
Cyhoeddwyd: (2013)

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

On Brouwer
gan: Atten, Mark Van
Cyhoeddwyd: (2004)

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

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

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

Logic
Cyhoeddwyd: (1980)

Logic toán
gan: S L Edenmar
Cyhoeddwyd: (1981)

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

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

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

An introduction to symbolic logic
gan: Langer, Susanne Katherina
Cyhoeddwyd: (1953)

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

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

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

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

Mathematics and plausible reasoning
gan: Pólya, George
Cyhoeddwyd: (2013)

Propositions, functions, and analysis
gan: Hylton, Peter
Cyhoeddwyd: (2008)

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

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

Discrete-event system simulation
Cyhoeddwyd: (2001)

Logic for computer scientists
gan: Uwe Schoning
Cyhoeddwyd: (1989)

Transition to higher mathematics :
gan: Dumas , Bob A.
Cyhoeddwyd: (2007)

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

Mathematical logic for computer science.
gan: Lu Zhungwan
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Mathematical logic for computer science /
gan: Lu, Zhongwan.
Cyhoeddwyd: (1989)

Logic for mathematics and computer sicence
gan: Burris, Stanley N.
Cyhoeddwyd: (1998)

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

Discrete mathematics by example
gan: Andrew Simpson
Cyhoeddwyd: (2002)

Discrete mathematics
gan: Johnsonbaugh, Richard
Cyhoeddwyd: (2005)

Symbolic logic
gan: Agler, David W
Cyhoeddwyd: (2013)

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

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

Collected works
Cyhoeddwyd: (2003)

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

Nonstandard logics and nonstandard metrics in physics /
gan: Honig, William M.
Cyhoeddwyd: (1995)

Nonstandard logics and nonstandard metrics in physics /
gan: Honig, William M.
Cyhoeddwyd: (1995)

G.W. Leibniz, Interrelations between Mathematics and Philosophy
gan: Goethe, Norma B, et al.
Cyhoeddwyd: (2015)

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