Encyclopedia > Robert Walker

  Article Content

User:Robert Walker

Redirected from Robert Walker

Inventor / mathematician / shareware software programmer.

I did some research on a style of mathematics in which everything is finite, in which exceedingly large numbers take the place of the infinities of classical and intuitionistic logic.

It uses a logic intermediate between classical and intuitionistic logic.

This page describes some of the philosophy behind it. The research was done some years ago, and in fact I have forgotten most of it, and would need to look it up again if anyone was interested. Reactions to it were unfavourable, so I never tried to publish it. However, I was satisfied with it myself, as it answered the basic question that motivated the research and lead to new areas for research which I enjoyed following up, so could possibly be of interest to others too.

http://www.rcwalker.freeserve.co.uk/robert/largenumbersasinfinite.htm



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Thomas a Kempis

... type. It was written by a monk and intended for the convent; it lays stress on the passive qualities and does not touch with firmness the string of active service ...

 
 
 
This page was created in 27 ms