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

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

保存先:

書誌詳細
第一著者:	van Atten, Mark
フォーマット:	図書
言語:	English
出版事項:	Springer 2015
主題:	Gödel, Kurt Philosophy Logic, Symbolic mathematical Mathematics
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57660
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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, 等
出版事項: (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, 等
出版事項: (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, 等
出版事項: (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)

G.W. Leibniz, Interrelations between Mathematics and Philosophy
著者:: Goethe, Norma B, 等
出版事項: (2015)

Nonstandard logics and nonstandard metrics in physics /
著者:: Honig, William M.
出版事項: (1995)

Nonstandard logics and nonstandard metrics in physics /
著者:: Honig, William M.
出版事項: (1995)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
著者:: Baixeries, Jaume, 等
出版事項: (2015)