Re: ZFC

In article <1120604654.368917.303210@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
<examachine@xxxxxxxxx> wrote:
<I want my set theory fully framed in a computational/constructive
<language. And then, I want each and every one of my arguments to be
<computational.
[...]
<The point of interest for me is: not all consequences would be identical
<with the classical approach. I just want to prove the fundamental
<theorem of calculus and maybe disprove a couple of other things and I
<would be done.

I'm not sufficiently familiar with the various options to be able to give
you a good answer to this question. Perhaps Keith Ramsay can answer it?
--
Tim Chow tchow-at-alum-dot-mit-dot-edu
The range of our projectiles---even ... the artillery---however great, will
never exceed four of those miles of which as many thousand separate us from
the center of the earth. ---Galileo, Dialogues Concerning Two New Sciences
.

Relevant Pages

  • Re: History of French
    ... > regularly encountered people who disprove the theory. ... We have evidence that children, regardless of their language, babble ... >> and cognitive stages on statistically consistent timescales. ...
    (sci.lang)
  • Re: Translatability
    ... anything that can be expressed in one language can be translated into any and all others. ... You and other scientists do further experiments specifically designed to challenge and disprove the hypothesis. ... As long as they don't disprove it, the hypothesis becomes a theory - the nearest concept to a 'fact' that any scientist will admit. ... This is because it only takes ONE experiment to falsify it, and that experiment may not be done until decades later. ...
    (sci.lang.translation)
  • Re: what makes it true?
    ... Keith Ramsay wrote: ... > There is a language of "elementary" Euclidean geometry ... > If we add to the elementary language of the reals the ...
    (sci.math)
  • Re: Continuum hypothesis
    ... Daryl McCullough wrote: ... could ask for a closed sentence S in the language of arithmetic such ... PA+S doesn't disprove Con. ...
    (sci.logic)
  • Re: History of French
    ... And there are counterexamples that disprove the ... > first 5-7 years of life, the ability to acquire language ...
    (sci.lang)