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
Rameses

... name means "Child of the Sun". This is a disambiguation page; that is, one that just points to other pages that might otherwise have the same name. If you followed ...

 
 
 
This page was created in 43.7 ms