Add new comment

Permalink

Hi Phil!
I may be dead wrong, but I thought that Intuitionists do not accept at all actual infinite in proving theorems: the only kind of infinite they would accept is the potential one (like in Euclid axioms: the line is not infinite, it may be prolonged at wish). Is it true, or constructivism is only a subsect of intuitionism?

Filtered HTML

  • Web page addresses and email addresses turn into links automatically.
  • Allowed HTML tags: <a href hreflang> <em> <strong> <cite> <code> <ul type> <ol start type> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.
  • Want facts and want them fast? Our Maths in a minute series explores key mathematical concepts in just a few words.