7 comments on “Concrete Incompleteness 1

  1. Parris-Harrington Theorem 1 is false as stated – forcing A to have a minimum number of elements doesn’t guarantee it has any relatively big subsets, let alone monochromatic ones. I think you want to confine the statement to A = {1..n}

  2. (Having finished reading through the slides)
    Thank-you for publishing this – a very clear exposition.

  3. Pingback: Picking holes in mathematics | tarungehlots

Comments are closed.