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.


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

... the name of Oslo, from 1624 to 1925. The Free State of Christiania - a partially self-governing neighborhood in the city of Copenhagen. This is a disambiguation page; ...

This page was created in 26.4 ms