« first day (42 days earlier)      last day (1456 days later) » 

1:54 AM
@Fawad Hey man
@S.C.B. Hey man
 
2:28 AM
@S.C.B. if you are interested, you could try some multi-variable calculus
 
2:42 AM
@Ramanujan Hey man
 
3:31 AM
@SimplyBeautifulArt I'm planning on doing so, thank you.
 
 
4 hours later…
7:34 AM
Sorry I was in school @SimplyBeautifulArt
 
8:05 AM
@Deedlit Um I don't think it's fair to enter it into a contest if you don't actually have a proof (even in ZFC) that it terminates. For myself, I wouldn't consider any program to be eligible for a big number contest if its termination cannot be proven in predicative higher-order arithmetic (higher-order version of ACA) to prove that it halts.
Of course, this is @SimplyBeautifulArt's contest so it's completely his choice of foundational system. But unless we have some good reason to believe that ZF is Σ1-sound, we wouldn't have good reason to believe that a statement proven in ZF about the termination of a program (a Σ1-sentence over PA) is true even in the standard model of PA that ZF believes is the real thing.
Actually it would be nice if everyone who submits a program also can provide an English description, and produce a proof of termination in the current conventional foundations, namely ZFC, if requested. I should be done with my program and its description and proof by today, and will gladly sketch the idea to anyone who is interested. I don't expect other participants to follow, but I'm personally very interested in the proofs of the larger contenders!
 
 
3 hours later…
11:32 AM
@user21820 yeah... That sounds like a good idea.
 
12:30 PM
Just came across this funny scientific experiment. Nothing to do with mathematics though..
The pitch drop experiment is a long-term experiment that measures the flow of a piece of pitch over many years. Pitch is the name for any of a number of highly viscous liquids that appear solid, most commonly bitumen. At room temperature, tar pitch flows at a very low rate, taking several years to form a single drop. == University of Queensland experiment == The best known version of the experiment was started in 1927 by Professor Thomas Parnell of the University of Queensland in Brisbane, Australia, to demonstrate to students that some substances that appear solid are, in fact, very-hig...
 
12:41 PM
lol, wtf?
XD
 
 
1 hour later…
1:58 PM
@gtrrebel Hello and welcome to my realm
 
 
1 hour later…
3:16 PM
Hm.
@user21820 Do you know if knowledge of RSA is necessary here?
0
A: How to decode fast RSA with prime number in base

S.C.B.Note that you are wrong, as $13^2 \equiv -1 \not \equiv (-1)^2 \pmod {13}$. Note that $$13^{3} \equiv 13^2 \times 13 \equiv 169 \times 13 \equiv (-1) \times 13 \equiv -13 \equiv 21 \pmod {34}$$

I only know what RSA does in general.
 
@S.C.B. Well RSA encryption and decryption both involve modular exponentiation, so the question is clearly from a practice question about RSA, but no knowledge of RSA itself is needed.
But you should take a look at RSA anyway; it's really very simple and only requires fermat's little theorem.
 
Good.
I know what RSA does, but I never had much interest in cryptography.
 
You made a typo in your first line of the answer though.
Well it's so simple that as a mathematically trained person you should know it. =)
 
3:31 PM
Where?
 
You said "mod 13"
 
OK, fixed that
I wonder how I could make such a misake.
 
3:48 PM
It's understandable. I make such mistakes all the time.
 
@S.C.B. haha, that's probably the tenth typo I've seen today, the first five being my own.
 
4:11 PM
@SimplyBeautifulArt What time is it there right now?
 
@S.C.B. 11:11
 
So you are UTC-5 I'm guessing.
 
I believe you are right
 
So with that I can approximate your location.
 
Of course
 
4:14 PM
But only generally.
 
Of course
@S.C.B. likely, you know many things about me, like my password to MSE, you just don't know you know
 
I wonder if I could find your IP address...
 
@S.C.B. probably not
You'll end up with multiple things, and yeah
 
Did you ever edit googology wiki?
 
No
But I have an account there
:-)
@S.C.B. did you figure me out yet?
 
4:30 PM
No
 
 
2 hours later…
6:31 PM
@BrevanEllefsen :P :D
 
 
1 hour later…
7:43 PM
@SimplyBeautifulArt @amWhy @Deedlit @Wojowu: Here is my entry: repl.it/Fomr/1. The first block of comments describes what it does. The second block of comments sketches the proof of termination, but I'd be curious to know who can prove it by themselves! Also, can anyone can identify its rate of growth in terms of the initial value of c? And how much do lines 16,17,18 help? It's the best I could come up with to boost the growth rate.
@SimplyBeautifulArt: By the way, I personally prefer tutorialspoint.com/codingground.htm for an online compiler/interpreter haha..
 
@SimplyBeautifulArt What?? XD
 
8:46 PM
@user21820 Okay, I haven't gone through your code exactly to understand if it does what I think it does, but if it does, then what you have created is a variation of Buchholz's hydra in which labels are further trees. This was already conceived before in some form, and it is quite a strong system, IIRC measured by this ordinal: googology.wikia.com/wiki/%CE%A8(%CF%88%E1%B5%A2(0))
I might be wrong on whether this is actually what your system does and I think @Deedlit is a better one to ask about that
(btw, I have just remembered - the before-conceived version of this hydra ended up not being well-defined, and the ordinal I believe came out of some "analysis" which didn't even care about that, so that might be wrong :P)
But again, I would rather wait for @Deedlit to have his word on that
(btw, I've let myself star your previous message to make it easier to find for him, since now he is out for the weekend)
 
 
1 hour later…
10:12 PM
@BrevanEllefsen Want an integral I just found?
@user21820 Cool man. Lol, you probably won :D
 
@SimplyBeautifulArt Yayayayay, for @user21820
 
@user21820 I hope to have some time to look it over in two-three hours, but from comments thus far, I think you "dun gud"!
@SimplyBeautifulArt Kind of slow around here today (well, it's Saturday, so I shouldn't be surprised!)
 
Lol, I suppose
 
"around here": I mean MSE, not this chatroom!
 
10:22 PM
I think I spent to much time on the main site :P
Oh!
Well I think its slow in this chatroom today
oh wait, nvm
its not as slow as I remember
But it hasn't been super busy
 
I've been doing mostly "housekeeping" on main, today.... I know, I'm a sucker for doing so... but.... it does get old....
 
@SimplyBeautifulArt let me see it.
 
$$\int_0^\infty\frac{x^s}{e^x-z}dx$$
 
@SimplyBeautifulArt are we assuming that $z$ is real or complex?
 
10:32 PM
Forgive me if I suck at notation: $z\in\mathbb C/\mathbb R_{\ge1}$
Something like that, I don't know how to write it
$z$ is not a positive real greater than one.
 
That notation seems fine to me. Alright, I will chug away at it when I have time.
 
@BrevanEllefsen $s\ge-1$
 
@SimplyBeautifulArt ok. figured that.
I've spent much of my free time today attacking this integral with real analysis
7
Q: An integral of rational function with third power of cosine hyperbolic function

Zaid AlyafeaiProve $$\int_{-\infty}^{\infty}\frac{1}{(5 \pi^2 + 8 \pi x + 16x^2) }\frac{\cosh\left(x+\frac{\pi}{4} \right)}{\cosh^3(x)}dx = \frac{2}{\pi^3}\left(\pi \cosh\left(\frac{\pi}{4} \right)-4\sinh\left( \frac{\pi}{4}\right) \right)$$ Attempt Note that $$\cosh\left( x+\frac{\pi}{4}\right)...

not going super well thus far :/
 
Lol
@BrevanEllefsen I haven't done an integral that was offset from infinity by an imaginary amount yet
 
@SimplyBeautifulArt nor have I. That's the problem XD it seems like the natural route to go, but I only now starting to study complex analysis. I am not anywhere near to being good at it
 
10:40 PM
The question also says you may use countours and whatnot
XD
lol
Well, I'll think about it
 
@BrevanEllefsen this is just
contour integration
 
I know
 
@Starfall :|
 
okay, great
 
that's the problem: I don't know contour integration, which is why I left my answer at that point
:|
 
10:41 PM
well
you don't have to do any manipulation, really
 

« first day (42 days earlier)      last day (1456 days later) »