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

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

Descrizione completa

Salvato in:

Dettagli Bibliografici
Autore principale:	van Atten, Mark
Natura:	Libro
Lingua:	English
Pubblicazione:	Springer 2015
Soggetti:	Gödel, Kurt Philosophy Logic, Symbolic mathematical Mathematics
Accesso online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57660
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

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

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

On Brouwer
di: Atten, Mark Van
Pubblicazione: (2004)

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

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

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

Logic
Pubblicazione: (1980)

Logic toán
di: S L Edenmar
Pubblicazione: (1981)

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

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

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

An introduction to symbolic logic
di: Langer, Susanne Katherina
Pubblicazione: (1953)

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

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

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

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

Mathematics and plausible reasoning
di: Pólya, George
Pubblicazione: (2013)

Propositions, functions, and analysis
di: Hylton, Peter
Pubblicazione: (2008)

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

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

Discrete-event system simulation
Pubblicazione: (2001)

Logic for computer scientists
di: Uwe Schoning
Pubblicazione: (1989)

Transition to higher mathematics :
di: Dumas , Bob A.
Pubblicazione: (2007)

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

Mathematical logic for computer science.
di: Lu Zhungwan
Pubblicazione: (1989)

Mathematical logic for computer science /
di: Lu, Zhongwan.
Pubblicazione: (1989)

Mathematical logic for computer science /
di: Lu, Zhongwan.
Pubblicazione: (1989)

Logic for mathematics and computer sicence
di: Burris, Stanley N.
Pubblicazione: (1998)

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

Discrete mathematics by example
di: Andrew Simpson
Pubblicazione: (2002)

Discrete mathematics
di: Johnsonbaugh, Richard
Pubblicazione: (2005)

Symbolic logic
di: Agler, David W
Pubblicazione: (2013)

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

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

Collected works
Pubblicazione: (2003)

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

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

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

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

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