£57.95

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

Mathematical Logic

Price data last checked 106 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£58 today · cheaper than every other day in the last 24 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 625 days • 625 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 625 days • 1 price levels

Days at Price

Price Analysis

Most common price: £58 (625 days, 100.0%)

Price range: £58 - £58

Price levels: 1 different prices over 625 days

Description

In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulating research in both areas, with the interface between logic and combinatorics being especially important because of its relation to crucial issues in the foundations of mathematics which were raised by the work of Kurt Godel. Because of the diversity of the lines of research that have begun to shed light on these issues, there was a need for a comprehensive overview which would tie the lines together. This volume fills that need by presenting a balanced mixture of high quality expository and research articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California.With an introductory survey to put the works into an appropriate context, the collection consists of papers dealing with various aspects of 'unprovable theorems and fast-growing functions'. Among the topics addressed are: ordinal notations, the dynamical systems approach to Ramsey theory, Hindman's finite sums theorem and related ultrafilters, well quasiordering theory, uncountable combinatorics, nonstandard models of set theory, and a length-of-proof analysis of Godel's incompleteness theorem. Many of the articles bring the reader to the frontiers of research in this area, and most assume familiarity with combinatorics and/or mathematical logic only at the senior undergraduate or first-year graduate level.

Product Specifications

Format: paperback
ASIN: 0821850520
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 15 December 1987
Listed Since: 17 December 2006

Barcode

No barcode data available

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

An Introduction to Ramsey Theory: Fast Functions, Infinity, and Metamathematics (Student Mathematical Library)

The Mathematics of Paul Erdős II: 2

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

A First Course in Enumerative Combinatorics (Pure and Applied Undergraduate Texts)

Finite and Infinite Combinatorics in Sets and Logic: 411 (Nato Science Series C:, 411)

A First Course in Mathematical Logic and Set Theory

The Mathematics of Paul Erdős II

Mathematical Foundations of Computer Science

Mathematics via Problems: Part 3: Combinatorics: 29 (MSRI Mathematical Circles Library)

Structure and Randomness in Computability and Set Theory

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Number Theoretic Density and Logical Limit Laws (Mathematical Surveys and Monographs)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra: In Honour of Peter Paule on his 60th Birthday (Texts & Monographs in Symbolic Computation)

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)

Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)

The Discrete Mathematical Charms of Paul Erdos: A Simple Introduction

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Foundations of Mathematics (Contemporary Mathematics): Logic at Harvard Essays in Honor of W. Hugh Woodin's 60th Birthday March 27-29, 2015 Harvard University, Cambridge, MA

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)