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

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

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	van Atten, Mark
Format:	Llibre
Idioma:	English
Publicat:	Springer 2015
Matèries:	Gödel, Kurt Philosophy Logic, Symbolic mathematical Mathematics
Accés en línia:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57660
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

On Brouwer
per: Atten, Mark Van
Publicat: (2004)

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

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

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

Logic
Publicat: (1980)

Logic toán
per: S L Edenmar
Publicat: (1981)

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

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

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

An introduction to symbolic logic
per: Langer, Susanne Katherina
Publicat: (1953)

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

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

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

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

Mathematics and plausible reasoning
per: Pólya, George
Publicat: (2013)

Propositions, functions, and analysis
per: Hylton, Peter
Publicat: (2008)

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

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

Discrete-event system simulation
Publicat: (2001)

Logic for computer scientists
per: Uwe Schoning
Publicat: (1989)

Transition to higher mathematics :
per: Dumas , Bob A.
Publicat: (2007)

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

Mathematical logic for computer science.
per: Lu Zhungwan
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Mathematical logic for computer science /
per: Lu, Zhongwan.
Publicat: (1989)

Logic for mathematics and computer sicence
per: Burris, Stanley N.
Publicat: (1998)

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

Discrete mathematics by example
per: Andrew Simpson
Publicat: (2002)

Discrete mathematics
per: Johnsonbaugh, Richard
Publicat: (2005)

Symbolic logic
per: Agler, David W
Publicat: (2013)

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

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

Collected works
Publicat: (2003)

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

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

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

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

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