Re: [TYPES] The type/object distinction and possible synthesis of OOPand imperative programming lang

Discussion in 'Python' started by Mark Janssen, Apr 20, 2013.

  1. Mark Janssen

    Mark Janssen Guest

    > I think there is some misunderstanding here. Being "mathematical" in
    > academic work is a way of making our ideas rigorous and precise, instead of
    > trying to peddle wooly nonsense.

    I'm sorry. I am responsible for the misunderstanding. I used the
    word "math" when I really mean symbolic logic (which, historically,
    was part of philosophy). My point is that the field is confusing
    because it seems to ignore binary logic in favor of symbolic logic.
    Is binary logic not "rigorous and precise" enough?
    Tacoma, Washington
    Mark Janssen, Apr 20, 2013
    1. Advertisements

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.

Share This Page