NUMBERS?

  • (2 Pages)
  • +
  • 1
  • 2

27 Replies - 2424 Views - Last Post: 19 April 2012 - 05:44 AM

#1 zedth2  Icon User is offline

  • D.I.C Head

Reputation: 2
  • View blog
  • Posts: 121
  • Joined: 14-September 09

NUMBERS?

Posted 01 March 2012 - 11:25 AM

So I'm slowly coming to the closing of my first year of a CS major and I've taken on the project of writing an integer data type essentially. The way I am doing this requires me to rewrite functions for addition and subtraction and what not. But I've run into a little bit of a snag. I've looked online at proofs for addition and subtraction and the such but there's one thing that is bugging me, the one proof I can't find and that's the proof on numbers. I mean what is one or two or anything? The best conclusion I've come to is number is a data type and one would be the variable name and it's value would also happen to be one. But that doesn't seem enough, so what are numbers? Where's the proof for numbers? Is it all really just a layer of abstraction that we as a society just accept? Any advice, help, ideas, would be great.

Thank You

Is This A Good Question/Topic? 0
  • +

Replies To: NUMBERS?

#2 BenignDesign  Icon User is online

  • holy shitin shishkebobs
  • member icon




Reputation: 6006
  • View blog
  • Posts: 10,435
  • Joined: 28-September 07

Re: NUMBERS?

Posted 01 March 2012 - 11:28 AM

Not sure where this should be, pumpkin, but the Lounge ain't it.
Was This Post Helpful? 0
  • +
  • -

#3 supersloth  Icon User is offline

  • serial frotteur - RUDEST MEMBER ON D.I.C.
  • member icon


Reputation: 4503
  • View blog
  • Posts: 28,409
  • Joined: 21-March 01

Re: NUMBERS?

Posted 01 March 2012 - 11:30 AM

i like his avatar though, let's see where this goes.
Was This Post Helpful? 0
  • +
  • -

#4 zedth2  Icon User is offline

  • D.I.C Head

Reputation: 2
  • View blog
  • Posts: 121
  • Joined: 14-September 09

Re: NUMBERS?

Posted 01 March 2012 - 11:34 AM

I didn't know where it would actually go so I just put it here because it wasn't technically a programming question.
Was This Post Helpful? 0
  • +
  • -

#5 lordofduct  Icon User is offline

  • I'm a cheeseburger
  • member icon


Reputation: 2533
  • View blog
  • Posts: 4,633
  • Joined: 24-September 10

Re: NUMBERS?

Posted 01 March 2012 - 11:42 AM

numbers are counting. It a representation of how far was counted.

Addition is a finite count appended to a previous count.

Subtraction a finite count removed from a previous count.



If you want to know what counting is, it's the task we need to represent. There is no need to prove it, it's proof is the necessity of counting.
Was This Post Helpful? 0
  • +
  • -

#6 zedth2  Icon User is offline

  • D.I.C Head

Reputation: 2
  • View blog
  • Posts: 121
  • Joined: 14-September 09

Re: NUMBERS?

Posted 01 March 2012 - 11:45 AM

Well if it really is just a necessity to count things then I would think it's a non natural thing, assuming it's a thing at all.
Was This Post Helpful? 0
  • +
  • -

#7 modi123_1  Icon User is online

  • Suitor #2
  • member icon



Reputation: 9059
  • View blog
  • Posts: 34,014
  • Joined: 12-June 08

Re: NUMBERS?

Posted 01 March 2012 - 11:57 AM

Counting is entrenched in reality. That is to say if your reality has more than one object then you have counting. The recursion for a "numbers" proof hits your version of reality as the base limit.
Was This Post Helpful? 0
  • +
  • -

#8 jon.kiparsky  Icon User is online

  • Pancakes!
  • member icon


Reputation: 7629
  • View blog
  • Posts: 12,858
  • Joined: 19-March 11

Re: NUMBERS?

Posted 01 March 2012 - 12:07 PM

I'm no expert, but last I checked I saw people rooting numbers in sets: Zero is the empty set. Make a set which contains only that set, and that's one. Successive enclosing sets give you the natural numbers. From those, you can define addition. From addition, you can define the other operators. From subtraction, you can get negative numbers. From division, you can get to rational numbers, and so forth.

Dover press has got a lot of interesting titles on mathematical logic and set theory and number theory. That's the sort of thing that you'd need if you want to get down into the "what are numbers" questions, but I don't think that's what you really want to be spending your time on here.

In every language that I know of, numbers are an existing class. Are you just making a wrapper class for int, or what is it you're up to?
Was This Post Helpful? 0
  • +
  • -

#9 macosxnerd101  Icon User is online

  • Self-Trained Economist
  • member icon




Reputation: 10446
  • View blog
  • Posts: 38,684
  • Joined: 27-December 08

Re: NUMBERS?

Posted 01 March 2012 - 01:07 PM

I'm going to move this to Computer Science.
Was This Post Helpful? 0
  • +
  • -

#10 AdamSpeight2008  Icon User is offline

  • MrCupOfT
  • member icon


Reputation: 2251
  • View blog
  • Posts: 9,435
  • Joined: 29-May 08

Re: NUMBERS?

Posted 01 March 2012 - 01:14 PM

When you writing an Integer type, are you referring to arbitry-precision numbers like BigInteger or the base type integer. (typicallly 16bits long)
Was This Post Helpful? 0
  • +
  • -

#11 sepp2k  Icon User is offline

  • D.I.C Lover
  • member icon

Reputation: 2100
  • View blog
  • Posts: 3,197
  • Joined: 21-June 11

Re: NUMBERS?

Posted 01 March 2012 - 01:29 PM

Talking about proving numbers makes no sense. You can prove boolean statements, things that are either true or false (except you can't prove them if they are false of course - unless you divide by zero). You can't prove numbers (the same way that you can't prove birds or chocolate). You can rigorously define them (for example using sets as jon.kiparsky suggested) and then prove properties about them. But you can't prove them. Proving is for statements, not things.
Was This Post Helpful? 0
  • +
  • -

#12 zedth2  Icon User is offline

  • D.I.C Head

Reputation: 2
  • View blog
  • Posts: 121
  • Joined: 14-September 09

Re: NUMBERS?

Posted 01 March 2012 - 01:30 PM

Basically the way I'm accomplishing this is by representing the number as a string. All the algorithms I've built so far work on negative positive and decimal numbers.
Was This Post Helpful? 0
  • +
  • -

#13 Craig328  Icon User is offline

  • I make this look good
  • member icon

Reputation: 1919
  • View blog
  • Posts: 3,461
  • Joined: 13-January 08

Re: NUMBERS?

Posted 01 March 2012 - 01:31 PM

I once counted to 20 1/2.
Was This Post Helpful? 1
  • +
  • -

#14 AdamSpeight2008  Icon User is offline

  • MrCupOfT
  • member icon


Reputation: 2251
  • View blog
  • Posts: 9,435
  • Joined: 29-May 08

Re: NUMBERS?

Posted 01 March 2012 - 01:32 PM

From experience the string method is really slow.
Was This Post Helpful? 0
  • +
  • -

#15 zedth2  Icon User is offline

  • D.I.C Head

Reputation: 2
  • View blog
  • Posts: 121
  • Joined: 14-September 09

Re: NUMBERS?

Posted 01 March 2012 - 01:41 PM

It's really just an experiment I'm doing on my own. Speed and how efficient it is really isn't an issue right now. But basically what started all this was I had to develop and algorithm to do subtraction then I went through and tried to prove it and then started looking at basic proofs which then lead to trying to find a proof for numbers.
Was This Post Helpful? 0
  • +
  • -

  • (2 Pages)
  • +
  • 1
  • 2