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