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

QR koda

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

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	van Atten, Mark
Format:	Knjiga
Jezik:	English
Izdano:	Springer 2015
Teme:	Gödel, Kurt Philosophy Logic, Symbolic mathematical Mathematics
Online dostop:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57660
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

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

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

On Brouwer
od: Atten, Mark Van
Izdano: (2004)

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

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

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

Logic
Izdano: (1980)

Logic toán
od: S L Edenmar
Izdano: (1981)

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

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

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

An introduction to symbolic logic
od: Langer, Susanne Katherina
Izdano: (1953)

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

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

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

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

Mathematics and plausible reasoning
od: Pólya, George
Izdano: (2013)

Propositions, functions, and analysis
od: Hylton, Peter
Izdano: (2008)

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

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

Discrete-event system simulation
Izdano: (2001)

Logic for computer scientists
od: Uwe Schoning
Izdano: (1989)

Transition to higher mathematics :
od: Dumas , Bob A.
Izdano: (2007)

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

Mathematical logic for computer science.
od: Lu Zhungwan
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Mathematical logic for computer science /
od: Lu, Zhongwan.
Izdano: (1989)

Logic for mathematics and computer sicence
od: Burris, Stanley N.
Izdano: (1998)

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

Discrete mathematics by example
od: Andrew Simpson
Izdano: (2002)

Discrete mathematics
od: Johnsonbaugh, Richard
Izdano: (2005)

Symbolic logic
od: Agler, David W
Izdano: (2013)

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

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

Collected works
Izdano: (2003)

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

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

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

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

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