عنوان

An introduction to Ramsey theory :

شابک

1470442906

شابک

9781470442903

عنوان اصلي

An introduction to Ramsey theory :

نام عام مواد

[Book]

ساير اطلاعات عنواني

fast functions, infinity, and metamathematics /

نام نخستين پديدآور

Matthew Katz, Jan Reimann.

محل نشرو پخش و غیره

Providence, Rhode Island :

نام ناشر، پخش کننده و غيره

American Mathematical Society,

تاریخ نشرو بخش و غیره

[2018]

نام خاص و کميت اثر

xiv, 207 pages :

ساير جزييات

illustrations ;

ابعاد

22 cm.

عنوان فروست

Student mathematical library ;

مشخصه جلد

87

متن يادداشت

"Mathematics Advanced Study Semesters."

متن يادداشت

Includes bibliographical references and index.

متن يادداشت

Graph Ramsey theory -- Infinite Ramsey theory -- Growth of Ramsey functions -- Metamathematics.

بدون عنوان

0

متن يادداشت

"This book takes the reader on a journey through Ramsey theory, from graph theory and combinatorics to set theory to logic and metamathematics. Written in an informal style with few requisites, it develops two basic principles of Ramsey theory: many combinatorial properties persist under partitions, but to witness this persistence, one has to start with very large objects. The interplay between those two principles not only produces beautiful theorems but also touches the very foundations of mathematics. In the course of this book, the reader will learn about both aspects. Among the topics explored are Ramsey's theorem for graphs and hypergraphs, van der Waerden's theorem on arithmetic progressions, infinite ordinals and cardinals, fast growing functions, logic and provability, Gödel incompleteness, and the Paris-Harrington theorem. Quoting from the book, There seems to be a murky abyss lurking at the bottom of mathematics. While in many ways we cannot hope to reach solid ground, mathematicians have built impressive ladders that let us explore the depths of this abyss and marvel at the limits and at the power of mathematical reasoning at the same time. Ramsey theory is one of those ladders."--

موضوع مستند نشده

Combinatorial analysis.

موضوع مستند نشده

Ramsey theory.

موضوع مستند نشده

Combinatorial analysis.

موضوع مستند نشده

Combinatorics -- Extremal combinatorics -- Ramsey theory.

موضوع مستند نشده

Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.

موضوع مستند نشده

Mathematical logic and foundations -- General logic -- Classical first-order logic.

موضوع مستند نشده

Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.

موضوع مستند نشده

Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).

موضوع مستند نشده

Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.

موضوع مستند نشده

Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.

موضوع مستند نشده

Ramsey theory.

شماره

ويراست

شماره رده

نشانه اثر

شماره رده

شماره رده

کد سيستم

کد سيستم

مستند نام اشخاص تاييد نشده

Katz, Matthew,1986-

مستند نام اشخاص تاييد نشده

Reimann, Jan,1971-

مستند نام تنالگان تاييد نشده

Pennsylvania State University., Mathematics Advanced Study Semesters.

تاريخ عمليات

20200823025831.0

قواعد فهرست نويسي ( بخش توصيفي )

rda

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y