[FRIAM] recap on Rosen

[Günther Greindl]

Dear Glen,

> And that's where non-well-founded set theory seems useful.  What is the
> ultimate difference between formalisms (models) requiring the foundation
> axiom and those that do NOT require it?

That is a very interesting question. Do you have some good references 
which look at this?

> It seems to me that formalisms built without the foundation axiom will
> lack some of the definiteness we find and expect in our mathematics.
...
> set theory.  And it also seems related to the rampant abuse of concepts
> like iteration (e.g. recursion).

Could you give examples of abuses, I would be interested?

> to Wells' paper.  Then make fun of me if I haven't read it, yet.
> That'll coerce me into reading it.

OK :-))

Cheers,
Günther



-- 
Günther Greindl
Department of Philosophy of Science
University of Vienna
guenther.greindl at univie.ac.at
http://www.univie.ac.at/Wissenschaftstheorie/

Blog: http://dao.complexitystudies.org/
Site: http://www.complexitystudies.org