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
North Lindenhurst, New York

... 11.8% who are 65 years of age or older. The median age is 36 years. For every 100 females there are 96.3 males. For every 100 females age 18 and over, there are 91.6 ...

 
 
 
This page was created in 26.2 ms