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

QR Code (код быстрого отклика)

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
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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, et al.
Опубликовано: (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, et al.
Опубликовано: (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, et al.
Опубликовано: (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, et al.
Опубликовано: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
по: Baixeries, Jaume, et al.
Опубликовано: (2015)