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

QR-koodi

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

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	van Atten, Mark
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Springer 2015
Aiheet:	Gödel, Kurt Philosophy Logic, Symbolic mathematical Mathematics
Linkit:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57660
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

An introduction to Gödel's Theorems
Tekijä: Smith, Peter
Julkaistu: (2013)

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

On Brouwer
Tekijä: Atten, Mark Van
Julkaistu: (2004)

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

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

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

Logic
Julkaistu: (1980)

Logic toán
Tekijä: S L Edenmar
Julkaistu: (1981)

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

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

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

An introduction to symbolic logic
Tekijä: Langer, Susanne Katherina
Julkaistu: (1953)

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

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

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

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

Mathematics and plausible reasoning
Tekijä: Pólya, George
Julkaistu: (2013)

Propositions, functions, and analysis
Tekijä: Hylton, Peter
Julkaistu: (2008)

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

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

Discrete-event system simulation
Julkaistu: (2001)

Logic for computer scientists
Tekijä: Uwe Schoning
Julkaistu: (1989)

Transition to higher mathematics :
Tekijä: Dumas , Bob A.
Julkaistu: (2007)

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

Mathematical logic for computer science.
Tekijä: Lu Zhungwan
Julkaistu: (1989)

Mathematical logic for computer science /
Tekijä: Lu, Zhongwan.
Julkaistu: (1989)

Mathematical logic for computer science /
Tekijä: Lu, Zhongwan.
Julkaistu: (1989)

Logic for mathematics and computer sicence
Tekijä: Burris, Stanley N.
Julkaistu: (1998)

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

Discrete mathematics by example
Tekijä: Andrew Simpson
Julkaistu: (2002)

Discrete mathematics
Tekijä: Johnsonbaugh, Richard
Julkaistu: (2005)

Symbolic logic
Tekijä: Agler, David W
Julkaistu: (2013)

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

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

Collected works
Julkaistu: (2003)

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

Nonstandard logics and nonstandard metrics in physics /
Tekijä: Honig, William M.
Julkaistu: (1995)

Nonstandard logics and nonstandard metrics in physics /
Tekijä: Honig, William M.
Julkaistu: (1995)

G.W. Leibniz, Interrelations between Mathematics and Philosophy
Tekijä: Goethe, Norma B, et al.
Julkaistu: (2015)

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