« first day (133 days earlier)      last day (1365 days later) » 

00:03
0
Q: A new interesting pattern to $i↑↑n$ that looks cool

Simply Beautiful ArtMany of you may recall "An obvious pattern to $i↑↑n$ that is eluding us all?", an old question of mine, and just recently, I saw this new question that poses a simple extension to tetration at non-integer values: $$a↑↑b=\begin{cases}a^b,&b\in[0,1]\\a^{a↑↑(b-1)},&b\in(1,+\infty)\\\log_a(a↑↑(b+1)),&...

0
Q: How to extend this extension of tetration?

Theoreticalif $0\le b<1$, then $a↑↑b = a^b$ if $b\ge1$, then $a↑↑b = a^{a↑↑(b-1)}$ if $b<0$, then $a↑↑b = \log_a(a↑↑(b+1))$ so for example, $2↑↑\pi = 2^{2^{2^{2^{0.1415926...}}}} = 21.5963561$ How can I extend this to complex numbers? https://www.desmos.com/calculator/p8qcvngczb3

Can we reopen the second question?
 
2 hours later…
01:53
@SimplyBeautifulArt Yeah I mean you gotta start paying attention. Isn't this your realm? :P
 
3 hours later…
04:55
@SimplyBeautifulArt are those Sheffer strokes?
 
4 hours later…
08:40
g'morning u400
good morning Eric Stucky. Its night for me
It's also night for me. But it's always morning for greetings.
what a curious thought
that would explain why I always get that here despite talking to many people from my own country.
09:10
Good day/night to all!
Morning @shredalert
Hopped on to see what everyone is up to :p
I finished Assassins fate.
spoilers
omg O:
I'm just about a quarter way through Fool's Quest now
09:14
When everyone finds out it's him and Verity's package
I didn't see the spoiler btw
oh good
I was just reacting to you finishing the last one
But the package omg
its such a dramatic ending
I had to hold tears in because I was on the bus when they found out he's still alive
hmm remind me about the pakage
ah I see
there turns out to be a lot of that in these books
09:15
the circlet and the scroll
with Verity's seal and will
the charging buck on the circlet without the slash
made by Hodd
These books are so full of plot bombshells omg
especially for people who read every single one of the 13 previous books
yeah I've read them all too
the encounter between the different series are quite impressive
I can only begin to imagine how many threads are tied together in the last one
 
2 hours later…
11:06
@JoErNanO O.O? I feel like the mods are taking over lol
@shredalert No, they are not.
11:32
:-/ Hm, three downvotes to my question, I wonder why.
It might be that the question is hard to find amongst all the figures. Don't know what you could do about that though.
Thanks for the feedback @user400188
Hope it is clearer now
Also, interesting piece of WolframAlpha trivia
If you scroll down to 'comparisons' you will find the amount of chess moves possible and the 'Monster group'
11:50
hmm interesting
I want to do more, but I'm afraid it takes too long with this graphing calculator and manually typing it all in
12:14
So I was looking at the definition of induction:
$P_0 \land [\forall n (P_n\rightarrow P_{n+1} )] \rightarrow \forall n P_n$
And I couldn't help but notice that it reduced to:
$\bar{P_0}\lor\exists n [P_n \land \bar{P_{n+1}}]\lor \forall n P_n$

I wondered here if it was a tautology, because if it was; the the outcome of induction would then be:
-The base case failed,
-There exists a case where $P_n$ does not imply $P_{n+1}$
-The thing works for all n

This would be nice as it falls within the spirit of induction.
@shredalert or @amWhy
see @user400188's thing above
perhaps I should have put it in the logic room.
for clarity, the bars above the letters represent negation
13:11
Woo, making some progress on my own question
though only computational progress lol
speaking of computational progress, have you heard of the programing language Isabelle?
No, I haven't
Need better definitions of chaos for my question
Its a proof assistant. Able to prove high order logic statements among other mathematical things.
Ah, weird
didn't know that existed
the language is hilarious. You start every file with 'theory' then move on to write lemma this, lemma that. Finally you call the "sledgehammer" function, which solves it all for you.
@SimplyBeautifulArt Deleted by owner.... Yay!!
14:50
Hey @SimplyBeautifulArt. Sorry for the late reply. Just got back home. I quickly popped on my phone to check messages 30 mins ago :p
@shredalert lel, that's how I do things
going to start cooking dinner now
@shredalert May I ask where you live?
Hey @Riker
o/
@Riker Are you a biker? (I keep making that connection for some reason!)
14:55
UK @SimplyBeautifulArt.
@amWhy >:U
Can be more specific if you want lol
no, I don't bike
Ah, okay @shredalert
I do run cross country tho
riker is just my name
14:56
That looks like not!
It is a very early dinner xD
irl
1556 rn
Year 1556 (MDLVI) was a leap year starting on Wednesday (link will display the full calendar) of the Julian calendar. == Events == === January–June === January 16 – Charles I, having already abdicated as Holy Roman Emperor, resigns the Kingdom of Spain in favour of his son, Philip II, and retires to a monastery. January 23 – The Shaanxi earthquake, the deadliest earthquake in history, occurs with its epicenter in Shaanxi province, China; 830,000 people may have been killed. February 5 – Truce of Vaucelles: Fighting temporarily ends between France and Spain. February 14 Akbar ascends to the throne...
> The kings of Spain take control of the Flanders region, including what is now the French département of Nord.
14:56
Never too early for food @shredalert
no how could they do this to ned
@Riker No problem with that.... I shall burnish all neural networks within my mind that somehow linked Riker to biker.!! I should also do some house keeping in my brain, if you lay to rest my newest connection to Riker's Island.
>:U
@amWhy Reminds of this one book
Where people used nano-bots to crawl inside your brain
@Riker It has burnished in the fire.
14:59
burnished = polished >_>
and you could attach little wires around to move memories
or you could, you know, stab the brain a bit and destroy a few things
@SimplyBeautifulArt ...selectively?
Yeah
though you kind of have to play a guessing game
since you can't read what's on a particular part of the brain
That's good.... but then again, I can envision how useful being able to alter anothers ego center, and deeper yet, narcissistic base, of one well known person who makes daily headlines due to his ego/stupidity! Urr umm, hmmm.
15:10
Some user with an inflated ego?
@shredalert I pray to God that he never enters the sanctity of this site!! No, the guy I'm referring to is too stupid, very stupid, but won't admit it. That's the least of his faults!
I use the word "stupid" extremely rarely. And not to users here. We are talking (or at least I am) about a megalomaniac, narcissistic man, who can't take a joke, ever, and so certainly he can't take any criticism whatsoever as valid!!
And he's currently on a tour of the Middle East, Europe, and the Vatican. We pray he doesn't put his foot in his mouth, yet again.
Sorry, I'll stop now.... Not a happy camper in this current US of A.... Just need to vent once in a while.
@Riker Feel free (if I remember correctly, you're a mod at another site?) to delete my post as problematic. I will try very hard to keep from opening my mouth (via fingers to type) about such matters, though I do believe I've been very discreet this time.
nah it's cool
and holy s*** that's a lotta rep on math.se
I hadn't checked your profile before
@Riker Not so active this past year, in terms of answering questions. Spend a lot of time reviewing, chatting, commenting on questions, suggestions for askers, chatting, reviewing, etc. But I still work to keep track of the incoming questions, and answer occasionally.
huh, okay
People who don't accept, and reflect on, kind criticism just shut themselves off to learning
9
their loss really
15:25
@shredalert that just earned you a star!
have a pin too
@Riker I just found the site you're moderating (or at least one of them)! Very cool, very awesome. I've been a vegetarian for have my life (and for me, that's a generation. For many reasons, though the reasons have evolved over time. At this point in my life I simply cannot, psychologically, eat meat. (Again, for many reasons not doing so is good). I simply cannot, so I'm beyond the "will not" point.
oh, really? cool :D
Welcome @S.C.B.
@Riker doubly pinned?
yea there's a bug
22
Q: Mobile allows triple-pinning

DJMcMayhem Once again, The Nineteenth byte has uncovered an strange and unusual obscure chat bug Normally, if you attempt to pin a message that has already been pinned by another user, you get the following: However, the mobile site allows room owners to pin messages that are already pinned. For exa...

@SimplyBeautifulArt I get so confused. (btw, @S.C.B. how are you?!?!) So there is a user SBM, (which are the initials of SimplyBeautifulMath) and we have S.C.B.!!
TNB got an "awesome" from shog
That... Is... Awesome!Shog9 ♦ Mar 4 at 3:42
@amWhy O.O
@SBM Why you copying me?
@Riker oh...
@amWhy should get on mobile just to pin @shredalert's message again
I was wondering if @S.C.B. took on @SBM, but now I know that they are two separate users!
15:41
Dinner was good :D
time for some logic
Well, @shredalert, in the meantime your comment has been starred three times!!
oh my O:
Currently doing exercises of translating English to predicate wffs
I don't want to forget to send you an e-copy, or URL to Project Gutenberg.org, which has been gathering a repository of classic literature, and much more. And here is the link to Siddhartha, by Hermann Hesse. Even just to save for later. It can be easily found from a cold start at Google using "Siddhartha".
Ah, ty! @amWhy
15:49
@shredalert Bt way, I re-read the last half of the book last night....
@shredalert What text are you working with? wrt Logic?
Sweet Reason by Henle, Garfield, and Tymoczko
I'm glad I got this one first, definitely a good introduction and preparation for diving into more advanced stuff.
11
A: Is this number a factorial?

FatalizeBrachylog, 1 byte ḟ Try it online! Explanation ḟ is a built-in that asserts the following relation: its output is the factorial of its input. We simply give it a set output and see whether it suceeds or not with a variable input.

Wtf?
One byte answer?!?!?!
How the... x.x
@shredalert Ahhh, yes, I remember now.
Wrt to logic, I also bought two other books. Mathematical Logic by Kleene, and Topoi: The Categorial Analysis Of Logic by Goldblatt. That's for the summer.
@shredalert I think (?) I have Kleene, but almost surely do not have Golblatt's
15:58
I think Kleene's book is standard in a lot of places.
It starts from the basics, but is very terse. I wouldn't call it an introduction haha.
Sorry, I was closing extraneous windows (tex formatting, etc, which weren't active in Firebox, but lost every tab opened in Firefox..... Got back on quickly!
@shredalert Are you gearing up for studying Category Theory (Hence Topoi), or mathematical logic? Either direction is great to pursue!
Both :D
Only interested in category theory inside a logic setting though atm
less about it as just pure algebra
Cool! I have Enderton's Mathematical Logic, and a number of others (Classics like Tarski on Truth). Have you done any set theory? I think Enderton's text's introduction chapters help cover that.
I have Henle's Outline Of Set Theory. That's my other summer reading.
It goes over the standard topics.
SBM
SBM
Um, what?
Hello
How do you solve this equation if k is a constant?
16:08
It's a bit different to my other books though. It's more of a project text. Gives some definitions about sets and leaves the reader to prove everything.
SBM
SBM
$$10 \sin \alpha - \cos \alpha = k$$
I need the value of either $\sin \alpha$, $\cos \alpha$, or $\alpha$
But it appears really complicated
I was very lucky in that all three of my other logic and set theory books are Dover, so they were really cheap. Sweet Reason is Wiley-Blackwell but I got it cheap second hand for around £15 I think - in great condition too.
It's criminal how expensive some books are! :@
SBM
SBM
15 pounds , wait ...
yes? @SBM
SBM
SBM
that's a lot
1260 rupees
16:17
A new copy goes for about £45....
@shredalert Sounds good! I also have on hand Enderton's Mathematical Introduction to Logic, and Ebbinghaus, Flum and Thomas "Mathematical Logic" which is priced similarly to Dover. Enderton also has Elements of Set Theory, but unless a used copy can be found, don't worry about that.
I had a look at Enderton's set theory book, but I bought Henle's instead.
I like problem book format for things I'm learning. I feel more involved.
You can have a look at it here amazon.co.uk/Outline-Theory-Dover-Books-Mathematics/dp/… I think it covers much the same that Enderton does.
I have a few Dover; (And I need to clear and organize my spare bedroom, which I've made an "office" which has become more of a library!!
@shredalert Is this the Kleene who made the Church-Kleene ordinal? O.O
Yep, same Kleene I believe @SimplyBeautifulArt.
16:22
Hey @SBM
I'll solve it
SBM
SBM
Hello
$$10\sin\alpha-\cos\alpha=k$$
Let's assume that $\cos\alpha>0$.
$$\cos\alpha=\sqrt{1-\sin^2\alpha}$$
SBM
SBM
yes
I've got notebooks piled at the foot on my bed, and two bookshelves in my room. The wooden one has the big books and the small ones are on a collapsible bookshelf I bought off ebay. @amWhy
$$10\sin\alpha-k=\sqrt{1-\sin^2\alpha}$$
$$(10\sin\alpha-k)^2=1-\sin^2\alpha$$
16:24
That looks pretty good. Enderton introduce a little set theory in this math logic text, and also authored a separate text on set theory, But truth is, learning Holmos's Naive Set Theory gives a strong basis to branch from. It's available from Dover.
And so its just a quadratic now
SBM
SBM
yes
the value of the k though
You can assume $\cos\alpha<0$ to solve other solutions
I think Henle covers more than Halmos
SBM
SBM
16:25
makes it annoying
I'm pretty sure I did a comparison between the two before I bought it @amWhy
$$101\sin^2\alpha-20k\sin\alpha+k^2-1=0$$
$$\sin\alpha=\frac{20k\pm\sqrt{400k^2+404(1-k^2)}}{202}$$
@shredalert okey dokey, then!
Poll: How often do you have to have to click on the bookmark for chat jax rendering?
About once a day
16:28
About 4 times a day
SBM
SBM
When you substitute $$k = \dfrac{2525}{2309.4}$$ alpha becomes awful to look at
Okay, then the current status is what seems "normal".
So? Its not horrible to solve for @SBM the end result is just... less than optimal
SBM
SBM
yes
I was making random equations for fun
16:30
I'll definitely give my verdicts on the three books as I study them over the summer, if anyone else is interested.
I don't think I've met you yet, @SBM? Or maybe just in passing? In either case: o/ and :-)
I've seen you around a bunch, but I was confusing your initials with another user's username!
We've got a few S_Ms now
or I should say S_ _ s
@shredalert I might be interested too, and anyway, it will be interesting to cross reference each other's sources of problems, etc.
Definitely look forward to it! @amWhy
I've only got two and a half weeks until my exam, so I'll be digging in after that.
@shredalert Wow...two and a half weeks, yet? But, indeed, I understand end of May early June exams. I taught while a fellow at a Wisconsin College in which they had a long semester break, during which on could enroll in any of a number of three credit classes from Jan. 2 - Jan 31 or so, so the Spring semester didn't start until early February.
SBM
SBM
16:43
Oh
@shredalert What exam do you have in 2 and a half weeks?
SBM
SBM
I see who was it?
@amWhy Core mathematics, so calculus + basic mechanics
with taylor series in the calculus bit
SBM
SBM
@amWhy
Ahh, that can be a mouthful...(and a lot of turf to master)!
@SBM Hello!!
SBM
SBM
16:44
I'm much less qualified than most here
Hello; hope you're having a good time
I'll claim I've mastered some mathematics after I build a rock-solid knowledge of logic hehe
SBM
SBM
I have lots to learn so was looking for something interesting.
@SBM Do not worry about that, if you're chatting in this room, then you are in a class above most. Of course I joke about that, but no need to be so humble.
SBM
SBM
What are eigen values?
?
@SBM What ever your level of understanding, you are welcome here!!
SBM
SBM
16:49
Thank you, I remember @SimplyBeautifulArt taught me differentiation under integration here
That was awesome
I've got a quick question btw. I translated this sentence to a predicate wff "All Norwegians sneer at someone". $\forall y \exists x (Ny \Rightarrow Syx)$. What would the main connective be here? would it be $\forall y \exists x$ or just $\forall y$? @amWhy
I'm thinking the first
Nope, your first is fine (with domain x, y being all people)) so $$\forall y \exists x(Ny\to Syx).$$ For all persons y, there exists person x such that $(Ny\to Syx).$
ah good
ty @amWhy :)
16:56
First time I've put a pair of quantifiers at the top of the tree
@SBM also look here, for the definition, and some examples en.wikipedia.org/wiki/Eigenvalues_and_eigenvectors
so I was a bit unsure
You could have also written $$\forall y(Ny\to \exists x(Syx))$$
I was thinking of that
Isn't it also a bit of an ambiguous sentence?
What if the person all Norwegians snare at is the same person?
@amWhy: Too busy to spend time on Math SE, recently. Not trying to 'lurk' or whatever. Hope things are all okay with everyone here! =)
17:02
Wouldn't it then be $\exists x \forall y (Ny \Rightarrow Syx)$.
@user21820 Hope you are well! :)
@SimplyBeautifulArt what's up?
No, it says that for every person y, if y is Norwegian, then there exits a person x such that y sneers at x.
I'm wondering if we can get a face filter thing placed onto stuff, like movies and stuff
17:04
@shredalert: Thanks!
Oh, hey @user21820
Did you see my contest?
I was teasing you, about "lurking." Just want to make sure you doing K OH.
@amWhy I was thinking for some reason it could have been interpreted that all Norwegians sneer at someone (the same person).
Like the sentence "They are all looking for someone"
Well, then you'd need to say that there exists some person $x$ such that $\forall y (Ny \land Syx.$
Oh wait
I just realised you had an $\wedge$ in there
Why is it $Ny \wedge Syx$ and not $Ny \Rightarrow Syx$?
17:15
@shredalert The point is that $\forall y\exists x(Ny\to Sxy) \not\equiv \exists x \forall y, (Ny \to S(y, x)).$
Yes, I understand that. But I was asking what the wff would be if we interpret it as "All Norwegians sneer at the same person".
I know the LHS "All Norwegians have a person they sneer at" and the RHS "All Norwegians sneer at the same person".
@amWhy I was wondering why you put an "and" in
And doesn't seem appropriate, does it. (the and claim). Also, my last comment should read, on left side, Syx.
yeah
I like these little exercises, they are fun xD
Yes...I agree!!.
My bridges are for boats that want to get across land
17:28
That's pretty cool
17:38
I wonder if there are fish on that "bridge" @SimplyBeautifulArt
SBM
SBM
oh
 
1 hour later…
18:41
@SimplyBeautifulArt cooool
18:59
so sleepy
yawns
19:30
@shredalert no idea
@Mithrandir :-)
20:18
All quiet on the chat front
Hmm, yeah, was writing an answer and trying to write a question
 
3 hours later…
22:58
g'morning SBA
Hey @EricStucky
you enjoying the convo in main chat?
I had to excuse myself from it; I enjoy listening to that sort of stuff but I get sucked in way too easily, and I have things I want to do today!
So I can have $C^k$ functions, then $C^\infty$ functions, then $C^ω$ functions, but there isn't any notion of $C^{ω+1}$ functions
I mean... you could try...
@EricStucky what do you mean?
23:07
I'm assuming $C^\omega$ means analytic?
You would need a notion of taking completed-infinity many derivatives, which seems a lil rough
I guess that's not totally unreasonable, though
just make the sequence $f^(k)(x)$ and then ask it to converge somehow
23:10
any natural topology on $C^\omega$?
Gonna go eat, brb
okie
enjoy
23:41
Prove or disprove the following statement:
$$\exists f:\mathbb R_{x>a}\to\mathbb R,f\in C^\infty(\forall g:\mathbb R_{x>a}\to\mathbb R,g\in C^\omega(\exists x_0>a(\forall x>x_0\implies f(x)>g(x))))$$
@SimplyBeautifulArt This time, save something nummy for me!
@amWhy D: You always too late :(
@SimplyBeautifulArt Well, then I guess I'll just order out tonight. I don't feel like cooking, and I already have too many meals of cereal and milk!
@SimplyBeautifulArt Get yourself a nice drone, and then you can deliver to me nummies on demand!
23:50
xD
Gonna drop eggs on your roof
@EricStucky Did you see the above?
@SimplyBeautifulArt LMAO
I'm coming for you!
I like learning etymology... like, when was the word "drone" first used in reference to remote controlled devices ? or as the FAA considers them "unmanned aircraft systems" ? (Makes note to self: Call FAA to insist on changing that to "unwomanned aircraft")
unpersonned ....
Hi, @Riker (perchance you're a hiker, as well). :P
>:U
I actually do like hiking >_> I'm sore today after a 6 mile jog yesterday night

« first day (133 days earlier)      last day (1365 days later) »