|
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 |
Newsgroups: sci.math
From: Torkel Franzen <tor...@sm.luth.se>
Date: 06 Sep 2005 13:56:22 +0200
Local: Tues, Sep 6 2005 1:56 pm
Subject: Re: Han's startling new set theory.
Han de Bruijn <Han.deBru...@DTO.TUDelft.NL> writes:
> But what happens if the integers a and b become larger & larger? They become little pink intuitionists. > Then the accompanying rational becomes more and more like an irrational > number, it seems (in many cases). So what happens "in the limit"? > Is that true? Doesn't it employ "reductio ad absurdum": Q and (P and ~P) Not by the little pink intuitionists, no. > => ~Q ? Because this is not accepted as a constructive way of reasoning, > at least not by the intuitionists. > Maybe such testable predictions are close to constructively They turn pink. > decidable? > This all does not mean that I would prefer the intuitionistic theory of Yes, pink ones. > real numbers. But it opens some interesting pespectives, nevertheless. You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| |||||||||||||