Re: Some Questions.




Bob Kolker wrote:
1. Can mathematics be done without the concept of set (or class or
collection)?

it needs some form of discrete collection
to be able to form strings

2. To what extent is set -theory- necessary to do mathematics?

it is not

performing a process (of describing)
and describing a process of describing
are two separate things

any repeatable and learnable symbology
is doing mathematics

one description is set theory

The questions are slightly different, so please note.

3. Are there alternate foundations of mathematics to sets?

category theory has been used
to describe mathematics in "diagrams"
as an algebraic alternative

the diagrams play the part of the collection
and can replace any set foundations normally used in category theory

f w lawvere did much work on this in the 60s
and books like
"topoi: a categorial analysis of logic"
"sheaves and geometery"
and "algebraic set theory"

show much of these types of development

the advantage of these types of formulations
is that they are intensional


-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
galathaea: prankster, fablist, magician, liar

.



Relevant Pages

  • Re: Well Ordering the Reals
    ... most of the standard axioms would get scrapped ... you claim that set theory is ... theory in which to express virtually all of mathematics. ... S (call this function 'omega pre S'). ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... What I mean is set theory was not born just by the great thought of Cantor. ... of mathematics behind, which help greatly, and which even where necessary for the theory to be imagined. ... formalization, at a level up, for meta-theory. ... scientists and engineers doesn't have to be used by engineers. ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... What I mean is set theory was not ... >> prove only the mathematics we set out to prove and not statements about ... >> formalization that does not compromise the other criteria. ... >> or show a formalization that does not compromise the other criteria. ...
    (sci.math)
  • Re: Das Kalenderblatt 090921
    ... as the appropriate foundation for modern mathematics, ... and set theory itself, ... Unter einer „Menge“ verstehen wir jede Zusammenfassung M von ... Die Existenz von R baut sich auf die " Dedekind'schen Schnitte " auf - ...
    (de.sci.mathematik)
  • Re: Kuratowski Ordered Pair
    ... notions of temporality and things like that, ... operation and mathematics seems to do just fine with the Kuratowski ... definitions are offered by detractors of the Kuratowski definition? ... Fromout set theory ...
    (sci.math)