My Math Forum T Sequences - Explicit Enumeration of $\epsilon_0$
 User Name Remember Me? Password

 Number Theory Number Theory Math Forum

October 9th, 2019, 01:23 AM   #41
Senior Member

Joined: Oct 2009

Posts: 884
Thanks: 340

Quote:
This is how I interpret his post.
You essentially recursively build up a function as follows:
Take $\mathcal{A}_0 = \{1,2,3\}$.
Assume that $\mathcal{A}_n$ is defined, then we define according to rule 1,2,3:
1) $x\in \mathcal{B}_n$ if and only if there is some $a\in \mathcal{A}_n$ such that $a, a-1, a-2\in\mathcal{A}_n$ and such that $x=a-3$.
2) $x\in \mathcal{C}_n$ if and only if there is some $a\in \mathcal{A}_n$ such that $x = a+1$
3) $x\in \mathcal{D}_n$ if and only if there is some $a\in \mathcal{A}_n$ such that $a, a+1, a+2\in \mathcal{A}_n$ and such that $x=a+\omega$.

Then we define
$$\mathcal{A}_{n+1} = \mathcal{A}_n\cup \mathcal{B}_n \cup \mathcal{C}_n\cup \mathcal{D}_n$$

Example:
$$\mathcal{A}_0 = \{1,2,3\}$$
We have
$$\mathcal{B}_0 = \{0\},~\mathcal{C}_0 = \{4\},~\mathcal{D}_0 = \{\omega\}$$
Thus $\mathcal{A}_1 = \{0,1,2,3,4,\omega\}$.

Next, once we take for an ordinal $x$, the level of $x$ to be defined as the least $n$ such that $x\in \mathcal{A}_n$. There are finitely many ordinals of level $n$. We then order the ordinals on their levels.

For example:
Of level 0: 1,2,3
Of level 1: 0, 4, $\omega$

Final sequence: 1,2,3, 0, 4, $\omega$, (here come the ordinals of level 2),...

I think this is what he WANTS to do since what he wrote makes little sense. But he writes things very differently and I think he makes several mistakes in his post.

Last edited by skipjack; October 10th, 2019 at 01:31 PM.

 October 9th, 2019, 05:57 AM #42 Senior Member   Joined: Jun 2014 From: USA Posts: 620 Thanks: 52 Yes Micrm@ss, that is the basic approach to $T$ sequences and I assume now Mascke understands too. For any ordinal $\alpha$, there are $\alpha^3$ triplets that can be made from the elements of $\alpha$ (if allowing triplets where two or more elements of the triplet can be the same ordinal). This gives us an exact number of triplets to choose from for each $\alpha$ if comprising a $T$ sequence that inserts one and only one ordinal $\alpha$ into the sequence per rule in a fashion where each rule is of the form: “if the triplet (a,b,c) can be formed from some initial segment of a $T$ sequence defined using all rules less than rule $\alpha$, where a,b,c < $\alpha$, then $\alpha$ gets inserted into the sequence.” How about that, still with me? Last edited by AplanisTophet; October 9th, 2019 at 06:12 AM.
October 9th, 2019, 11:09 AM   #43
Senior Member

Joined: Jun 2014
From: USA

Posts: 620
Thanks: 52

Quote:
 Originally Posted by Maschke Your lengthy posts are not tethered to rationality in my opinion. I don't seem to be able to communicate to you that your exposition is incoherent and meaningless; and your belief that it's practically obvious is a delusion. Not a mathematical confusion of some sort. A genuine break with reality that should generate in you -- I'll be blunt -- concern.
I keep telling you that I don't know much when it comes to mathematical notation and my overall knowledge of mathematics is limited. It's as though you think I'm just an idiot in all aspects though as opposed to just my half-baked mathematical musings in this forum. I naturally assumed you're just trying to irritate me because I happily play along, which is fun and all because continually saying something is incoherent after it's been explained to you numerous times in numerous different ways is funny.

We're on the same page then? I'm saying that I think you're capable. I'm also saying that if you truly couldn't begin to make sense of my enumeration of $\omega^2$, then that's my mistake for thinking you would be a helpful and well meaning mathematician who could assist me by pinpointing breaks in my notation so as to try and define the $T$ sequence model in a nice way that makes sense to everyone. Let me know if I should treat you like a not-so-good (or at least not-so-willing) mathematician that is incapable of helping another not-so-good mathematician like me.

Quote:
 Originally Posted by Micrm@ss I don't understand your T sequence. I mean, I know what you want to do...
Here Micrm@ss does what you never do, which is say simply, "yeah, I get what you want to do." Sure, my notation needed a little help or whatever, but if Micrm@ss wanted to, he/she could have helped me make sense of it because Micrm@ss is clearly capable. It's not clear to me that you are capable, or if you are capable, that you are not intentionally playing stupid to toy with me. Do you not see that? I don't want to read another novel from you about how incoherent I am because they will never help. You need to say why it's incoherent to you.

Ok, all that said, do you really want to do this 150 words at a time? I have fun either way so I'm happy to.

October 9th, 2019, 01:02 PM   #44
Senior Member

Joined: Jun 2014
From: USA

Posts: 620
Thanks: 52

Quote:
 Originally Posted by Micrm@ss This is how I interpret his post. You essentially recursively build up a function as follows: Take $\mathcal{A}_0 = \{1,2,3\}$. Assume that $\mathcal{A}_n$ is defined, then we define according to rule 1,2,3: 1) $x\in \mathcal{B}_n$ if and only if there is some $a\in \mathcal{A}_n$ such that $a, a-1, a-2\in\mathcal{A}_n$ and such that $x=a-3$. 2) $x\in \mathcal{C}_n$ if and only if there is some $a\in \mathcal{A}_n$ such that $x = a+1$ 3) $x\in \mathcal{D}_n$ if and only if there is some $a\in \mathcal{A}_n$ such that $a, a+1, a+2\in \mathcal{A}_n$ and such that $x=a+\omega$. Then we define $$\mathcal{A}_{n+1} = \mathcal{A}_n\cup \mathcal{B}_n \cup \mathcal{C}_n\cup \mathcal{D}_n$$ Example: $$\mathcal{A}_0 = \{1,2,3\}$$ We have $$\mathcal{B}_0 = \{0\},~\mathcal{C}_0 = \{4\},~\mathcal{D}_0 = \{\omega\}$$ Thus $\mathcal{A}_1 = \{0,1,2,3,4,\omega\}$. Next, once we take for an ordinal $x$, the level of $x$ to be defined as the least $n$ such that $x\in \mathcal{A}_n$. There are finitely many ordinals of level $n$. We then order the ordinals on their levels. For example: Of level 0: 1,2,3 Of level 1: 0, 4, $\omega$ Final sequence: 1,2,3, 0, 4, $\omega$, (here come the ordinals of level 2),... I think this is what he WANTS to do since what he wrote makes little sense. But he writes things very differently and I thinks he makes several mistakes in his post.
Since you’ve demonstrated your ability to understand what I’m saying, perhaps you can try and write rule 4 the same way you did rules 1-3? I won’t ask you to rewrite any of the rules for me other than these, but the whole reason I use the notation that I do is because your approach won’t work if you don’t have an $a \in A_n$ to base your notation on like you do for rules 1-3.

PS - Feel free to put the ellipses back in there too, or leave them off, as it’s still clearly the same either way.

Last edited by AplanisTophet; October 9th, 2019 at 01:21 PM.

October 9th, 2019, 06:28 PM   #45
Senior Member

Joined: Aug 2012

Posts: 2,412
Thanks: 755

Quote:
 Originally Posted by AplanisTophet I naturally assumed you're just trying to irritate me ...
The chip on your shoulder makes it unpleasant to interact with you. You are factually mistaken in your assumption.

October 9th, 2019, 07:10 PM   #46
Senior Member

Joined: Jun 2014
From: USA

Posts: 620
Thanks: 52

Quote:
 Originally Posted by Maschke The chip on your shoulder makes it unpleasant to interact with you. You are factually mistaken in your assumption.
Ok, but think of it this way. Pretend I'm a kid skateboarding at a local park and you, a grumpy old man (remember, I said we're just pretending) walk up to me and say, "hey, punk, your skateboarding... it's all wrong. It's just not the way you're supposed to do it." I would rightfully look at you, laugh, and go about my merry way. Let's say you also happen to be a grumpy old pro skateboarder and could give me some pointers if I had correctly interpreted you and not went on my merry way. Well, that would be nice, but there is no way I could have known. You would have had to say something different, like "try picking your back foot up more" (or whatever, I don't actually skateboard). Well then I might have listened to you, or at least tried to do what you were saying. Now let's say you were a really good pro skateboarder that actually went to the park to help kids and made it a point to do so. Well, then we wouldn't be having this conversation.

October 10th, 2019, 12:46 PM   #47
Member

Joined: Oct 2018
From: USA

Posts: 99
Thanks: 72

Math Focus: Algebraic Geometry
Quote:
 Originally Posted by AplanisTophet ... walk up to me ...
But the problem is that's not what happened, it was more you coming up to a group of skateboarders and saying "Hey, look at this kickflip I can do", and then doing some strange kickflip-esque thing. You then get annoyed when the group of skateboarders provide criticism of your kickflip.

October 10th, 2019, 01:11 PM   #48
Senior Member

Joined: Oct 2009

Posts: 884
Thanks: 340

Quote:
 Originally Posted by AplanisTophet Since you’ve demonstrated your ability to understand what I’m saying, perhaps you can try and write rule 4 the same way you did rules 1-3? I won’t ask you to rewrite any of the rules for me other than these, but the whole reason I use the notation that I do is because your approach won’t work if you don’t have an $a \in A_n$ to base your notation on like you do for rules 1-3. PS - Feel free to put the ellipses back in there too, or leave them off, as it’s still clearly the same either way.
Sorry no. You got to make a huge effort to learn the proper notations and proper way of communicating in mathematics. I don't care what excuses you have for not learning this, but I have absolutely zero interest in exploring your ideas until you learn the proper way of doing things.

October 10th, 2019, 04:27 PM   #49
Senior Member

Joined: Jun 2014
From: USA

Posts: 620
Thanks: 52

Quote:
 Originally Posted by Micrm@ss Sorry no. You got to make a huge effort to learn the proper notations and proper way of communicating in mathematics. I don't care what excuses you have for not learning this, but I have absolutely zero interest in exploring your ideas until you learn the proper way of doing things.
Um, learning is what I'm trying to do here. I just want you to take a crack at rule 4 because I would have defined rules 1-3 the same way as you if the later rules didn't require a different approach. It's not like I haven't made an effort and it's not like I don't appreciate learning how to properly communicate in mathematics (I'm certified when it comes to accounting, the language of business...), I'm just confused. That's why I'm here.

I completely understand if you have better things to do. But no, you will not be telling me I'm full of excuses for not trying to do the very thing I am clearly here trying to do: learn the proper notation for writing rules $\geq$ 4.

Last edited by AplanisTophet; October 10th, 2019 at 04:30 PM.

October 10th, 2019, 10:17 PM   #50
Senior Member

Joined: Oct 2009

Posts: 884
Thanks: 340

Quote:
 Originally Posted by AplanisTophet Um, learning is what I'm trying to do here. I just want you to take a crack at rule 4 because I would have defined rules 1-3 the same way as you if the later rules didn't require a different approach. It's not like I haven't made an effort and it's not like I don't appreciate learning how to properly communicate in mathematics (I'm certified when it comes to accounting, the language of business...), I'm just confused. That's why I'm here. I completely understand if you have better things to do. But no, you will not be telling me I'm full of excuses for not trying to do the very thing I am clearly here trying to do: learn the proper notation for writing rules $\geq$ 4.
You can't learn by asking random questions on a forum. I mean, you can, it is useful, but also if you do some outside reading. So I can recommend you some books that you can go through in order to learn proper notation and argumentation. If you go through these books I am definitely willing to help you through it and to check your work. But if you only "learn" through forum posts then I don't think it's going to work out.

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post mahjk17 Applied Math 4 June 27th, 2012 07:46 PM arron1990 Calculus 12 January 31st, 2012 04:17 AM techmix Math Software 0 September 24th, 2011 11:12 AM khyratmath123 Math Software 1 January 27th, 2010 04:28 PM khyratmath123 Calculus 4 January 10th, 2010 05:16 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top