Add A Site · What's New  
Search for:   in:


Home > Science > Mathematics > Foundations of Mathematics > Proof Theory


Web Sites
Linear Logic in Computer Science TMR network
Preview Site   iml.univ-mrs.fr/ldp/LINEAR/   reviews

A Critique of the Diagonal Method
A Critique of the Diagonal Method But let us remember that we are dealing with infinities and indivisibles, both of which transcend our finite understanding... Galileo Galilei Since its inception in 1890, transfinite theory has been a center of great controversy. Many mathematicians see it as a paradise--the finest example of abstract mathematics. Others see it as a disease waiting a cure. From ...
Preview Site   descmath.com/diag/   reviews




Copyright © 1994-2009 eiNET.net · Terms · Privacy · Help