FOM: OTT; Goedel's hype correction

Moshe' Machover moshe.machover at kcl.ac.uk
Wed Nov 12 19:48:19 EST 1997


I meant to say:

A clear example is the  definition of compactness (in general topology)
which standardly is Pi^2_2  (modulo the notion of finiteness of a set of
points).  The NSA equivalent is Pi^0_2 (mod the notion of standard point).

Note Pi^0_2 rather than Pi^1_2 as I mistakenly said. This is indeed a
formidable reduction in comlexity.


  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %%  Moshe' Machover                 | E-MAIL: moshe.machover at kcl.ac.uk %%
  %%  Department of Philosophy        | FAX (office)*: +44 171 873 2270  %%
  %%  King's College, London          | PHONE (home)*: +44 181 969 5356  %%
  %%  Strand                          |                                  %%
  %%  London WC2R 2LS                 |  * If calling from UK, replace   %%
  %%  England                         |    +44 by 0                      %%
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%





More information about the FOM mailing list