[FOM] Richard's Quest >> Feasible Numbers

José Félix Costa fgc at math.ist.utl.pt
Thu Jan 12 03:39:30 EST 2006


«And, for example, I am interested in exploring how much interesting, useful
mathematics can be done by allowing oneself, when talking about natural
numbers, to talk onlyabout natural numbers less than or equal to some
unspecified, rather large natural number.»

I strongly recommend a paper by Vladimir Sazonov (Liverpool):
Feasible Numbers

Arithmetics is rethought assuming a large, unspecified, finite, limit,
natural number.

Where your interests are addressed in Logic in a fashionating way.
I remember that paper from 1991 (but it was written before).

Jose Felix

J. Felix Costa
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel:      351 - 21 - 841 71 45
fax:     351 - 21 - 841 75 98
e-mail:   fgc at math.ist.utl.pt
www:    http://fgc.math.ist.utl.pt/jfc.htm

More information about the FOM mailing list