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

Κώδικας 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
Διαθέσιμο Online:	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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (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, κ.ά.
Έκδοση: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
ανά: Baixeries, Jaume, κ.ά.
Έκδοση: (2015)