Natural number - Revision history

Lfox at 00:49, 30 July 2024

2024-07-30T00:49:45Z

← Older revision		Revision as of 00:49, 30 July 2024
Line 1:		Line 1:
			[TODO this page is going to be deleted. See [[multitude]] instead]

	A '''natural number''' or '''whole [[quantity]]''' is the concept which measures multitude. [TODO other definition below]		A '''natural number''' or '''whole [[quantity]]''' is the concept which measures multitude. [TODO other definition below]

Lfox: /* NNs */

2024-06-19T17:55:34Z

NNs

← Older revision		Revision as of 17:55, 19 June 2024
Line 1:		Line 1:
	A '''natural number''' or '''whole [[quantity]]''' is the concept which measures multitude. [TODO other definition below]		A '''natural number''' or '''whole [[quantity]]''' is the concept which measures multitude. [TODO other definition below]

	Natural number is a second-level concept. To arrive at this concept, one must first arrive at some of the first-level concepts which it subsumes, like 1, 2, 3, 4, etc., as well as some of the related concepts which it doesn't subsume, like 1/2, 7/12, 3.14, etc. [TODO wut does first lvl concept mean? cuz to arrive at "2" u kinda sorta need a concept of counting? or do u]		Natural number is a second-level concept. To arrive at this concept, one must first arrive at some of the first-level concepts which it subsumes, like 1, 2, 3, 4, etc., as well as some of the related concepts which it doesn't subsume, like 1/2, 7/12, 3.14, etc. [TODO wut does first lvl concept mean? cuz to arrive at "2" u kinda sorta need a concept of counting? or do u] [TODO why even include this nonsense?]

	It is intuitively clear what 1, 2, 3, 4, etc. refer to in reality. 2 refers to sets of two entities. 3 refers to sets of three entities, etc. (see §Examples if confused). However, this will not suffice as a ''definition'', because it is self-referential. The definitions of those concepts are surprisingly sophisticated, and will be developed below.		It is intuitively clear what 1, 2, 3, 4, etc. refer to in reality. 2 refers to sets of two entities. 3 refers to sets of three entities, etc. (see §Examples if confused). However, this will not suffice as a ''definition'', because it is self-referential. The definitions of those concepts are surprisingly sophisticated, and will be developed below.
Line 88:		Line 88:
	[TODO wut abt 10^10^10 tho? u couldn't count that one by one. maybe by count I mean something broader. enumerate? hm well another process that produces a natural number is addition. But you don't have to literally count things there.]		[TODO wut abt 10^10^10 tho? u couldn't count that one by one. maybe by count I mean something broader. enumerate? hm well another process that produces a natural number is addition. But you don't have to literally count things there.]

	Natural number is not the ''same'' concept as multitude, though they are closely related. The set of books on my bookshelf has multitude.		Natural number is not the ''same'' concept as multitude, though they are closely related. The set of books on my bookshelf has multitude. [TODO cardinality?]

	== Addition ==		== Addition ==

Lfox: /* NNs */

2024-06-19T15:34:09Z

NNs

← Older revision		Revision as of 15:34, 19 June 2024
Line 1:		Line 1:
	A '''natural number''' or '''whole [[quantity]]''' is the concept which measures multitude.		A '''natural number''' or '''whole [[quantity]]''' is the concept which measures multitude. [TODO other definition below]

	Natural number is a second-level concept. To arrive at this concept, one must first arrive at some of the first-level concepts which it subsumes, like 1, 2, 3, 4, etc., as well as some of the related concepts which it doesn't subsume, like 1/2, 7/12, 3.14, etc.		Natural number is a second-level concept. To arrive at this concept, one must first arrive at some of the first-level concepts which it subsumes, like 1, 2, 3, 4, etc., as well as some of the related concepts which it doesn't subsume, like 1/2, 7/12, 3.14, etc. [TODO wut does first lvl concept mean? cuz to arrive at "2" u kinda sorta need a concept of counting? or do u]

	It is intuitively clear what 1, 2, 3, 4, etc. refer to in reality. 2 refers to sets of two entities. 3 refers to sets of three entities, etc. (see §Examples if confused). However, this will not suffice as a ''definition'', because it is self-referential. The definitions of those concepts are surprisingly sophisticated, and will be developed below.		It is intuitively clear what 1, 2, 3, 4, etc. refer to in reality. 2 refers to sets of two entities. 3 refers to sets of three entities, etc. (see §Examples if confused). However, this will not suffice as a ''definition'', because it is self-referential. The definitions of those concepts are surprisingly sophisticated, and will be developed below.
Line 65:		Line 65:
	We may now finally give definitions of the individual numbers		We may now finally give definitions of the individual numbers

	1, or ''one'', is the concept of a [[Concept#Unit\|unit]].		1, or ''one'', is a synonym for the concept of a [[Concept#Unit\|unit]]. [TODO it's a little bit different. It's differentiated from 2 and stuff. It's like the multitude of a unit.]

	2, or ''two'', is the ~~successor to~~ 1.		2, or ''two'', is the multitude succeeding 1 in the counting algorithm.

	3, or ''three'', is the ~~successor to~~ 2.		3, or ''three'', is the multitude succeeding 2 in the counting algorithm.

	4, or ''four'', is the ~~successor to~~ 3.		4, or ''four'', is the multitude succeeding 3 in the counting algorithm.

	Etc.		Etc.

	I will now explain why I deem successorship to be the [[Concept#Definition\|essential characteristic]] of these numbers.		I will now explain why I deem successorship to be the [[Concept#Definition\|essential characteristic]] of these numbers.[TODO]

	=== Examples ===		=== Examples ===
Line 84:		Line 84:

	== NNs ==		== NNs ==
	~~This~~ is ~~the easiest step~~. ~~Natural~~ number, <math>\mathbb{N}</math>, is ~~just~~ the concept ~~[TODO]~~		A '''natural number''' is a multitude that can be identified by means of counting. The concept natural number is sometimes denoted by the symbol <math>\mathbb{N}</math>.

			[TODO wut abt 10^10^10 tho? u couldn't count that one by one. maybe by count I mean something broader. enumerate? hm well another process that produces a natural number is addition. But you don't have to literally count things there.]

			Natural number is not the ''same'' concept as multitude, though they are closely related. The set of books on my bookshelf has multitude.

	== Addition ==		== Addition ==
	'''To add''' two natural numbers <math>m</math> and <math>n</math> is to regard the multitudes to which they refer as a single set. The number measuring the resulting multitude may be denoted as <math>n + m</math>.		'''To add''' two natural numbers <math>m</math> and <math>n</math> is to regard the multitudes to which they refer as a single set. [TODO no. That's disjoint union. Addition is The number measuring the resulting multitude may be denoted as <math>n + m</math>.

	This is another way of thinking about a [[Set#Disjoint union\|disjoint union]] of sets.		This is another way of thinking about a [[Set#Disjoint union\|disjoint union]] of sets.

Lfox: /* Counting */

2024-06-19T07:15:02Z

Counting

← Older revision		Revision as of 07:15, 19 June 2024
Line 16:		Line 16:

	== Counting ==		== Counting ==
	'''Counting''' is a method to [[Concept#Measurement\|measure]] multitudes by means of perceptual symbols. [TODO I don't think that this definition fits all my examples.]		'''Counting''' is a method to [[Concept#Measurement\|measure]] multitudes by means of perceptual symbols. [TODO I don't think that this definition fits all my examples.] [TODO potential hierarchy issue; what if counting is more fundamental than measurement? no nvm it can't be because of implicit measurements. ] [ TODO the result of a count is a conceptual identification, not just a perceptual symbol]

			'''Counting''' is the method of identifying multitudes by means of numbers considered in succession. [TODO yuck]

			One may count a set S. To do so divide it into two sets, a set of things which have been counted (initially empty) and a set of things which haven't (initially all of S). Keep track of a number, initially zero, and one by one, take a thing out of the latter set and put it into the former set. Each time you move something from one set to the other, augment the number by one.

	=== Examples ===		=== Examples ===
	An ordered set of things can be counted by pointing at each of them, one after another, and saying a particular (natural) number out loud each time you do so. The numbers which are said should follow the rules that the first number said is "one", and the number stated after one states "X" is "Y", where Y=X+1.		An ordered set of things [todo not the right precursor; ordering gives u a division] can be counted by pointing at each of them, one after another, and saying a particular (natural) number out loud each time you do so. The numbers which are said should follow the rules that the first number said is "one", and the number stated after one states "X" is "Y", where Y=X+1.

	Things can be counted in a similar way by using numbers in base 2, base 16, strings of letters of the alphabet, etc.		Things can be counted in a similar way by using numbers in base 2, base 16, strings of letters of the alphabet, etc.

	Tally marks are a nice way to count things in some situations.		Tally marks are a nice way to count things in some situations. [TODO strictly speaking, maybe I'll want to say that this is tracking or something rather than counting.]

	A very primitive man might make use of a unary counting procedure, where he counts things by scratching marks on a clay tablet. This would certainly be much less practical than modern ways of counting, but it's better than nothing: it still records some information and has some use.		A very primitive man might make use of a unary counting procedure, where he counts things by scratching marks on a clay tablet. This would certainly be much less practical than modern ways of counting, but it's better than nothing: it still records some information and has some use.

Lfox: /* Primes */

2024-02-11T00:01:01Z

Primes

← Older revision		Revision as of 00:01, 11 February 2024
Line 93:		Line 93:

	== Primes ==		== Primes ==
	A natural number ~~<math>n</math>~~ is '''prime''' if it ~~has no factors except 1 and <math>n</math>~~.		A natural number is '''prime''' if it cannot be factored nontrivially.

Lfox: /* Addition */

2024-02-03T23:20:45Z

Addition

← Older revision		Revision as of 23:20, 3 February 2024
Line 85:		Line 85:
	'''To add''' two natural numbers <math>m</math> and <math>n</math> is to regard the multitudes to which they refer as a single set. The number measuring the resulting multitude may be denoted as <math>n + m</math>.		'''To add''' two natural numbers <math>m</math> and <math>n</math> is to regard the multitudes to which they refer as a single set. The number measuring the resulting multitude may be denoted as <math>n + m</math>.

	This is another way of thinking about a disjoint union of sets.		This is another way of thinking about a [[Set#Disjoint union\|disjoint union]] of sets.

	== Multiplication ==		== Multiplication ==
	'''To multiply''' two natural numbers <math>m</math> and <math>n</math> is to add <math>m</math> to itself <math>n</math> times. The number measuring the resulting multitude may be denoted as <math>nm</math> or <math>n \times m</math>. One always obtains the same quantity by adding <math>n</math> to itself <math>m</math> times, or in other words, it is always the case that <math>nm = mn</math>.		'''To multiply''' two natural numbers <math>m</math> and <math>n</math> is to add <math>m</math> to itself <math>n</math> times. The number measuring the resulting multitude may be denoted as <math>nm</math> or <math>n \times m</math>. One always obtains the same quantity by adding <math>n</math> to itself <math>m</math> times, or in other words, it is always the case that <math>nm = mn</math>.

	This is another way of thinking about a cartesian product of sets.		This is another way of thinking about a [[Set#Cartesian product\|cartesian product]] of sets.

	== Primes ==		== Primes ==
	A natural number <math>n</math> is '''prime''' if it has no factors except 1 and <math>n</math>.		A natural number <math>n</math> is '''prime''' if it has no factors except 1 and <math>n</math>.

Lfox at 23:11, 3 February 2024

2024-02-03T23:11:43Z

← Older revision		Revision as of 23:11, 3 February 2024
Line 83:		Line 83:

	== Addition ==		== Addition ==
	'''To add''' two natural numbers <math>m</math> and <math>n</math> is to regard the multitudes to which they refer as a single set. The number measuring the resulting multitude is <math>n + m</math>.		'''To add''' two natural numbers <math>m</math> and <math>n</math> is to regard the multitudes to which they refer as a single set. The number measuring the resulting multitude may be denoted as <math>n + m</math>.

	This is ~~just~~ another way of thinking about a disjoint union of sets.		This is another way of thinking about a disjoint union of sets.

			== Multiplication ==
			'''To multiply''' two natural numbers <math>m</math> and <math>n</math> is to add <math>m</math> to itself <math>n</math> times. The number measuring the resulting multitude may be denoted as <math>nm</math> or <math>n \times m</math>. One always obtains the same quantity by adding <math>n</math> to itself <math>m</math> times, or in other words, it is always the case that <math>nm = mn</math>.

			This is another way of thinking about a cartesian product of sets.

			== Primes ==
			A natural number <math>n</math> is '''prime''' if it has no factors except 1 and <math>n</math>.

Lfox at 23:35, 2 February 2024

2024-02-02T23:35:58Z

← Older revision		Revision as of 23:35, 2 February 2024
Line 81:		Line 81:
	== NNs ==		== NNs ==
	This is the easiest step. Natural number, <math>\mathbb{N}</math>, is just the concept [TODO]		This is the easiest step. Natural number, <math>\mathbb{N}</math>, is just the concept [TODO]

			== Addition ==
			'''To add''' two natural numbers <math>m</math> and <math>n</math> is to regard the multitudes to which they refer as a single set. The number measuring the resulting multitude is <math>n + m</math>.

			This is just another way of thinking about a disjoint union of sets.

Lfox at 23:30, 25 January 2024

2024-01-25T23:30:20Z

← Older revision		Revision as of 23:30, 25 January 2024
Line 1:		Line 1:
	A '''natural number''' or '''whole [[quantity]]''' is a concept which measures ~~multitudes~~. ~~[TODO blech. I'm not satisfied with that as a definition]~~		A '''natural number''' or '''whole [[quantity]]''' is the concept which measures multitude.

	Natural number is a second-level concept~~: to~~ arrive at this concept, one must first arrive at first-level concepts like 1, 2, 3, 4, etc.		Natural number is a second-level concept. To arrive at this concept, one must first arrive at some of the first-level concepts which it subsumes, like 1, 2, 3, 4, etc., as well as some of the related concepts which it doesn't subsume, like 1/2, 7/12, 3.14, etc.

	It is intuitively clear what 1, 2, 3, 4, etc. refer to in reality. 2 refers to sets of two entities. 3 refers to sets of three entities, etc. (see §Examples if confused). However, this will not suffice as a ''definition'', because it is self-referential. The definitions of those concepts are surprisingly sophisticated, and will be developed below.		It is intuitively clear what 1, 2, 3, 4, etc. refer to in reality. 2 refers to sets of two entities. 3 refers to sets of three entities, etc. (see §Examples if confused). However, this will not suffice as a ''definition'', because it is self-referential. The definitions of those concepts are surprisingly sophisticated, and will be developed below.
Line 12:		Line 12:

	In a context where one is counting some multitude, the successor to "one hundred seventeen" is "one hundred eighteen."		In a context where one is counting some multitude, the successor to "one hundred seventeen" is "one hundred eighteen."

			In a context where one is dealing with the Greek alphabet, the successor to ζ is η.

	== Counting ==		== Counting ==

Lfox: /* Examples */

2024-01-24T20:40:52Z

Examples

← Older revision		Revision as of 20:40, 24 January 2024
Line 24:		Line 24:

	A very primitive man might make use of a unary counting procedure, where he counts things by scratching marks on a clay tablet. This would certainly be much less practical than modern ways of counting, but it's better than nothing: it still records some information and has some use.		A very primitive man might make use of a unary counting procedure, where he counts things by scratching marks on a clay tablet. This would certainly be much less practical than modern ways of counting, but it's better than nothing: it still records some information and has some use.

			Small multitudes can be counted on one's fingers.

	Some things can be counted using [[Integers\|negative numbers]]. For example consider the following procedure, where the sifference between the number of things present in two groups is said out loud (and where the first row happens first, then the second row, etc):		Some things can be counted using [[Integers\|negative numbers]]. For example consider the following procedure, where the sifference between the number of things present in two groups is said out loud (and where the first row happens first, then the second row, etc):