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
Brazil

... rejected. States Main article: States of Brazil Brazil consists of 26 states (estados, singular - estado) and 1 federal district (distrito federal): ...

 
 
 
This page was created in 32.1 ms