Ảnh bìa

Kurt Gödel: Results on Foundations

Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he set as his aim to solve what are known as Hilbert's first and second problems, namely Cantor's continuum hypothesis about the cardinality of real numbers, and secondly the consistency of the theo...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	SpringerLink (Online service)
Tác giả khác:	Hämeen-Anttila, Maria (Biên tập viên), von Plato, Jan (Biên tập viên)
Định dạng:	Điện tử eBook
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Phiên bản:	1st ed. 2023.
Loạt:	Sources and Studies in the History of Mathematics and Physical Sciences,
Những chủ đề:	Mathematics. History. Mathematical logic. History of Mathematical Sciences. Mathematical Logic and Foundations.
Truy cập trực tuyến:	https://doi.org/10.1007/978-3-031-37875-1
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Những quyển sách tương tự

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
Bằng: Hoffmann, Dirk W.
Được phát hành: (2024)

Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
Bằng: Halbeisen, Lorenz, et al.
Được phát hành: (2025)

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
Bằng: Rodríguez-Consuegra, Francisco
Được phát hành: (2025)

An Invitation to Mathematical Logic
Bằng: Marker, David
Được phát hành: (2024)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
Bằng: Viale, Matteo
Được phát hành: (2024)

Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
Được phát hành: (2025)

New Directions in Relevant Logic
Được phát hành: (2025)

The New Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of Its Creators /
Bằng: Soifer, Alexander
Được phát hành: (2024)

Philosophy of Mathematics in Antiquity and in Modern Times
Bằng: Felgner, Ulrich
Được phát hành: (2023)

Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
Bằng: Batzoglou, Serafim
Được phát hành: (2024)

Leibniz on the Foundations of the Differential Calculus
Bằng: Arthur, Richard T. W., et al.
Được phát hành: (2025)

Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
Được phát hành: (2024)

R-Calculus, VI: Finite Injury Priority Method
Bằng: Li, Wei, et al.
Được phát hành: (2025)

An Introduction to Naïve Set Theory and Its Applications
Bằng: Srivastava, Shashi Mohan
Được phát hành: (2024)

From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Được phát hành: (2024)

The Mathematical Representation of Physical Reality
Bằng: Hacyan, Shahen
Được phát hành: (2023)

Mathematical Book Histories Printing, Provenance, and Practices of Reading /
Được phát hành: (2024)

And I Saw Sequences of Petals and Leaves My Life as the One They Call Fibonacci /
Bằng: Struppa, Daniele C.
Được phát hành: (2024)

Under the Spell of Mathematics The cultural phenomenon of mathematics in civilisation, art and nature. /
Bằng: Verhulst, Rik
Được phát hành: (2024)

The Mathematical Enigma of Guamán Poma’s Yupana A Hundred Years' Riddle /
Bằng: Florio, Cinzia
Được phát hành: (2025)

Pierre Varignon, un géomètre « professionnel » à l’aube des Lumières
Được phát hành: (2025)

Research in History and Philosophy of Mathematics The CSHPM 2022 Volume /
Được phát hành: (2024)

Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics
Bằng: Kiryushchenko, Vitaly
Được phát hành: (2023)

Irrationality, Transcendence and the Circle-Squaring Problem An Annotated Translation of J. H. Lambert’s Vorläufige Kenntnisse and Mémoire /
Bằng: Dorrego López, Eduardo, et al.
Được phát hành: (2023)

Irrationality, Transcendence and the Circle-Squaring Problem An Annotated Translation of J. H. Lambert’s Vorläufige Kenntnisse and Mémoire /
Bằng: Dorrego López, Eduardo, et al.
Được phát hành: (2024)

La correspondance entre Henri Poincaré et les mathématiciens
Được phát hành: (2024)

Arithmetic and Algebraic Geometry A Mathematical Tribute to Yuri Manin /
Được phát hành: (2024)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
Bằng: Halbeisen, Lorenz J.
Được phát hành: (2025)

Research Connections Career and Research Journeys from the SMP Community /
Được phát hành: (2025)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Được phát hành: (2024)

Logicomix: An Epic Search for Truth An Epic Search for Truth
Bằng: Doxiadis
Được phát hành: (2009)

Mathematics Before and After Pythagoras Exploring the Foundations and Evolution of Mathematical Thought /
Bằng: Agarwal, Ravi P.
Được phát hành: (2024)

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
Bằng: Schreiner, Wolfgang
Được phát hành: (2023)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Bằng: Hoffmann, Dirk W.
Được phát hành: (2025)

Logic in Computer Science
Bằng: Zhang, Hantao, et al.
Được phát hành: (2025)

History of Mathematics and Its Contexts Essays in Honor of Gert Schubring /
Được phát hành: (2024)

R-Calculus, IV: Propositional Logic
Bằng: Li, Wei, et al.
Được phát hành: (2023)

Research in History and Philosophy of Mathematics The CSHPM 2021 Volume /
Được phát hành: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Được phát hành: (2024)

A Brief History of Mathematics A Promenade through the Civilizations of Our World /
Bằng: Cai, Tianxin
Được phát hành: (2023)