Jump to content
Banner by ~ Ice Princess Silky

Frostgage

User
  • Posts

    2,860
  • Joined

  • Last visited

About Frostgage

  • Birthday 1996-04-19

Contact Methods

  • Skype
    Frostgage

Profile Information

  • Gender
    Male
  • Location
    Massachusetts
  • Personal Motto
    Don't tell people your plans. Show them your results.
  • Interests
    Music, animation, fiction, sports, sleeping/dreaming

MLP Forums

  • Favorite Forum Section
    Cloudsdale Colosseum

My Little Pony

  • Best Pony
    Pinkie Pie
  • Best Anthropomorphic FiM Race
    No Preference

Recent Profile Visitors

143,339 profile views

Frostgage's Achievements

Yak

Yak (17/23)

8k

Brohooves Received

Single Status Update

See all updates by Frostgage

  1. Frosty I have a problem

    It is a bad problem and very not good

    The sentence "the smallest positive integer not definable in under sixty letters" defines a positive integer in under sixty letters

    1. Show previous comments  31 more
    2. Frostgage

      Frostgage

      The way I see it, language is the most important thing humans have created, while mathematics is the most important thing humans have discovered.

      of course. This statement presumes that mathematical relationships (e.g "9 > 8" or "the hypotenuse of a right triangle with sides 3 and 4 equals 5") are inherent universal truths - would you agree with that assessment?

    3. Duality

      Duality

      Maths in its modern formulation is all-dependent on its axioms, though, which blurs the matter of truth somewhat. 9 > 8 for most definitions of '9', '8', and '>', and one must always remember that the 3-4-5 triangle only contains a 90 degree angle in Euclidean space.

      In maths as we currently have it, the only things required for a given statement to be true is for certain axioms to be true and the deductive method to generate the statement from the axioms to be logically valid. If axiom A is true, and a logically valid deduction D can be made from A to a statement X, statement X must be true. The question of whether X is true with respect to the universe is seemingly wholly dependent on the question of whether the axiom A is true with respect to the universe.

      The question of truth thus becomes a bit less intuitive - are two sets always the same set if they have the same elements? If X and Y are sets, does there always exist a set which contains X and Y as elements? Is it guaranteed that there exists a set with an infinite number of different members? These are colloquial statements of three of the nine axioms of ZFC, which encompasses pretty much everything normally referred to as maths, and yet they clearly don't refer to anything in the physical universe - indeed, they define purely mathematical concepts. The same holds true of other mathematical concepts like '9' and '8' and '>': they don't refer to anything in the physical universe, so unless there exists some sort of non-physical universe in which these concepts are actualised in some sense, they can't be universally true because they don't refer to anything in the universe - there is no universe fundamentally compatible with the form of truth they have. The closest form of truth that can be found in a purely physical universe is that of physics, where mathematics is augmented with units and interpretations that signify physical concepts in order to give its form of truth something to refer to.

      It's all a very curious matter, but the short version is that I indeed agree with that assessment, as I consider there to be a non-physical universe of the right sort to give maths something to refer to. However, now I'm curious about your thoughts on the whole conundrum. :yeahno:

    4. Frostgage

      Frostgage

      Very interesting stuff indeed. My thoughts relate to our earlier discussion of the signs of numbers. The linguistic/written content used to express numerical concepts is an arbitrary structure created by humans, best evidenced by the fact that 12, twelve, dozen, XII, doce, etc. all mean the same thing depending on your time and place in history. However, for example, Sir Newton did not decide that the derivative of the concept expressed by "3x^2" equals 6x, he merely discovered it to be true. I can't speak to other universes which I have not yet visited, but I'm willing to put my trust in this mathematical relationship holding true in ours.

×
×
  • Create New...