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

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

Fuld beskrivelse

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	van Atten, Mark
Format:	Bog
Sprog:	English
Udgivet:	Springer 2015
Fag:	Gödel, Kurt Philosophy Logic, Symbolic mathematical Mathematics
Online adgang:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57660
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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

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

On Brouwer
af: Atten, Mark Van
Udgivet: (2004)

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

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

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

Logic
Udgivet: (1980)

Logic toán
af: S L Edenmar
Udgivet: (1981)

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

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

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

An introduction to symbolic logic
af: Langer, Susanne Katherina
Udgivet: (1953)

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

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

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

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

Mathematics and plausible reasoning
af: Pólya, George
Udgivet: (2013)

Propositions, functions, and analysis
af: Hylton, Peter
Udgivet: (2008)

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

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

Discrete-event system simulation
Udgivet: (2001)

Logic for computer scientists
af: Uwe Schoning
Udgivet: (1989)

Transition to higher mathematics :
af: Dumas , Bob A.
Udgivet: (2007)

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

Mathematical logic for computer science.
af: Lu Zhungwan
Udgivet: (1989)

Mathematical logic for computer science /
af: Lu, Zhongwan.
Udgivet: (1989)

Mathematical logic for computer science /
af: Lu, Zhongwan.
Udgivet: (1989)

Logic for mathematics and computer sicence
af: Burris, Stanley N.
Udgivet: (1998)

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

Discrete mathematics by example
af: Andrew Simpson
Udgivet: (2002)

Discrete mathematics
af: Johnsonbaugh, Richard
Udgivet: (2005)

Symbolic logic
af: Agler, David W
Udgivet: (2013)

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

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

Collected works
Udgivet: (2003)

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

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

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

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

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