Galaxysubmit a sitepost content
Galaxy.com :: The Web's Original Searchable Directory

search for: in:   Only within Proof Theory

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 © 2009 GALAXY.COM   •   Terms - Privacy - Help