I'll bite. Why should a real numbers not be defined as an equivalence
class of Cauchy sequences of rational numbers?
Joe
On 7/31/20 1:03 PM, Frank Wimberly wrote:
Glen et al,.
This morning Glen raised some interesting questions about the
limitations of constructive mathematics if I
Also
the Axiom of Choice can be shown to entail the cardinal rule of classical
logic, the law of excluded middle—the assertion that A∨¬AA∨¬A for any
proposition AA. To be precise, using the rules of intuitionistic logic
within our augmented language LL, we shall derive[15
Glen et al,.
This morning Glen raised some interesting questions about the limitations
of constructive mathematics if I understood correctly. My undergraduate
advisor, Errett Bishop wrote a book called Foundations of Constructive
Analysis. Fortunately I inherited a copy from Reuben. I will
