1. Forum
  2. USENET
  3. sci.logic

  • Re: There Are Only Two Systems of Mathematics

    From Ross Finlayson@ross.a.finlayson@gmail.com to sci.logic on Mon Sep 28 11:23:19 2026
    From Newsgroup: sci.logic

    On 04/16/2015 04:47 AM, Charlie-Boo wrote:
    On Thursday, April 2, 2015 at 10:10:52 PM UTC-4, Julio Di Egidio wrote:
    "Charlie-Boo" <shymathguy@gmail.com> wrote in message
    news:35622d77-cf18-4ec4-bf7e-8d599abcbc08@googlegroups.com...
    How many ways can we define the set of prime numbers or any other set?

    Use English, logic, computer programming.

    Each is a system of mathematics.

    Wrong. Logic is not part of mathematics

    There is no way in the world that you can define Mathematics in such a way as to exclude Logic. Try it.

    C-B

    , you must have mathematical logic
    in mind. Secondly, that programming is the same as mathematics makes rather >> an interesting question...

    What others are there?

    There are only 2.

    There is just one mathematics.

    I'd propend for programming as engineering using applied mathematical logic. >> Sure, scientists do some programming, managers, secretaries, astronomers,
    everybody do some programming: in fact, I believe it should be taught in
    schools, perhaps at least as much as mathematics... and I do not mean the
    "intricacies of the computer science" again, I mean solving problems.

    Either it contains itself (call it SELF) or the negation of every object >>> is an object (call it NOTX.) Logic and computer programming are SELF and >>> English is NOTX. Expressing a set with a wff is NOTX. Representing it is >>> SELF.

    What other systems are there? That are not SELF or NOT?

    Conflating logic with mathematical logic is a "bad" thing... Yeah, if I had >> to choose, I guess I'd rather conflate logic and programming than
    mathematics and programming. Less damaging to the notions involved.

    Julio


    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From Ross Finlayson@ross.a.finlayson@gmail.com to sci.logic on Tue Sep 29 09:34:53 2026
    From Newsgroup: sci.logic

    On 09/28/2026 11:23 AM, Ross Finlayson wrote:
    On 04/16/2015 04:47 AM, Charlie-Boo wrote:
    On Thursday, April 2, 2015 at 10:10:52 PM UTC-4, Julio Di Egidio wrote:
    "Charlie-Boo" <shymathguy@gmail.com> wrote in message
    news:35622d77-cf18-4ec4-bf7e-8d599abcbc08@googlegroups.com...
    How many ways can we define the set of prime numbers or any other set? >>>>
    Use English, logic, computer programming.

    Each is a system of mathematics.

    Wrong. Logic is not part of mathematics

    There is no way in the world that you can define Mathematics in such a
    way as to exclude Logic. Try it.

    C-B

    , you must have mathematical logic
    in mind. Secondly, that programming is the same as mathematics makes
    rather
    an interesting question...

    What others are there?

    There are only 2.

    There is just one mathematics.

    I'd propend for programming as engineering using applied mathematical
    logic.
    Sure, scientists do some programming, managers, secretaries,
    astronomers,
    everybody do some programming: in fact, I believe it should be taught in >>> schools, perhaps at least as much as mathematics... and I do not mean
    the
    "intricacies of the computer science" again, I mean solving problems.

    Either it contains itself (call it SELF) or the negation of every
    object
    is an object (call it NOTX.) Logic and computer programming are
    SELF and
    English is NOTX. Expressing a set with a wff is NOTX. Representing
    it is
    SELF.

    What other systems are there? That are not SELF or NOT?

    Conflating logic with mathematical logic is a "bad" thing... Yeah,
    if I had
    to choose, I guess I'd rather conflate logic and programming than
    mathematics and programming. Less damaging to the notions involved.

    Julio



    The usual account of preservation of truth-semantics makes for that
    there's a "the logic" for a "the mathematics".


    --- Synchronet 3.22a-Linux NewsLink 1.2