Jump to content
Banner by ~ Sparklefan1234

Duality

Users
  • Posts

    288
  • Joined

  • Last visited

Profile Information

  • Gender
    Male
  • Location
    On average, about 149,608,900km from the centre of the sun.
  • Personal Motto
    Omnia dicta fortiora si dicta Latina
  • Interests
    - Engineering (particularly geotechnical),
    - Physics,
    - Mathematics,
    - Formal logic,
    - Philosophy,
    - Adorable things (especially ponies, cats, bunnies, and grey ducks),
    - Collecting/accumulating various aesthetically pleasing oddments,
    - Collecting/accumulating various interesting antique miscellanies,
    - Collecting/accumulating various second-hand dictionaries/thesauri,
    - Collecting/accumulating various nifty and often archaic vocabillularary words,
    - Finding and categorising various forms of genetically mutated daisies,
    - Making things up on the spot (intellectual ad-libbing is my forte),
    - Owl City, Pentatonix, & chipper chiptune music,
    - Reading Sir Terry Pratchett & Brandon Sanderson novels,
    - Reading C.S. Lewis' classic theology books,
    - Reading the surviving observations and deductions of various ancient philosophers and scientists (e.g., Da Vinci, Aristotle, etc.),
    - Lego (great for modelling simple engineering problems),
    - Minecraft,
    - 8-bit games,
    - Irony,
    - Being interesting.

MLP Forums

  • Favorite Forum Section
    Everfree Empire Roleplay

My Little Pony

  • Best Pony
    Chancellor Neighsay
  • Best Anthropomorphic FiM Race
    Pegasus
  • Best Princess
    Amore
  • Best Mane Character
    All six of them
  • Best CMC
    All three of them
  • Best Secondary/Recurring Character
    Bubbles
  • Best Episode
    The Last Problem
  • Best Song
    Open Up Your Eyes
  • Best Season
    3

Recent Profile Visitors

65,583 profile views

Duality's Achievements

Reformed Changeling

Reformed Changeling (13/23)

10.7k

Brohooves Received

Single Status Update

See all updates by Duality

  1. To one of the smartest people I know, Merry Christmas. And I do mean that, by the way. You seem very knowledgeable and are a very nice person. I think maybe you will appreciate this, then:

    Not much of a gift, but Merry Christmas again !

    1. Show previous comments  19 more
    2. Duality

      Duality

      @CypherHoof

      Actually, cribbing was a lot of how maths was transmitted in ancient times. Almost every Greek treatise we have only made it down through the millennia because people made translations and copies and even nicked large chunks outright to bolster their own expositions. :-P

      @Stone Cold Steve Tuna

      That comment on why 1 + 1 = 2 actually prompted me to research the proof of that equation; I've never thought of looking it up before. :twismile:

      It's a pretty short proof (and relatively easy to understand) if you work using the Peano axioms, which are elementary enough that the system of mathematics that is constructible from them can't prove a lot of what conventional maths can. They centre around a primitive mathematical concept called the 'successor function', S(n), which outputs the natural (counting) number that comes immediately after the natural number n that you input. To put it in more familiar language, S(n) = n + 1, but the concepts of both '1' and '+' are defined by S(n) and the concept of 'n' is defined by the Peano axioms, so the chain of definition is formally the other way around.

      Proof spoilered in case you're interested in the full step-by-stepping:

      Spoiler

      You start off with the five Peano axioms, defining the set of natural numbers (all whole numbers from 0 upwards) and several of the set's key properties:

      1. 0 is a natural number,
      2. For every natural number n, S(n) is a natural number,
      3. For all natural numbers m and n, m = n if and only if S(m) = S(n),
      4. For every natural number n, S(n) = 0 is false,
      5. If K is a set such that (i) K contains 0 and (ii) for every natural number n, n being in K implies that S(n) is in K, then K contains every natural number.

      (The last one is a tricky second-order axiom that people sometimes omit in favour of an even weaker first-order induction scheme, but it's part of the canonical Peano axioms so I figured it was fair game.)

      In the next step, you define the addition operation ('+') and the numbers '1' and '2' within the framework of the Peano axioms, through the following definitions:

      1. For every natural number n, n + 0 = n,
      2. For all natural numbers m and n, m + S(n) = S(m) + n,
      3. 1 = S(0),
      4. 2 = S(S(0)).

      Then, for the third and final step, you apply these definitions to prove the desired result:

      1 + 1 = S(0) + S(0)      (definition 3)

               = S(S(0)) + 0      (definition 2)

               = S(S(0))            (definition 1)

               = 2                      (definition 4)

      Five axioms, four definitions, and four lines of logical reasoning in total. :ticking:

      Ach, you're not alone when it comes to long division. I consider it one of my greatest mathematical achievements that I still remember how to use it. I hardly use it much nowadays, but I spent hours and hours as a kid trying to comprehend the method behind it before it finally clicked in my head and stuck.

      Finding formulas from other formulas is an important skill. This ability is much to your credit. :proud:

      That cantaloupe comment is discriminatory against people who want to make a fruit salad in their bathtub. For shame.

      My favourite season has got to be autumn. Balanced between freezing cold and burning hot, and without the abrupt deluges that come with spring. How about yourself?

    3. Stone Cold Steve Jobs

      Stone Cold Steve Jobs

      Whenever I think of explaining why 1+1=2, I think of that scene in 1984 where they’re trying to explain why 2+2=5.

      Hah, thanks! Guess I have a few good traits, though even a broken clock is right twice a day.

       I am okay with autumn. I prefer spring a bit more personally. Leaves aren’t falling. I used to love summer because then I got to swim a lot, but nobody I know enjoys swimming, so I don’t get to anymore. Were you ever big on swimming? Water sports?

    4. CypherHoof

      CypherHoof

      Always hated that proof though.


      It comes down to "define the '+' operator in an arbitrary system such that for some m and n, m=n+n ; define m as 2 and n as 1; assert that this is a proof that 2=1+1 in a completely different, arbitrary system"

    5. Show next comments  9 more
×
×
  • Create New...