Some minor errata in `Natural Topology’

(17 oct 2012: this post is obsolete since the second edition of `Natural Topology’ is now available)

I will use this post to list minor errata in the book `Natural Topology’ (see previous post), which of course only leap to my eye after finishing the manuscript. Hopefully they won’t run into the hundreds…but I will no doubt have to update from time to time.

  • definition A.3.1 should read: `B is a thin bar on V iff for each successor point x\in\mathcal{V} there is a unique n\in\mathbb{N} with x_n\in B.’ (and where `successor point’ is defined in definition A.3.16 (a))
  • on page 99, three quarters down, it should read: `Brouwer sharply demonstrated this mathematically, with various clever examples, showing e.g. that for an arbitrary real-valued continuous function f on the real interval [0,1] one cannot always construct an x in [0,1] where f assumes a maximum.’
  • on page 108, `expliticized’ should of course read `explicitized’.
  • on pages 42, 43, 80 (except the footnote) and 111, the term `computability´ should be replaced by `computational´ or `computational practice´.
  • in the bibliography, [Kle1969] should of course read: `S.C. Kleene. Formalized Recursive Functionals and Formalized Realizability,
    Memoirs of the American Mathematical Society, vol. 89, American Mathematical Society, 1969.’

 

Advertisements

About fwaaldijk

mathematician (foundations & topology in constructive mathematics) and visual artist
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s