/sci/ - Science & Math » Thread #11532134

693KiB, 825x914, Screenshot_2020-04-04 Genius triumphs Japanese mathematician's solution to number theory riddle validated The Japan Times.png

View Same Google iqdb SauceNAO

/mg/ maths general: accepted for publication edition

Anonymous Sat 04 Apr 14:27:33 2020 No.11532134 View Reply Original Report

Quoted By: >>11532143 >>11532230 >>11533359 >>11535408 >>11535512 >>11537457

talk maths, formerly >>11512441

Anonymous

Anonymous Sat 04 Apr 2020 14:31:05 No.11532143 Report

Quoted By: >>11533867

>>11532134
It's a shame journals don't publish who the reviewers were. It'd be funny to see the names.

Anonymous

View Same Google iqdb SauceNAO Walrass.jpg, 264KiB, 553x684

Anonymous Sat 04 Apr 2020 14:42:54 No.11532165 Report

Quoted By: >>11532199 >>11532328 >>11532341 >>11532360 >>11532363

Occasional reminder to work with economists.

Anonymous

View Same Google iqdb SauceNAO Taleb.png, 81KiB, 500x820

Anonymous Sat 04 Apr 2020 15:00:20 No.11532199 Report

Quoted By: >>11534111

>>11532165
Economics is a BS science, ask Taleb.

Anonymous

Anonymous Sat 04 Apr 2020 15:07:45 No.11532230 Report

Quoted By: >>11532239

>>11532134
>pic
Wait, is that real? IUT confirmed now?

Anonymous

Anonymous Sat 04 Apr 2020 15:10:43 No.11532239 Report

Quoted By: >>11532348

>>11532230
>Kyoto confirmed their theory is confirmed
Geee

Anonymous

Anonymous Sat 04 Apr 2020 15:46:48 No.11532328 Report

Quoted By:

>>11532165
>economists
lol imagine believing in this shit

Anonymous

Anonymous Sat 04 Apr 2020 15:51:28 No.11532341 Report

Quoted By:

>>11532165
This has to be a joke right? Economists have nothing to offer for anyone.

Anonymous

Anonymous Sat 04 Apr 2020 15:52:57 No.11532348 Report

Quoted By:

>>11532239
I see. Thanks. Was worried there for a bit.

Anonymous

Anonymous Sat 04 Apr 2020 15:55:53 No.11532360 Report

Quoted By: >>11532435 >>11536043

>>11532165
Modern day alchemy. Pure bullshit. Paul Krugman especially.

Anonymous

Anonymous Sat 04 Apr 2020 15:57:14 No.11532363 Report

Quoted By:

>>11532165
The question economists should answer is how much better off the world would be if we had shot every single one of them!

Anonymous

Anonymous Sat 04 Apr 2020 16:31:42 No.11532435 Report

Quoted By: >>11534300

>>11532360
Is Game Theory modern day alchemy? Many fields of theoretical economics have essentially become sub-fields of topology, analysis, and other branches of mathematics.

Whether or not economic theory is good at predicting human behavior is a different question, and it is one that not many theorists (including myself) are not concerned with.

wiki server

View Same Google iqdb SauceNAO Bildschirmfoto 2020-04-04 um 22. (...).png, 245KiB, 1598x978

wiki server Sat 04 Apr 2020 20:22:14 No.11533045 Report

Quoted By: >>11533049 >>11533149

I've long used doku-wiki for my notes but wanted something more lightweight and so put this open source local server together, pic related. At the moment it's a one Flask post routine, some python file handling scripts some rudimentary html plugging, including MathJax. You fix a root dir in the config and the filetypes of interest and then it will let you search all files and render the files.

My web dev skills are very basic, so there's lots of room for improvement. Inputs welcome!

https://github.com/Nikolaj-K/wiki-server

wiki server

View Same Google iqdb SauceNAO Bildschirmfoto 2020-04-04 um 22. (...).png, 241KiB, 1980x1102

wiki server Sat 04 Apr 2020 20:23:46 No.11533049 Report

Quoted By:

>>11533045

Anonymous

Anonymous Sat 04 Apr 2020 21:03:22 No.11533149 Report

Quoted By: >>11533255

>>11533045
Not to be mean, but.
Why not use something like vim wiki? You are already writing markdown and you could entirely skip having to run a server in the background (something not very lightweight).

wiki server

View Same Google iqdb SauceNAO 1_ztsYUp559OsKl4_Tykwxpg.png, 55KiB, 1222x359

wiki server Sat 04 Apr 2020 21:50:25 No.11533255 Report

Quoted By: >>11533291

>>11533149
Didn't know it, but I also want to extend the thing with some graph tools and I also don't know the language vim is written in.
I had previously used dokuwiki and graphviz here

https://graph.axiomsofchoice.org/?to=grand_canonical_partition_function

but plugging those different libraries together gets unwieldy and I didn't like to adopt to all the file standards. 4chan'esk plain text suffices.
But I donno, I just did this and I'll find out if it gives a good working flow.

>lightweight
I didn't benchmark it, but can a flask server with one post function make issues?

Anonymous

Anonymous Sat 04 Apr 2020 22:04:52 No.11533291 Report

Quoted By:

>>11533255
>but can a flask server with one post function make issues?
Not really, but you are still essentially running a local server to serve markdown files, which is some serious overkill.

But the idea of being able to include automatically generated plots into your files seems pretty cool.

Anonymous

Anonymous Sat 04 Apr 2020 22:20:52 No.11533328 Report

Quoted By: >>11533369 >>11533867

>Decide to get back into mathematics and apply for a PhD after three years break.
>Program starts in october (if I get accepted) so there are still 5 months for preparation.
>Do it right this time. Study textbooks seriously and try to solve as many problems as I can.
>Everytime I pick up a textbook, I realize there are three more I want to read.

How do you not get insane with the sheer amount there is to learn? I'm taking again algebraic geometry from the start, but there's just so much.

Anonymous

Anonymous Sat 04 Apr 2020 22:29:06 No.11533359 Report

Quoted By:

>>11532134
is mochizuki really left handed?

wiki server

View Same Google iqdb SauceNAO dano.png, 506KiB, 797x531

wiki server Sat 04 Apr 2020 22:30:17 No.11533369 Report

Quoted By: >>11533565

>>11533328
If you have tests, try to understand the matrial in the tests.
If you have a project, try to understand the matrial in for the project.
Organize the stuff you read.
Explain it.
Try to solve a problem. That's my inputs.

Anonymous

Anonymous Sat 04 Apr 2020 23:12:04 No.11533487 Report

Quoted By: >>11533496

why do I find concepts from analysis much “easy” to understand intuitively just by looking at the general constructions, but for algebra I need to look at explicit examples for everything and it takes 5x as much time to understand wtf is going on?
Is algebra the brainlet filter?

Anonymous

Anonymous Sat 04 Apr 2020 23:16:20 No.11533496 Report

Quoted By: >>11533518 >>11533526

>>11533487
algebra only makes sense once you know every single thing about every other piece of math prior. until then, you just have to go with the flow.

Anonymous

Anonymous Sat 04 Apr 2020 23:21:22 No.11533518 Report

Quoted By:

>>11533496

this is 115% accurate

Anonymous

Anonymous Sat 04 Apr 2020 23:24:14 No.11533526 Report

Quoted By:

>>11533496
This is the best advice I could ever give someone, especially when they just have to do math in school or something.
Literally just go with the flow and just do whatever the teacher tells you to do even if it doesn't make sense. Just do it because they said so, seriously. It's that easy.

Anonymous

Anonymous Sat 04 Apr 2020 23:44:51 No.11533565 Report

Quoted By: >>11533585

>>11533369
That' the thing about number theory though.
It feels like you need to go through so much material before you can even consider a project.
After my master's degree I had a basic understanding of algebraic geometry and algebraic number theory, that I now need to rebuild.
But even then, I feel like there's so much material I need to go through to even start being serious about it.
I need to learn class field theory, elliptic curves, etale cohomology and topoi theory...

As I want to do things right, I spend time on everything.
When I was doing my master's thesis I had to rush through learning algebraic geometry, and I had a very fragile understanding of anything.
It's very easy with scheme theory to get lost in the flow of arrows and maps. And suddenly you have to write a proof and you realize you barely even understand what the image of a morphism is since your set-theoretical intuition is worthless here and you forgot how sheafification work.

Sorry, I'm mostly just ranting as if /mg/ was my personnal blog but I'm curious if there are any number theorists here who have been through this or something like this.

Anonymous

View Same Google iqdb SauceNAO yukari_cone.png, 601KiB, 1548x877

Anonymous Sat 04 Apr 2020 23:58:09 No.11533583 Report

Quoted By:

>>11531805
Notice that vectors $v=\{v_i\}_{i\leq k}$ with $k>2$ satisfying $\sum_i v_i = 0$ cannot be colinear, hence they span a (possibly concave) polygon. Denote this polygon by $D_v$ , the quantity defined by $f_j(v) = ||\sum_{i\leq j}v_i||$ then computes the length of a vertex-to-vertex chord within $D_v$ , hence $f(v)=\max_{j\leq k}f_j(v)$ computes the length of the longest vertex-to-vertex chord in $D_v$ .
Now permutation of the vertices constitute a homeomorphism of the polygon, and we know that polygons are contractible so we can suppress $\operatorname{vol}D_v$ to however small value we like with a homeomorphism. In particular, for any $C'>0$ we can find a simplicial homeomorphism $h$ such that $\operatorname{vol}(hD_v) \leq C'$ ; this automatically shrinks the length $f(v)$ of your maximal vertex-to-vertex chord. The problem then becomes showing that, for any such $h$ , we can find $\sigma \in S_k$ such that $h D_v = D_{\sigma(v)}$ .

Anonymous

Anonymous Sat 04 Apr 2020 23:58:41 No.11533585 Report

Quoted By: >>11533618 >>11534321

>>11533565
I was unaware actual scientists browse this shithole

Anonymous

Anonymous Sun 05 Apr 2020 00:12:33 No.11533618 Report

Quoted By: >>11538734

>>11533585
I'm not an actual scientist, just an aspiring one.
But I guess I started coming here nine years ago when I started uni and I just kept the habit through undergrad and grad school.
I do.'t really know where else to go to have casual discussion about maths.

Anonymous

View Same Google iqdb SauceNAO 1581536190825.png, 189KiB, 532x392

Anonymous Sun 05 Apr 2020 01:44:45 No.11533867 Report

Quoted By: >>11534688

>>11532143
Angry mathematicians sometimes send bombs.

>>11533328
No matter how much maths you do, you will still remain a boy.

Anonymous

View Same Google iqdb SauceNAO abc.jpg, 161KiB, 1151x614

Anonymous Sun 05 Apr 2020 02:58:02 No.11534004 Report

Quoted By:

he's even on the tele

math monk attempt

math monk attempt Sun 05 Apr 2020 03:27:35 No.11534049 Report

Quoted By: >>11534056

So I tried to learn Linear Algebra with Axler but the first page has set theory terminology that I haven't studied yet. Should I read a set theory book then return to Axler or pick a different LinAlg book and return to Axler in two months for a quick refresher?

Anonymous

Anonymous Sun 05 Apr 2020 03:33:53 No.11534056 Report

Quoted By:

>>11534049
You can pick up what you need about set theory from wikipedia.

Anonymous

View Same Google iqdb SauceNAO 1585868161507.png, 87KiB, 1273x776

Anonymous Sun 05 Apr 2020 03:34:47 No.11534058 Report

Quoted By: >>11534063 >>11534448 >>11534689 >>11534824 >>11534882

BROS how does this work!?

Anonymous

View Same Google iqdb SauceNAO 1456874451287.jpg, 38KiB, 502x500

Anonymous Sun 05 Apr 2020 03:39:35 No.11534063 Report

Quoted By: >>11534068

>>11534058
The person that made this doesn't know what a limit is

Anonymous

Anonymous Sun 05 Apr 2020 03:44:38 No.11534068 Report

Quoted By: >>11534071 >>11534073

>>11534063
Can you explain?

Anonymous

Anonymous Sun 05 Apr 2020 03:47:31 No.11534071 Report

Quoted By: >>11534078

>>11534068
Yes I can

Anonymous

Anonymous Sun 05 Apr 2020 03:48:54 No.11534073 Report

Quoted By: >>11534078

>>11534068
Depends, if you are someone who doesn't accept the formal definition of a limit (epsilon-delta), then no, I don't want to stink up /mg/ with this

If you don't know what an epsilon-delta proof is, then sure

Anonymous

Anonymous Sun 05 Apr 2020 03:52:53 No.11534078 Report

Quoted By: >>11534080

>>11534071
>>11534073
Whats wrong with the way limit is used in the pic?

Anonymous

Anonymous Sun 05 Apr 2020 03:54:20 No.11534080 Report

Quoted By: >>11534098

>>11534078
What limit. They don't use limits

Anonymous

Anonymous Sun 05 Apr 2020 04:07:45 No.11534098 Report

Quoted By:

>>11534080
I guess you don't use your brain.

Mind answering me this, but who do you think is using your brain when you aren't using it?

Anonymous

Anonymous Sun 05 Apr 2020 04:15:26 No.11534111 Report

Quoted By:

>>11532199
Based.

Anonymous

View Same Google iqdb SauceNAO why.png, 22KiB, 815x219

Anonymous Sun 05 Apr 2020 04:16:31 No.11534112 Report

Quoted By: >>11534117

can one of you 300k/year math majors tell me why this is the case? i cannot find any info on how that line makes any sense

Anonymous

Anonymous Sun 05 Apr 2020 04:21:03 No.11534117 Report

Quoted By: >>11534123 >>11534244

>>11534112
This is 11th grade math, if the coefficient of the nth order differential is zero then it is not an nth order differential, if the converse were true then any differential equation could be called any order by just saying that the highest order differential has its coefficient zero

Anonymous

Anonymous Sun 05 Apr 2020 04:23:54 No.11534123 Report

Quoted By: >>11534144

>>11534117
but he says
>otherwise the order of the equation is less than n
why would it be less than n specifically, if an=0 could it mean it could be any order?

Anonymous

Anonymous Sun 05 Apr 2020 04:34:05 No.11534144 Report

Quoted By: >>11534152

>>11534123
it needs nth derivative of some variable.

Anonymous

Anonymous Sun 05 Apr 2020 04:37:45 No.11534152 Report

Quoted By: >>11534208

>>11534144
so it cant be any order or can it be any order

Anonymous

Anonymous Sun 05 Apr 2020 05:26:19 No.11534208 Report

Quoted By: >>11534244

>>11534152
Well i guess that you mean that there could be a derivative present of order biggrt than n multiplied by zero. But then we do not have a clear definition of the order of an equation since we could add as many of such derivatives multiplied by 0 as we want and it will not change result. So we stick in the defunition that the coefficient of nth derivative is not zero, so that the highest derivative of a variable present is effectively n

Anonymous

Anonymous Sun 05 Apr 2020 05:41:34 No.11534244 Report

Quoted By: >>11534282 >>11534290 >>11534682

>>11534208
maybe i'm misunderstanding you? i get that, since that's just what was said here >>11534117 but that doesn't answer why an = 0 necessarily means the order is LESS than n. it could be greater than n, if that's what he really meant. but then why did he specify less than n?

Anonymous

Anonymous Sun 05 Apr 2020 05:47:06 No.11534256 Report

Quoted By: >>11534258

If a 5 star rating system is bumped up to 6, whats the formula to convert it to 5 stars again? eg restaurant is rated 4.9/6 and I wanna see its score if it was rated out of 5 stars.

Anonymous

Anonymous Sun 05 Apr 2020 05:48:23 No.11534258 Report

Quoted By: >>11534270

>>11534256
If x is a rating out of 6 stars, the rating out of 5 stars is
x*5/6

Anonymous

Anonymous Sun 05 Apr 2020 05:54:56 No.11534270 Report

Quoted By:

>>11534258
Oh my hero. I have been googling for a week to find an answer but I couldn't explain it right

Anonymous

Anonymous Sun 05 Apr 2020 06:04:54 No.11534282 Report

Quoted By: >>11534290

>>11534244
if an=0, then your term with most derivatives is n-1, so it becomes a dif equation of order (n-1)th. or if a(n-1)=0, then it would be n-2.

Anonymous

Anonymous Sun 05 Apr 2020 06:09:31 No.11534290 Report

Quoted By:

>>11534244
>>11534282
it is just a matter of definition. a polynomial of order 7 has a7 x^7 + a6 x^6 +... = 0, right? if a7 = 0, obviously, it becomes a polynomial of order 6 if a6 != 0. or of order 5 if both a6 = 0 and a7 = 0.
a polynomial of order 7 NEEDS TO HAVE a7 != 0, otherwise the order is < 7.

Anonymous

Anonymous Sun 05 Apr 2020 06:15:09 No.11534300 Report

Quoted By:

>>11532435
Game theory is its own thing, its not economics.

Anonymous

Anonymous Sun 05 Apr 2020 06:23:07 No.11534321 Report

Quoted By:

>>11533585

remember to swallow when you're done

Teacup !obkpuSWh5M

View Same Google iqdb SauceNAO it-came-from-the-deep.jpg, 146KiB, 786x455

Teacup !obkpuSWh5M Sun 05 Apr 2020 07:20:01 No.11534445 Report

Quoted By: >>11534472 >>11534544

I'm writing homework for somebody aged 9.
Does the following look good:

This technique teaches you how to multiply any number by eleven, easily and quickly.
We will take a few examples and from these you will see the pattern used and also how
easy they are to do.
So, to begin let’s try $12$ time $11$ .
First things first you will ignore the $11$ for the moment and concentrate on the $12$ .
Split the twelve apart, like so:
$1\;2$
Add these two digits together $1\;+\;2\;=\;3$
$1+2\;=\;3$
Place the answer, $3$ in between the $12$ to give $132$
$11\;X\;12\;=\;132$
Let’s try another:
$48\;X\;11$
again, leave the $11$ alone for a moment and work with the $48$
$4\;+\;8\;=\;12$
So now we have to put the $12$ in between the $4$ and $8$ but don’t do this:
$4128$ as that is wrong...
First, do this: Place the $2$ from the twelve in between the $4$ and $8$ giving $428$ .
Now we need to input the $1$ from the twelve into our answer also, and to do this just add
the one from $12$ to the $4$ of $428$ giving $528$ !
Ok, one more
$74\;X\;11$
$7+4\;=\;11$
$7$ (put the $1$ from the right of $11$ in) and $4$
then add the $1$ from the left of $11$ to the $7$
$74\;X\;11\;=\;814$
This is a really simple method and will save you so much time with your $11$ times tables.

Anonymous

Anonymous Sun 05 Apr 2020 07:21:02 No.11534448 Report

Quoted By: >>11534583

>>11534058
It doesn't. Since basically everything in it is wrong.
Read a book on analysis, that will clear things up.

Teacup !obkpuSWh5M

Teacup !obkpuSWh5M Sun 05 Apr 2020 07:28:35 No.11534472 Report

Quoted By: >>11534544

>>11534445
I also have made this because it came up and I think it's helped:

Adding Time
Here is a nice simple way to add hours and minutes together:
Let's add 1 hr and 35 minutes and 3 hr 55 minutes together.
What you do is this:
make the 1 hr 35 minutes into one number, which will give us 135 and do the same for
the other number, 3 hours 55 minutes, giving us 355
Now you want to add these two numbers together:

135
355
____
490

So we now have a sub total of 490.
What you need to do to this and all sub totals is add the time constant of 40.
No matter what the hours and minutes are, just add the 40 time constant to the sub
total.
490 + 40 = 530
so we can now see our answer is 5 hrs and 30 minutes!

Anonymous

Anonymous Sun 05 Apr 2020 08:05:23 No.11534538 Report

Quoted By: >>11534541 >>11535415 >>11538761

Just dumping it over here in case anyone needs math olympiad books

https://drive.google.com/file/d/1yWzACbYHWKkUnPWT9Hx0B5mcLT7YMChY/view?usp=sharing
Google Drive link (zip folder of around 200 pdf files, I think it also includes a lot of AoPS books and articles)

Some of my favourites:
- Arthur Engel Problem Solving Strategies
- A Primer for Mathematics Competition
- 360 Problems for Mathematics Competition by Titu
- Pell's Equation by Barbeau
- Geometry Revisited by Coxeter
- Math Problem Books by Kim Y. Li
- Number Theory by Naoki Sato
- Number Theory for Mathematical Contest by David A. Santos
- Mathematics Olympiad Challenges by Titu
- Problems in Elementary Number Theory
- Cauchy-Schwarz Master Class
- The Pleasure of Math by Goodman
- The USSR Olympiad Problem Book
- Paul Zeitz The Art and Craft of Problem Solving
- Everything in the 101-104 folder by Titu and Feng
- Contest Around The World by Titu
- Diophantine Equations by Titu
- Challenges in Geometry by Bradley CJ

It also includes some interesting articles:
- writing_solns.pdf (guide for writing concise solutions)
- MATH_PROBLEM_SOLVING_AND_MATH_INVESTIGATION.pdf (quick slides about problem solving)
- What Is Good Mathematics.pdf (just an interesting read about math)

Anonymous

Anonymous Sun 05 Apr 2020 08:08:00 No.11534541 Report

Quoted By:

>>11534538
Rehost it on Mega

Anonymous

Anonymous Sun 05 Apr 2020 08:09:05 No.11534544 Report

Quoted By:

>>11534445
>>11534472
These are fucking awful, don't come back here.

Anonymous

Anonymous Sun 05 Apr 2020 08:22:57 No.11534583 Report

Quoted By: >>11534689 >>11534823

>>11534448
can you prove it, or or are you just handwaving and pretending to know more than you really do?

Anonymous

Anonymous Sun 05 Apr 2020 09:15:44 No.11534682 Report

Quoted By:

>>11534244
That statement is in reference to the provided definition, tard. The provided definition doesn’t include any terms greater than n.

Anonymous

View Same Google iqdb SauceNAO maths-automation.png, 1MiB, 1239x1758

Anonymous Sun 05 Apr 2020 09:17:57 No.11534688 Report

Quoted By:

>>11533867

The blackpilled murderer you're referring to had given up on the pursuit of mathematical knowledge by then.

Anonymous

Anonymous Sun 05 Apr 2020 09:19:21 No.11534689 Report

Quoted By: >>11534756

>>11534058
>>11534583
> but 0.999... does indeed exist in S, for ALL of N is infinite
This is wrong. Anon defined S to only contain finite decimal expansions.
That is, only elements of the form 0.999...9 (finitely many 9s) exist in S.

Anonymous

Anonymous Sun 05 Apr 2020 09:52:09 No.11534756 Report

Quoted By: >>11534807 >>11535074

>>11534689
But S was said to be an infinite set?

like what about that sum formula, that made sense right?
(Sum S*[m]) = S[p] ?
Does S* also only contain finitely many 9's?
It seems like the formula suggests if adding all elements of S* makes 0.999... , then that would have to be in S.
But you're saying S only contains finetely many? So S* also contains finitely many?
Or N contains finitely many numbers?
i don't get it.

Anonymous

Anonymous Sun 05 Apr 2020 10:27:54 No.11534807 Report

Quoted By: >>11534858

>>11534756
N is the set of all natural (finite) numbers. 1,2,3 are natural numbers. So is 10000.
2.3, pi, infinity are not natural numbers.
>But S was said to be an infinite set?
Yes. S is not a finite set, so it's an infinite set.
>like what about that sum formula, that made sense right?
>(Sum S*[m]) = S[p] ?
Yes, this is true.
>Does S* also only contain finitely many 9's?
S* is a set each of whose element is represented by a finite decimal expansion.
As a set, S* has infinitely many elements.
>But you're saying S only contains finetely many?
No, S and S* are both infinite sets.
>Or N contains finitely many numbers?
No, N is also infinite.

The fact that a set is infinite does not mean infinity, whatever you mean by it, is an element of the set.
What are you not getting?

Anonymous

Anonymous Sun 05 Apr 2020 10:35:17 No.11534823 Report

Quoted By: >>11534923

>>11534583
>can you prove it
Yes.
For example the first sentence is wrong.
The "Axiom of infinity" does not define anything at all, making already your first sentence wrong.
Reading to the end your conclusions 1. to 5. are all false.

So both your premises and your conclusions are wrong.

Anonymous

Anonymous Sun 05 Apr 2020 10:36:30 No.11534824 Report

Quoted By:

>>11534058

All that really matters is the last line. This is the word of God. Deus Vult!

Anonymous

Anonymous Sun 05 Apr 2020 10:55:56 No.11534858 Report

Quoted By: >>11535089

>>11534807
s* has infinitely many elements. If each element adds together, then its a decimal with infinitely many decimals.
the formula states that any summation of elements of s* creates a number which is also in S.

I don't understand why you think this suddenly stops working at infinity?
s*[1->4] = s[4]
s*[1->999] = s[999]
s*[1->inf] = s[inf]
why would the last case not be true?

Anonymous

Anonymous Sun 05 Apr 2020 11:03:41 No.11534871 Report

Quoted By:

because they don't have souls.

Anonymous

Anonymous Sun 05 Apr 2020 11:09:43 No.11534882 Report

Quoted By:

>>11534058
>it's

Anonymous

View Same Google iqdb SauceNAO pizza_final.jpg, 2MiB, 1400x6571

Anonymous Sun 05 Apr 2020 11:31:51 No.11534923 Report

Quoted By: >>11535313

>>11534823
let a little bit of formalist philosophy into your life

Anonymous

Anonymous Sun 05 Apr 2020 13:08:17 No.11535074 Report

Quoted By: >>11535296

>>11534756
>Or N contains finitely many numbers?
you are saying that N contains only finitely many numbers, because in your own words, the size of N is ?, but in your own words, ? is an "undeterminable" and very large but finite number

Anonymous

Anonymous Sun 05 Apr 2020 13:08:34 No.11535076 Report

Quoted By: >>11535088 >>11535300

Who here /paraconsistent/? TFW you realize it's not just the Law of the Excluded Middle, but also the Law of Non-Contradiction that is invalid and only the law if identity is universally valid, and your understanding of the truth of the LORD is magnified great-fold.

Anonymous

View Same Google iqdb SauceNAO emma_stone_fzm9asd3bi.jpg, 90KiB, 1200x1200

Anonymous Sun 05 Apr 2020 13:19:01 No.11535088 Report

Quoted By:

>>11535076
I have a sweet spot for paraconsistent logicd, but I mean they generally only reject the principle of explosion / ex falso quodlibet and not the law of non-contradiction.
In fact, since the law of non-contradiction is provable constructively in a line, the semantics of a paraconsistent without non-contradictions will generally be quite exotic.

In any case, since most of the time I have to deal with numbers in one way of the other and I haven't seen arithemtics in that context, paraconsistent rarely enter my thinking in praxis - for better or worse.

I'd argue the most hands on thing that you strip away when going down the paraconsistent route is the disjunctive syllogism
$((A \lor B)\land \neg A) \to B$

Anonymous

Anonymous Sun 05 Apr 2020 13:19:03 No.11535089 Report

Quoted By: >>11535483 >>11535539

>>11534858
>I don't understand why you think this suddenly stops working at infinity?
I don't understand why you think this also works at infinity

the burden of proof is on you. you're using a "principle" that if something is true for a finite subset, finite subsequence, finite number of steps or whatever, then it must be true also at infinity (whatever that means). if you think this is true, then prove it.

protip: you can't, because it's totally wrong. counterexamples:

0.999... ? 0.9
0.999... ? 0.99
0.999... ? 0.999
...
0.999... ? 0.999...

{1} finite set
{1,2} finite set
{1,2,3} finite set
...
N finite set

checkmate, faggot

Anonymous

View Same Google iqdb SauceNAO physical maths.png, 2MiB, 1202x910

Anonymous Sun 05 Apr 2020 14:31:13 No.11535244 Report

Quoted By:

Threadly reminder to work with physicists.

Anonymous

Anonymous Sun 05 Apr 2020 14:37:18 No.11535262 Report

Quoted By: >>11535273 >>11535278 >>11535348

If you have two random variables X_1 and X_2, both being normally distributed, is there any linear combination of X_1 and X_2 that is *not* itself normally distributed? I'm thinking if X_1 = X_2 then X_1 - X_2 = X_1 - X_1 = 0, which is not normally distributed (unless you count the dirac delta as being normally distributed).

Are there any other examples? I know the answer is no if X_1 and X_2 are independent, which follows from the properties of multivariate normal distributions, but lets assume they're not independent

Anonymous

Anonymous Sun 05 Apr 2020 14:41:35 No.11535273 Report

Quoted By: >>11535278

>>11535262
No

Anonymous

Anonymous Sun 05 Apr 2020 14:44:04 No.11535278 Report

Quoted By:

>>11535262
https://en.wikipedia.org/wiki/Normally_distributed_and_uncorrelated_does_not_imply_independent#A_symmetric_example
>>11535273
Shut up.

Anonymous

View Same Google iqdb SauceNAO __megumin_kono_subarashii_sekai_ (...).jpg, 147KiB, 1254x1771

Anonymous Sun 05 Apr 2020 14:53:54 No.11535296 Report

Quoted By:

>>11535074
Ahem, excuse me ladies and gentlemen, I have an announcement.

God bless the principle of explosion, and God bless America!
Paraconsistentfags can fuck off out of my thread.

Anonymous

View Same Google iqdb SauceNAO __megumin_kono_subarashii_sekai_ (...).jpg, 147KiB, 1254x1771

Anonymous Sun 05 Apr 2020 14:57:22 No.11535300 Report

Quoted By: >>11535396

>>11535076
Ahem, excuse me ladies and gentlemen, I have an announcement.
GOD BLESS THE PRINCIPLE OF EXPLOSION, AND GOD BLESS AMERICA!
Paraconsistent fags may now fuck off out of my thread.

Anonymous

Anonymous Sun 05 Apr 2020 15:05:35 No.11535313 Report

Quoted By:

>>11534923
?

Anonymouse

Anonymouse Sun 05 Apr 2020 15:24:20 No.11535348 Report

Quoted By:

>>11535262
You should be able to create weird dependencies by taking a normal X_1, applying the CDF to get a uniform [0,1] variable, breaking the range 0 to 1 into segments and shuffling them, and applying the inverse CDF to get X_2. The distribution of the result should be normal again, but the distribution of X_1 + X_2 could be non-normal.

Anonymous

Anonymous Sun 05 Apr 2020 16:01:14 No.11535396 Report

Quoted By:

>>11535300
All that is needed is the law of identity, the LAW of the ETERNAL GOD

Anonymous

Anonymous Sun 05 Apr 2020 16:04:14 No.11535400 Report

Quoted By:

We've heard of trace and determinant, but what about the other coefficients in the characteristic polynomial? Why are they never used?

Anonymous

Anonymous Sun 05 Apr 2020 16:08:54 No.11535408 Report

Quoted By: >>11535427 >>11535444 >>11535446 >>11535454 >>11535468

>>11532134
I'm the same anon who found out how to define $\sum$ and $\prod$ operators in case when there are no summands that is that $\sum_1^0 a_i$ should equal 0 and $\prod_1^0 a_i$ should equal 1 (generally the neutral element of a group where these operations are defined)

Now, did you know that equivalence relation can be defined only in terms of the relation itself?
Inb4 everyone knows that too because I have only seen definitions like "R is an equivalnce relation on A iff ..." using the second set A on the internet

Anonymous

View Same Google iqdb SauceNAO 1556905388709.jpg, 281KiB, 1600x1200

Anonymous Sun 05 Apr 2020 16:11:17 No.11535415 Report

Quoted By:

>>11534538
Are any of those not on libgen yet? downloading for the lols anyhow

Anonymous

Anonymous Sun 05 Apr 2020 16:13:57 No.11535426 Report

Quoted By: >>11535438

can mathematics prove the existence of God?
If not, then what use is it?

Anonymous

Anonymous Sun 05 Apr 2020 16:14:19 No.11535427 Report

Quoted By: >>11535488

>>11535408
>Now, did you know that equivalence relation can be defined only in terms of the relation itself?
what do you mean ?

Anonymous

Anonymous Sun 05 Apr 2020 16:19:44 No.11535438 Report

Quoted By:

>>11535426
>can mathematics prove the existence of God?
No.

>If not, then what use is it?
Cars, Planes, Bridges, Building, Computers and so on.

Anonymous

View Same Google iqdb SauceNAO skeleton-animated-gif-3.gif, 79KiB, 312x312

Anonymous Sun 05 Apr 2020 16:21:26 No.11535444 Report

Quoted By: >>11535488

>>11535408
>I'm the same anon who found out how to define $\sum$ and $\prod$ operators in case when there are no summands that is that $\sum_1^0 a_i$ should equal 0 and $\prod_1^0 a_i$ should equal 1
this is a commonly accepted convention, and a relation is just a particular set of ordered pairs, snowflake.

Anonymous

Anonymous Sun 05 Apr 2020 16:23:01 No.11535446 Report

Quoted By:

>>11535408
Can we get this guy a fields medal already?

Anonymous

Anonymous Sun 05 Apr 2020 16:25:15 No.11535454 Report

Quoted By:

>>11535408
>I'm the same anon who found out how to define ?? and ?? operators in case when there are no summands
WOW. Did my professor learn this fact which was well known for hundreds of year from you?

Anonymous

View Same Google iqdb SauceNAO WO36E7I6NR5N4R4UKETLU6QVUI.jpg, 69KiB, 932x582

Anonymous Sun 05 Apr 2020 16:28:37 No.11535468 Report

Quoted By: >>11535512

>>11535408
That's standard.
For two disjoint sets $A, B$ we want $\sum _{i \in A \cup B} a_i = \sum _{i \in A} a_i + \sum _{i \in B}a_i$ , and similarly for products, for all the obvious reasons. In fact, you can use those formulas as inductive definitions of sums and products.
Then, the values for empty sets come naturally.

Anonymous

Anonymous Sun 05 Apr 2020 16:31:57 No.11535483 Report

Quoted By:

>>11535089
Hmm... you may be mentally challenged.
Your counter-examples are also meaningless.

Anonymous

Anonymous Sun 05 Apr 2020 16:33:01 No.11535488 Report

Quoted By: >>11535497 >>11535506 >>11535510 >>11535515

>>11535427
I mean that you can define
forall R R is an equivalence relation iff P[R], where P[R] is some predicate, depending only on R.
Basically the connection between two definitions is this:

forall R,A if R is an equivalence relation on A then A = field(R)
from which follows that we should define equivalence relation in terms of R as follows:

forall R R is an equivalence relation iff R is an equivalence relation on field(R)
On the internet and in the books where is a definition:
\forall R,A R is an equivalence relation on A iff R is a subset of A $\times$ A and R is a reflexive,symmetric,transitive relation on A which is basically a predicate P[R,A].
>>11535444
this a commonly accepted convention maybe in programming not in maths, also read the second part more carefully, I was talking about an equivalence relation.

Anonymous

Anonymous Sun 05 Apr 2020 16:35:24 No.11535497 Report

Quoted By:

>>11535488
>this a commonly accepted convention maybe in programming not in maths
False.
It is commonly accepted in maths.

Anonymous

Anonymous Sun 05 Apr 2020 16:39:32 No.11535506 Report

Quoted By: >>11535510 >>11535531

>>11535488
The predicate must depend on A because if A is expanded R could stop being an equivalence relation.

Anonymous

Anonymous Sun 05 Apr 2020 16:41:03 No.11535510 Report

Quoted By: >>11535525 >>11535531

>>11535488
>>11535506
For example, the relation
R={}
is an equivalence relation on the set {}
but the same R stop being an equivalence relation on the set
{{}}

El Arcón

View Same Google iqdb SauceNAO TIMESAND___wmd762nofkrltype31415 (...).png, 246KiB, 1808x960

El Arcón Sun 05 Apr 2020 16:41:43 No.11535512 Report

Quoted By: >>11535518 >>11535520

>>11532134
>accepted for publication
I 100% expect that viXra is going to accept my revised paper in the next 48 hours

http://s000.tinyupload.com/index.php?file_id=19820893044248954463

>Recent analysis has uncovered a broad swath of rarely considered real numbers called real numbers in the neighborhood of infinity. Here we extend the catalog of the rudimentary analytical properties of all real numbers by defining a set of fractional distance functions on the real number line and studying their behavior. The main results of are (1) to prove with modest axioms that some real numbers are greater than any natural number, (2) to develop a technique for taking a limit at infinity via the ordinary Cauchy definition reliant on the classical epsilon-delta formalism, and (3) to demonstrate an infinite number of non-trivial zeros of the Riemann zeta function in the neighborhood of infinity. We define numbers in the neighborhood of infinity as Cartesian products of Cauchy equivalence classes of rationals. We axiomatize the arithmetic of such numbers, prove all the operations are well-defined, and then make comparisons to the similar axioms of a complete ordered field. After developing the many underling foundations, we present a basis for a topology.

>>11535468
hey, long time no see

Anonymous

View Same Google iqdb SauceNAO 247f0c04007702b506c82d32a6386e93.png, 27KiB, 625x626

Anonymous Sun 05 Apr 2020 16:42:56 No.11535515 Report

Quoted By: >>11535525

>>11535488
It is very much accepted in maths, e.g. when defining binomial coefficients and other number-theoretic constructions. I know you were talking about an equivalence relation; I was pointing out that your definition in terms of the relation itself is trivial if we simply consider a relation $R$ to be a set of ordered pairs, writing something like $a \sim b<script type="math/tex"> iff <script type="math/tex">(a,b)\in R$ . It's easy to write the three properties the set $R$ should verify to be an equivalence relation, with no allusion to a "second set". However, the use of a second set can be useful to construct a relation -over- a set, which is in practice what mathematicians do. All of this should be painfully obvious to a working mathematician — heck even a student.

Anonymous

View Same Google iqdb SauceNAO 1583154192670.jpg, 81KiB, 1314x683

Anonymous Sun 05 Apr 2020 16:44:52 No.11535518 Report

Quoted By: >>11535519 >>11535522

>>11535512
>I 100% expect that viXra is going to accept my revised paper in the next 48 hours
I could submit pic related and they'd accept it in less time. That website is a fucking joke and breeding grounds for schizoids such as you.

Anonymous

Anonymous Sun 05 Apr 2020 16:47:40 No.11535519 Report

Quoted By:

>>11535518
>schizoid
That word doesn't mean what you think it means. Seriously, look it up.
Tooker is a person who suffers from schizophrenia, not a schizoid. Get it right.

Anonymous

View Same Google iqdb SauceNAO __remilia_scarlet_touhou_drawn_b (...).jpg, 83KiB, 750x750

Anonymous Sun 05 Apr 2020 16:48:21 No.11535520 Report

Quoted By: >>11535523

>>11535512
>hey, long time no see
How the fuck did you recgonize me?

El Arcón

El Arcón Sun 05 Apr 2020 16:49:11 No.11535522 Report

Quoted By: >>11535526

>>11535518
nice

Anonymous

Anonymous Sun 05 Apr 2020 16:49:15 No.11535523 Report

Quoted By: >>11535541

>>11535520
How do you know that he did recognize you? Are you friends or something?

Anonymous

Anonymous Sun 05 Apr 2020 16:49:56 No.11535525 Report

Quoted By: >>11535529

>>11535515
binomial coefficients have nothing to do with when an upper sum index goes below a lower index
a ~ b iff (a,b) in R is just a notation what the fuck are you talking about.
I have proved that if a relation can be an equivalence relation on some set then that set should necessarily be equal to the field of that relation - this has surely been proved before me but this is not trivial if you don't think about it.
>>11535510
what's {}? the empty set?

Anonymous

Anonymous Sun 05 Apr 2020 16:50:18 No.11535526 Report

Quoted By:

>>11535522
Hi Tooker. Your paper is over 100 pages. That's pretty long! How did you type all of this out? Do you have a computer? I was under the impression that you only had access to a phone.

Anonymous

Anonymous Sun 05 Apr 2020 16:51:19 No.11535529 Report

Quoted By:

>>11535525
>what's {}? the empty set?
Yes. It's standard set-theoretic notation.

Anonymous

Anonymous Sun 05 Apr 2020 16:53:14 No.11535531 Report

Quoted By: >>11535532 >>11535533 >>11535536

>>11535506
>>11535510
it must not because R can only be an equivalence relation on ONE set, namely its field. That's what I have discovered. And that's why we don't need the second set A and can replace it with field(R).

Anonymous

Anonymous Sun 05 Apr 2020 16:54:29 No.11535532 Report

Quoted By: >>11535549

>>11535531
someone throws a random set R at you. how do you check if that set is an equivalence relation ?

Anonymous

Anonymous Sun 05 Apr 2020 16:54:34 No.11535533 Report

Quoted By: >>11535537

>>11535531
>on ONE set, namely its field
You can have equivalence relations on arbitrary sets, fields are not necessary.

Anonymous

Anonymous Sun 05 Apr 2020 16:56:40 No.11535536 Report

Quoted By: >>11535542

>>11535531
Ah ok so you're retarded.

Anonymous

Anonymous Sun 05 Apr 2020 16:57:04 No.11535537 Report

Quoted By: >>11535555

>>11535533
by field I mean
field(R) := dom(R) $\cup$ range(R) where dom(R) := {x | exists y (x,y) in R} and range(R) := {y | exists x (x,y) in R}

Anonymous

Anonymous Sun 05 Apr 2020 16:57:37 No.11535539 Report

Quoted By: >>11535544

>>11535089
I'm using a pirinciple that if something is true for any case, it is true for all cases.

By this principle, if you feel the result damages your conjac jelly brain, what you have an issue with is whether or not the ability to account for ALL elements of an infinite set is viable, intelligible, or allowable. This notion is the the first point takeaway from the proof
>1. infinite arithmetic may be undefined

Anonymous

Anonymous Sun 05 Apr 2020 16:58:40 No.11535541 Report

Quoted By: >>11535546

>>11535523
[spoiler:lit]I dunno if he recognized him, I'm mostly just leaving an opening for him to reply with a joke.
I'm also curious over who the hell did he think I was.[/spoiler:lit]

Anonymous

Anonymous Sun 05 Apr 2020 16:58:57 No.11535542 Report

Quoted By:

>>11535536
you must be over 18 to post here

Anonymous

Anonymous Sun 05 Apr 2020 16:59:33 No.11535544 Report

Quoted By: >>11535574

>>11535539
>I'm using a pirinciple that if something is true for any case, it is true for all cases.
lol

Anonymous

Anonymous Sun 05 Apr 2020 16:59:57 No.11535546 Report

Quoted By:

>>11535541
>referring to myself as him
Fuck, I'm going insane.

Anonymous

Anonymous Sun 05 Apr 2020 17:01:04 No.11535549 Report

Quoted By: >>11535551 >>11535772 >>11535851 >>11535867

>>11535532
I compute its field and then check if it is an equivalence relation on its field. If it is then it is an equivalence relation, if it's not then it's not an equivalence realtion. Moreover if it's not then it's not an equivalence relation on any other set A.

Anonymous

Anonymous Sun 05 Apr 2020 17:01:43 No.11535551 Report

Quoted By: >>11535555 >>11535559

>>11535549
what is "its field ?"

Anonymous

Anonymous Sun 05 Apr 2020 17:03:02 No.11535555 Report

Quoted By:

>>11535551
>>11535537

Anonymous

Anonymous Sun 05 Apr 2020 17:04:07 No.11535559 Report

Quoted By: >>11535766

>>11535551
for example if we take R := {(1,1), (2,2), (3,3), (1,2), (2,1),(1,4)} then dom(R) = {1,2,3}, range(R) = {1,2,3,4} and field(R) = {1,2,3,4}

Anonymous

Anonymous Sun 05 Apr 2020 17:10:08 No.11535574 Report

Quoted By: >>11535700

>>11535544
It's either infinite arithmetic is undefined or there exists the ability to accommodate all elements of an infinite set, which is bijective with accommodating all elements of an infinite arithmetic function.

It really can't be both.
$\sum_{n}^{\infty}$ and $\lim_{n\to\infty}$ are either definitely finite functions, or $\to\infty$ allows the ability to account for all all elements of infinity.

in the case that they were definitely finite, $\sum_{n=1}^{\infty} \frac{1}{10^n}$ cannot be said to honestly produce 0.111..., unless the dotdotdot notation is meant to mean "arbitrarily finite".

Anonymous

Anonymous Sun 05 Apr 2020 18:04:11 No.11535700 Report

Quoted By: >>11535804

>>11535574
holy fucking shit you're stupid. Please refrain from posting in this thread.

Anonymous

Anonymous Sun 05 Apr 2020 18:41:49 No.11535766 Report

Quoted By: >>11535815

>>11535559
That isn't a definition.

Anonymous

Anonymous Sun 05 Apr 2020 18:43:44 No.11535772 Report

Quoted By: >>11535822

>>11535549
Is {(1,1)} an equivalence relation?

Anonymous

Anonymous Sun 05 Apr 2020 18:53:41 No.11535804 Report

Quoted By: >>11535819 >>11536081

>>11535700
Quit projecting niggertard. Your own feeling of retardation after reading that post is literally just (You).

Can you even determine whether or not infinite calculus accounts for infinite terms?

Inb4 some other stupid bullshit you'll say instead of an honest answer.

Anonymous

Anonymous Sun 05 Apr 2020 18:56:32 No.11535815 Report

Quoted By: >>11535822

>>11535766
The field of a relation R is UU(R). Basically all the elements of the underlying set used in the relation.

Anonymous

Anonymous Sun 05 Apr 2020 18:58:00 No.11535819 Report

Quoted By: >>11535839

>>11535804
>Can you even determine whether or not infinite calculus accounts for infinite terms?
can you even explain what is this schizo shit supposed to mean mathematically ?

Anonymous

Anonymous Sun 05 Apr 2020 19:00:25 No.11535822 Report

Quoted By: >>11535830

>>11535815
Please answer >>11535772

Anonymous

Anonymous Sun 05 Apr 2020 19:03:47 No.11535830 Report

Quoted By: >>11535837

>>11535822
Is it reflexive, transitive and symmetric?

Anonymous

Anonymous Sun 05 Apr 2020 19:04:55 No.11535837 Report

Quoted By: >>11535845

>>11535830
That is what it means to be an equivalence relation.

Anonymous

Anonymous Sun 05 Apr 2020 19:06:12 No.11535839 Report

Quoted By: >>11535929

>>11535819
It's simple bro
$\sum_{1}^{\infty} 1$
Does this sum equal an arbitrary finite number, becuase infinity cannot account for all numbers in $\mathbb{N}]/math]?<br />Or does the sum equal <script type="math/tex">\infty$ , otherwise known as divergent, or else otherwise known as pajeetretard math $- \frac{1}{12}$ ?

Does $\to\infty$ account for all elements, or only an arbitrary finite amount of them?

Anonymous

Anonymous Sun 05 Apr 2020 19:08:59 No.11535845 Report

Quoted By: >>11535851 >>11535856

>>11535837
What is the underlying set?

Anonymous

Anonymous Sun 05 Apr 2020 19:10:45 No.11535851 Report

Quoted By: >>11535863

>>11535845
Why would you need to know?? Just do this: >>11535549

Anonymous

View Same Google iqdb SauceNAO 1586096198593.png, 355KiB, 1032x2316

Anonymous Sun 05 Apr 2020 19:11:25 No.11535855 Report

Quoted By: >>11535862 >>11535865 >>11535873 >>11537202

Rate my bait image.

Anonymous

Anonymous Sun 05 Apr 2020 19:11:27 No.11535856 Report

Quoted By:

>>11535845
Thats exactly the point. Being an equivalence relation as a property depends on the underlying set. Therefore just knowing the relation is not enough to tell if its an equivalence relation

Anonymous

Anonymous Sun 05 Apr 2020 19:13:44 No.11535862 Report

Quoted By:

>>11535855
It isn't an issue with the education system. Almost nobody needs to know a precise definition of the reals for anything.

Although I do believe that every person who enters a university should be forced to.

Anonymous

Anonymous Sun 05 Apr 2020 19:13:54 No.11535863 Report

Quoted By: >>11535867

>>11535851
Because { (1,1)} is an eq rel on {1}, but not on {1,2}. Reflexivity means every element must be in relation to itself. In other words field=underlying set.

Anonymous

Anonymous Sun 05 Apr 2020 19:13:58 No.11535865 Report

Quoted By:

>>11535855
well done

Anonymous

Anonymous Sun 05 Apr 2020 19:14:46 No.11535867 Report

Quoted By: >>11535870

>>11535863
>Because { (1,1)} is an eq rel on {1}, but not on {1,2}
Exactly!

So >>11535549 is an idiotic thing to say and obviously wrong!
That's exactly my point.

Anonymous

Anonymous Sun 05 Apr 2020 19:16:06 No.11535870 Report

Quoted By: >>11535871

>>11535867
Based midwit btfoing retards on a higher mathematics thread.

Anonymous

Anonymous Sun 05 Apr 2020 19:17:07 No.11535871 Report

Quoted By:

>>11535870
Someone's got to do the grunt work!

Anonymous

View Same Google iqdb SauceNAO 2020-04-01 15.51.04.jpg, 96KiB, 1278x990

Anonymous Sun 05 Apr 2020 19:17:31 No.11535873 Report

Quoted By: >>11537486

>>11535855
>diddlerkid cuts

Anonymous

Anonymous Sun 05 Apr 2020 19:34:05 No.11535929 Report

Quoted By: >>11535938 >>11535942

>>11535839
first question: it diverges
second question: it accounts for all elements, but the implementation is via arbitrary finite amounts, because that's the only way we can reason about infinity

Anonymous

Anonymous Sun 05 Apr 2020 19:36:55 No.11535938 Report

Quoted By: >>11535983

>>11535929
So you're saying arbitrary finite amounts can account for all elements of an infinite set?

This means infinity is an arbitrary finite number, so it must also exist inside $\mathbb{N}$ .

Anonymous

Anonymous Sun 05 Apr 2020 19:38:33 No.11535942 Report

Quoted By:

>>11535929
>via arbitrary finite amounts, because that's the only way we can reason about infinity
This is not quite the reason. The actual reason is that addition is a binary operation, hence is only defined on finitely many terms. Epsilon-N definition of inifinite sums is an attempt to extend the notion of addition to infinite sets of numbers.

Anonymous

Anonymous Sun 05 Apr 2020 19:39:35 No.11535946 Report

Quoted By: >>11535959

Why is it so difficult to check whether $\pi+e$ is a transcendental number?

Anonymous

Anonymous Sun 05 Apr 2020 19:44:14 No.11535959 Report

Quoted By: >>11535987

>>11535946
Because it is extremely hard to reason about an arbitrary real number which you can not easily define through basic analytic methods.

Anonymous

Anonymous Sun 05 Apr 2020 19:53:27 No.11535983 Report

Quoted By: >>11536111

>>11535938
>So you're saying arbitrary finite amounts can account for all elements of an infinite set?
answer to this depends solely on what you mean by ""account"". why don't you read the actual definition of an infinite sum and decide for yourself?

>This means infinity is an arbitrary finite number, so it must also exist inside
non-sequitur

Anonymous

Anonymous Sun 05 Apr 2020 19:55:36 No.11535987 Report

Quoted By: >>11535997 >>11536000 >>11536011

>>11535959
It's super easy to define it through basic analytic methods: it's the single root of the first degree polynomial $x - (\pi + e)$ .

Anonymous

Anonymous Sun 05 Apr 2020 19:59:44 No.11535994 Report

Quoted By:

Hey there, made some shrimp and mushroom fettuccine alfredo and paired it with cream soda since I don't drink alcohol, how are you anons fairing? What the fuck are D-modules? They're actually pretty cool and nice example of mathematical structures arising out of studying physical ideas.
https://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Coutinho593-604.pdf

Anonymous

View Same Google iqdb SauceNAO 1564617162844.jpg, 70KiB, 900x498

Anonymous Sun 05 Apr 2020 20:00:28 No.11535997 Report

Quoted By:

>>11535987
>It's super easy to define it through basic analytic methods
>It's a root of a polynomial in R[x]

Anonymous

Anonymous Sun 05 Apr 2020 20:00:45 No.11536000 Report

Quoted By:

>>11535987
WOW! This definition tells us really ALOT!
Also, even addition is an "analytic method"...

But that obviously isn't the point

Anonymous

View Same Google iqdb SauceNAO x7.jpg, 193KiB, 1643x1200

Anonymous Sun 05 Apr 2020 20:06:41 No.11536011 Report

Quoted By: >>11536018 >>11536054

>>11535987
Interesting suggestion.
I'd like to present something, as well:
We call the set of transcedental numbers $T$ . Then, $\pi + e$ isn't transcedental if and only if $H_1 [ ( \mathbb{R} - \{ \pi+ e \} ) \cup T ] \cong \mathbb{Z}$ .
This is a clearly stated topological version of the problem, and I hope a solution might come with further advances in algebraic topology.

Anonymous

Anonymous Sun 05 Apr 2020 20:08:25 No.11536018 Report

Quoted By: >>11536054

>>11536011
My bad.
* $H_0 [ ( \mathbb{R} - \{ \pi+ e \} ) \cup T ] \cong \mathbb{Z}^2$

Anonymous

Anonymous Sun 05 Apr 2020 20:09:18 No.11536020 Report

Quoted By: >>11536035 >>11536038 >>11536039 >>11536049 >>11536189

Why is torsion in algebra called that way?
I assume it's because it came from some property of a geometric object or something like that.
The purely algebraic definition of it offers no clue to the reason it's named that way.

Anonymous

View Same Google iqdb SauceNAO after.gif, 3MiB, 600x600

Anonymous Sun 05 Apr 2020 20:18:12 No.11536035 Report

Quoted By:

>>11536020
https://math.stackexchange.com/questions/300586/where-does-the-word-torsion-in-algebra-come-from

I should say lmgtfy but whatever.

I also like this logical funfact
https://en.wikipedia.org/wiki/Torsion_group#Mathematical_logic
or more broadly
https://en.wikipedia.org/wiki/Nonfirstorderizability

Anonymous

View Same Google iqdb SauceNAO fh8tYVC.png, 217KiB, 379x467

Anonymous Sun 05 Apr 2020 20:18:28 No.11536038 Report

Quoted By: >>11536045

>>11536020
torsion elements - elements with finite order
an element g with finite order - then <g> is a (finite) cyclic group
cyclic - has something to do with rotation - just like "torsion" in physics

at least that's what I think about it, maybe it was a translation from german or other language

Anonymous

Anonymous Sun 05 Apr 2020 20:18:47 No.11536039 Report

Quoted By:

>>11536020
Think of them as roots of unity.

Anonymous

Anonymous Sun 05 Apr 2020 20:19:59 No.11536043 Report

Quoted By:

>>11532360
>Paul Krugman especially
Love it when people immedaitely out that they use political bias to dismiss things instead of evidence and analysis

Anonymous

Anonymous Sun 05 Apr 2020 20:20:44 No.11536045 Report

Quoted By:

>>11536038
>maybe it was a translation from german or other language
Guess what the Germany word for "torsion" could be.

Anonymous

Anonymous Sun 05 Apr 2020 20:21:20 No.11536049 Report

Quoted By: >>11536066 >>11536068 >>11536189

>>11536020
what about FLAT MODULE ??

Anonymous

Anonymous Sun 05 Apr 2020 20:22:01 No.11536054 Report

Quoted By: >>11536092

>>11536011
>>11536018
use something more convoluted and less known, add a 2-page introduction and 3 pages of bibliography, and voila you're ready to publish a paper

Anonymous

View Same Google iqdb SauceNAO CUTE!.png, 711KiB, 1280x720

Anonymous Sun 05 Apr 2020 20:25:04 No.11536066 Report

Quoted By: >>11536342

>>11536049
>FLAT MODULE
CUTE!

Anonymous

Anonymous Sun 05 Apr 2020 20:25:22 No.11536068 Report

Quoted By:

>>11536049
>what about FLAT MODULE ??
I remember looking this up in my algebra class.
There's canonically no correct answer to why flat modules are flat, because the person who invented the word was Serre and when people asked him why he chose it his answer was
>I don't remember lol

Anonymous

Anonymous Sun 05 Apr 2020 20:28:23 No.11536079 Report

Quoted By: >>11536083 >>11536099

I wanna self study real analysis. I struggled up to chapter 3 of rudin but couldn't handle it anymore. I found solutions to Abbott and Bartle, which one is recommended? I have an undergrad and masters in EE don't make fun of me.

Anonymous

Anonymous Sun 05 Apr 2020 20:29:44 No.11536081 Report

Quoted By: >>11536120

>>11535804
You'er the kind of person who writes emails to math professors claiming you've found a way to trisect an angle with just a compass and straight-edge.

Anonymous

Anonymous Sun 05 Apr 2020 20:30:29 No.11536083 Report

Quoted By: >>11536090

>>11536079
forgot to mention my end goal is probability theory, but for that I need measure theory

Anonymous

Anonymous Sun 05 Apr 2020 20:32:30 No.11536090 Report

Quoted By: >>11536094 >>11536097

>>11536083
I'll just say that if you want to truly understand the rigorous foundations of probability theory, there's a long way ahead of you. but kudos to you anon

Anonymous

View Same Google iqdb SauceNAO S11.jpg, 876KiB, 844x1200

Anonymous Sun 05 Apr 2020 20:33:17 No.11536092 Report

Quoted By: >>11536113

>>11536054
So something like $\Sigma = ( \mathbb{C} - \{ \pi + e \} ) \cup T$ is a Riemann surface, and then I choose some 4-manifold with a complex structure and show that the Gromov-Witten invariants do something if $\pi + e$ is transcedental?
Wanna be my coauthor?

Anonymous

Anonymous Sun 05 Apr 2020 20:34:43 No.11536094 Report

Quoted By: >>11536106

>>11536090
Topology and measure theory is pretty much all you need to get started desu

Anonymous

Anonymous Sun 05 Apr 2020 20:35:12 No.11536096 Report

Quoted By:

How does /mg/ switch from no posts for 10 hours to a stream of banter and shitposting within an hour?

Anonymous

Anonymous Sun 05 Apr 2020 20:35:14 No.11536097 Report

Quoted By:

>>11536090
Ya I am aware I have at least 3 (real analysis, measure theory, then finally probability theory) subjects to learn but I really enjoy this stuff

Anonymous

Anonymous Sun 05 Apr 2020 20:35:30 No.11536099 Report

Quoted By: >>11536110

>>11536079
Abbott is the de facto book for "I'm struggling with another book and I need gentler explanations".
The main selling point of the book is that it makes everything as easy and intuitive as possible, the tradeoff being that it doesn't go all that deep, but if you're struggling to get the basics you don't need to worry about deep right now.

Anonymous

Anonymous Sun 05 Apr 2020 20:36:28 No.11536106 Report

Quoted By:

>>11536094
don't forget that the starting point is EE

Anonymous

Anonymous Sun 05 Apr 2020 20:37:31 No.11536110 Report

Quoted By:

>>11536099
thanks anon. I was leaning towards Abbott but didn't want to bias others who might answer. I'd like to hear more opinions but I 100% understand my place (ie not good at real maths).

Anonymous

Anonymous Sun 05 Apr 2020 20:38:01 No.11536111 Report

Quoted By:

>>11535983
"accounting for" is fairly simple english.
If it's possible to account for all elements of an infinite set, it's an assumption that every element in the set has been observed. In relation to infinite arithmetic, it would be the assumption that every possible step or partial sum was solved.
It's impossible to make the observation that anything could certainly continue infinitely if ? is meant to be literally endless. Just because an end is not observed does not automatically exclude the possibility it merely continues much further to a finite end than you imagined or would be willing to observe.
This is a temporal quality of physical existence in relation to doing a task and then stopping the continuation of that task because you get tired or bored or make an assumption of fruitlessness.
If infinity is endless, it's impossible to observe to ascertain with certainty, which means any arbitrary task that is cut short of completion for temporal reasons might as well be equivalent to infinity as well, even if it may have had a definite end.
Calculating the digits of TREE(3) is an example. It is assumed to definitely be a finite natural number, but the task of calculation would be boring, tiring, and ultimately fruitless while also never actually being completable.

So does the set of $\mathbb{N}$ contain ALL/EVERY Natural number?
Basically, does or doesn't N observe every natural number?
does: $\infty_a$ , the set is complete and contains ? as an element.
doesn't: $\infty_b$ , the set is incomplete and doesn't contain ? as an element.
> $\sum_{n=1}^{\infty_a} \frac{9}{10^n}$ = 0.999..., a number with ? decimal places and a notion of completeness upon the ?'th arbitrary finite element.
> $\sum_{n=1}^{\infty_b} \frac{9}{10^n}$ = 0.999..., a number with an arbitrary finite amount of 9's and a notion of incompleteness.

Anonymous

Anonymous Sun 05 Apr 2020 20:38:08 No.11536113 Report

Quoted By:

>>11536092
This is out of my league, I barely know what is a Riemann surface. Just mention me in the acknowledgements.

Anonymous

Anonymous Sun 05 Apr 2020 20:38:22 No.11536114 Report

Quoted By: >>11536122 >>11536123 >>11536136

can someone help me:
How do I solve:
sin(a-b) sin(b-y) sin(y-a)
——— + ——— + ———
cosacosb cosbcosy cosycosa

Anonymous

Anonymous Sun 05 Apr 2020 20:39:19 No.11536120 Report

Quoted By: >>11537242

>>11536081
I wrote a comment on a mathologer video and he responded and reee'd at me, that's as far as I'll go.

Anonymous

Anonymous Sun 05 Apr 2020 20:39:58 No.11536122 Report

Quoted By:

>>11536114
you start by deleting that atrocity against mankind and reposting it in LaTeX

Anonymous

Anonymous Sun 05 Apr 2020 20:40:14 No.11536123 Report

Quoted By: >>11536125

>>11536114
>How do I solve:
This is an algebraic expression, what exactly do you want to "solve".

Anonymous

Anonymous Sun 05 Apr 2020 20:41:10 No.11536125 Report

Quoted By: >>11536145

>>11536123
i mean simplify

Anonymous

Anonymous Sun 05 Apr 2020 20:44:12 No.11536135 Report

Quoted By:

$f(\chi)=\sum_{i\ge 0}\frac{g_i}{g_0}(\chi(1)-\chi(G_i))$

Anonymous

Anonymous Sun 05 Apr 2020 20:44:11 No.11536136 Report

Quoted By: >>11536147

>>11536114
there is a formula for sin(a-b)
use it
there's also a stupid questions thread for all your homework-related needs
use that too

Anonymous

Anonymous Sun 05 Apr 2020 20:47:56 No.11536145 Report

Quoted By:

>>11536125
The super pro tip is to look at this website: https://en.wikipedia.org/wiki/List_of_trigonometric_identities

Anonymous

Anonymous Sun 05 Apr 2020 20:49:48 No.11536147 Report

Quoted By: >>11536152

>>11536136
yeah still can't do it

Anonymous

Anonymous Sun 05 Apr 2020 20:52:30 No.11536152 Report

Quoted By: >>11536166

>>11536147
it's been 5 minutes
you didn't try very hard

Anonymous

Anonymous Sun 05 Apr 2020 20:59:33 No.11536166 Report

Quoted By: >>11536183 >>11536199

>>11536152
When I posted this I already had thought like 30 min bruh, and is this really that hard that no one itt can do this?

Anonymous

Anonymous Sun 05 Apr 2020 20:59:54 No.11536167 Report

Quoted By: >>11536175 >>11536190 >>11536198 >>11536286

Is there a complex analytical non-constant function with periods 1 and $i$ ?

Anonymous

View Same Google iqdb SauceNAO __fujiwara_no_mokou_touhou_drawn (...).jpg, 112KiB, 390x462

Anonymous Sun 05 Apr 2020 21:03:46 No.11536175 Report

Quoted By: >>11536185 >>11536190 >>11536286

>>11536167
>is there a non-constant holomorphic function on the torus, a compact Riemann surface?
No.

Anonymous

Anonymous Sun 05 Apr 2020 21:07:33 No.11536183 Report

Quoted By: >>11536207

>>11536166
>no one itt can do this?
Type it into a CAS for Gods sake...

Anonymous

Anonymous Sun 05 Apr 2020 21:08:16 No.11536185 Report

Quoted By: >>11536221 >>11536229 >>11536286

>>11536175
What about 1/P(z; 1, i) where P is Weierstrass's elliptic function?

Anonymous

Anonymous Sun 05 Apr 2020 21:08:22 No.11536189 Report

Quoted By:

>>11536020
You have to do some twisting if you want a non-nullhomotopic map $S^4 \to S^2$ .

>>11536049
No twisting done.

Anonymous

View Same Google iqdb SauceNAO lemmatagal.jpg, 156KiB, 570x383

Anonymous Sun 05 Apr 2020 21:08:41 No.11536190 Report

Quoted By:

>>11536167
>>11536175
But if you allow for meromorphic, you can choose your lattice as you wish, e.g. via

https://en.wikipedia.org/wiki/Weierstrass%27s_elliptic_functions#Definitions

Anonymous

Anonymous Sun 05 Apr 2020 21:09:15 No.11536198 Report

Quoted By:

>>11536167
if it's periodic, it's bounded
if it's bounded, it's constant

Anonymous

Anonymous Sun 05 Apr 2020 21:09:19 No.11536199 Report

Quoted By:

>>11536166
no, it's so easy that nobody wants to be bothered writing out your entire homework solution for you while you sit and watch

Anonymous

Anonymous Sun 05 Apr 2020 21:10:24 No.11536207 Report

Quoted By: >>11536213 >>11536214

>>11536183
so you can't do it?

Anonymous

Anonymous Sun 05 Apr 2020 21:11:38 No.11536213 Report

Quoted By: >>11536217

>>11536207
>so you can't do it?
No. I would type it into a CAS, no point in wasting time doing basic algebraic computations when a Computer can do it better...

Anonymous

View Same Google iqdb SauceNAO gigachad.jpg, 65KiB, 1068x601

Anonymous Sun 05 Apr 2020 21:11:51 No.11536214 Report

Quoted By:

>>11536207
Yeah, I can't do it.
Try asking somewhere else.

Anonymous

Anonymous Sun 05 Apr 2020 21:13:27 No.11536217 Report

Quoted By: >>11536232

>>11536213
and where would i find this fancy-smanchy CAS?

Anonymous

Anonymous Sun 05 Apr 2020 21:13:42 No.11536221 Report

Quoted By:

>>11536185
probably still not C infinity at the inverse poles I suppose

Anonymous

Anonymous Sun 05 Apr 2020 21:14:48 No.11536229 Report

Quoted By:

>>11536185
probably either still not C infinity at the inverse poles, or the zeros make problems with the inversion again, I suppose

Anonymous

Anonymous Sun 05 Apr 2020 21:15:50 No.11536232 Report

Quoted By:

>>11536217
>and where would i find this fancy-smanchy CAS?
Google.
Maxima, Wolfram alpha, etc.

Anonymous

View Same Google iqdb SauceNAO yukari_sneeze.png, 60KiB, 295x200

Anonymous Sun 05 Apr 2020 21:28:31 No.11536286 Report

Quoted By: >>11536463 >>11536528 >>11536924

>>11536167
>>11536175
>>11536185
Given a line bundle $E\rightarrow\Sigma_g$ you can count the number of non-constant holomorphic sections $\Gamma(\Sigma_g,E)$ via the holomorphic Euler characteristic $\chi(E)$ . If we write, WLOG, $E\cong L^k \otimes \mathcal{K}^s$ where $L$ is the Chern generator and $\mathcal{K}$ is the canonical line bundle with $k\in\mathbb{Z}$ and $s\in\frac{1}{2}\mathbb{Z}$ (existence of Spin structure), we see that by Riemann-Roch $\chi(E) = \operatorname{dim}H^1(\Sigma,E) - \operatorname{dim}H^0(\Sigma,E) = \operatorname{deg}(E) + 1-g = k + (2s-1)(g-1)$ . If applicable, you can then obtain $\chi(E)$ from $H^0(\Sigma_g,E)$ from Kodaira vanishing. Hence generally speaking, on the torus we have $\chi(E) \sim k$ where $k$ is the Chern number of $E$ .

Anonymous

Anonymous Sun 05 Apr 2020 21:43:19 No.11536342 Report

Quoted By: >>11536429

>>11536066
I'm gonna have to know the sauce, dawg

Anonymous

Anonymous Sun 05 Apr 2020 22:07:05 No.11536429 Report

Quoted By:

>>11536342
Hibike Euphonium.

Anonymous

Anonymous Sun 05 Apr 2020 22:13:07 No.11536463 Report

Quoted By:

>>11536286
the question whether 1/P(z; 1, i) is holomorphic has something to do with spin structure??

Anonymous

Anonymous Sun 05 Apr 2020 22:35:52 No.11536528 Report

Quoted By:

>>11536286
complicating the answer to such a simple question is the most brainlet thing i've ever seen.

Anonymous

Anonymous Sun 05 Apr 2020 23:44:30 No.11536759 Report

Quoted By: >>11536924

is yukariposter here?

Anonymous

Anonymous Mon 06 Apr 2020 00:30:50 No.11536924 Report

Quoted By:

>>11536759
>>11536286

Anonymous

Anonymous Mon 06 Apr 2020 01:13:10 No.11537101 Report

Quoted By: >>11538128 >>11538442

Is the inverse inclusion map continuous ?

Anonymous

Anonymous Mon 06 Apr 2020 01:43:24 No.11537202 Report

Quoted By:

>>11535855
you can improve the first version by mentioning the "supremum" of the set of {0.d_1, 0.d_1d_2, ...}

Anonymous

Anonymous Mon 06 Apr 2020 01:57:07 No.11537242 Report

Quoted By:

>>11536120
>that's as far as I'll go.
Because you're a midwit who will never make it in math.

Anonymous

View Same Google iqdb SauceNAO 1552866954268.gif, 3MiB, 400x244

Anonymous Mon 06 Apr 2020 03:18:01 No.11537457 Report

Quoted By: >>11537462 >>11537570

>>11532134
Are there any neat tricks for computing high dimensional symbolic integrals?

Anonymous

Anonymous Mon 06 Apr 2020 03:18:52 No.11537462 Report

Quoted By:

>>11537457
Matlab

Anonymous

Anonymous Mon 06 Apr 2020 03:35:39 No.11537486 Report

Quoted By:

>>11535873
lol

Anonymous

Anonymous Mon 06 Apr 2020 04:11:06 No.11537567 Report

Quoted By: >>11537613 >>11537737 >>11538128

Divide the reals into the rationals and the irrationals:
>Between every two rational numbers there are infinitely many irrational numbers, therefore the irrationals are dense in the rationals
>Between every two irrationals there are infinitely many rational numbers, therefore the rationals are dense in the irrationals
Wait, aren't there more irrationals than rationals? A whole cardinality more? What the fuck?
How can two sets of different cardinalities be dense in each other? Surely if one set is bigger then the density relation is only one way.

Anonymous

Anonymous Mon 06 Apr 2020 04:12:07 No.11537570 Report

Quoted By:

>>11537457
Fuck that, how about solids of intersection for a few dozen cubes?

Anonymous

View Same Google iqdb SauceNAO 77CE9C5B-FC1A-4042-9050-2AE4FF9D (...).jpg, 60KiB, 600x517

Anonymous Mon 06 Apr 2020 04:13:42 No.11537571 Report

Quoted By:

How does one try to understand math? I’m on my 3rd fucking bout of calculus in college and I’m losing my fucking mind over it

Anonymous

Anonymous Mon 06 Apr 2020 04:17:51 No.11537578 Report

Quoted By: >>11538438

I've finished precalc and linalg in self study but looking at a checklist shows that the texts I worked with covered everything except trigonometric identities. What's a quick way to learn them?

Anonymous

Anonymous Mon 06 Apr 2020 04:35:46 No.11537613 Report

Quoted By:

>>11537567
Just trying to give intuition:
Well if A is dense in B, that just means A is good at approximating B. That is, B can be represented by converging sequences in A. And the "number" of sequences of A is intuitively really large (its about the power set), large enough to match the cardinality of B.
So even though the cardinality of the rationals is small, the cardinality of the power set of the rationals isn't.

Anonymous

Anonymous Mon 06 Apr 2020 06:03:01 No.11537737 Report

Quoted By: >>11537838

>>11537567
>the irrationals are dense in the rationals
>the rationals are dense in the irrationals
Bizarre phrasing. Irrationals and rationals are disjoint so how one can be dense in another?

Anonymous

Anonymous Mon 06 Apr 2020 07:03:12 No.11537838 Report

Quoted By:

>>11537737
They cannot. The proper statements would be
>The closure of $\mathbb{Q}$ in $\mathbb{R}$ with respect to the norm topology is $\mathbb{R}$ .
and
>The closure of $\mathbb{R}\setminus\mathbb{Q}$ in $\mathbb{R}$ with respect to the norm topology is $\mathbb{R}$ .

Anonymous

Anonymous Mon 06 Apr 2020 10:06:41 No.11538128 Report

Quoted By:

>>11537101
>inverse inclusion
?

>>11537567
>How can two sets of different cardinalities be dense in each other?
Since you pic just 2 reals a finite distance apart from another and Q is dense in an interval, you make no real use of the reals.

Anonymous

View Same Google iqdb SauceNAO Screenshot_2020-04-06 Latest on (...).png, 144KiB, 620x1721

Anonymous Mon 06 Apr 2020 13:32:23 No.11538434 Report

Quoted By: >>11538502 >>11538508 >>11538537 >>11538543 >>11538571 >>11538640 >>11538662 >>11538692 >>11538820

Anonymous

Anonymous Mon 06 Apr 2020 13:33:02 No.11538438 Report

Quoted By:

>>11537578
>self study
>quick
The only reason to memorize things quickly in math is to pass an exam, but since you're self studying, it doesn't make sense that you would ask for a brownie point shortcut.

Anonymous

Anonymous Mon 06 Apr 2020 13:35:57 No.11538442 Report

Quoted By:

>>11537101
>inverse inclusion map
....the quotient map?

Anonymous

Anonymous Mon 06 Apr 2020 14:16:38 No.11538502 Report

Quoted By: >>11538579

>>11538434
link?

Anonymous

Anonymous Mon 06 Apr 2020 14:19:27 No.11538508 Report

Quoted By: >>11538666

>>11538434
based Scholze btfo'ing Mochizuki

Anonymous

Anonymous Mon 06 Apr 2020 14:32:42 No.11538537 Report

Quoted By: >>11538666

>>11538434
I trust Scholze 100%

Anonymous

View Same Google iqdb SauceNAO __komeiji_koishi_and_komeiji_sat (...).jpg, 1MiB, 1000x1000

Anonymous Mon 06 Apr 2020 14:36:30 No.11538543 Report

Quoted By: >>11538815

>>11538434
>if we just eenie meenie a bunch of non-canonical isomorphisms and run the proof like that it doesn't work
Does Scholze's criticism make more sense in the original paper? Because I genuinely don't get it.

Anonymous

Anonymous Mon 06 Apr 2020 14:53:59 No.11538569 Report

Quoted By: >>11538581

how much studying does it actually take to get near to "expert"-level in a certain field of mathematics. by "expert" i mean understanding the language and producing potentiall novel results.

im slowly getting the feeling with almost every area i study that it really doesnt take that much time (maybe 1-2 years), it just takes a lot of effort and most people have friends/family/etc. is that assessment wrong?

Anonymous

Anonymous Mon 06 Apr 2020 14:54:54 No.11538571 Report

Quoted By: >>11538584

>>11538434
Mochizuki's "proof" of ABC is a failure.

Anonymous

Anonymous Mon 06 Apr 2020 14:56:23 No.11538579 Report

Quoted By:

>>11538502
>link?
https://www.math.columbia.edu/~woit/wordpress/?p=11709

Anonymous

Anonymous Mon 06 Apr 2020 14:57:25 No.11538581 Report

Quoted By:

>>11538569
Within 5 years a University student gets from Highschool level to being able to do some research.

Certainly with more focused studying of one area getting to a point where you can understand current research should be doable within a few years.

Anonymous

Anonymous Mon 06 Apr 2020 14:59:07 No.11538584 Report

Quoted By: >>11538595

>>11538571
prove it

Anonymous

Anonymous Mon 06 Apr 2020 15:08:15 No.11538595 Report

Quoted By: >>11538605

>>11538584
t. spent years reading about IUT

Anonymous

Anonymous Mon 06 Apr 2020 15:10:41 No.11538605 Report

Quoted By: >>11538613

>>11538595
by that logic all religions are proven

Anonymous

Anonymous Mon 06 Apr 2020 15:14:20 No.11538613 Report

Quoted By: >>11538618 >>11538644

>>11538605
unironically every single monotheistic religion is true (because there exists one eternal infinite god)

Anonymous

Anonymous Mon 06 Apr 2020 15:16:24 No.11538618 Report

Quoted By:

>>11538613
i didnt say monotheistic did i now go take your religion elsewhere, abc is proven deal with it QED

Anonymous

Anonymous Mon 06 Apr 2020 15:22:04 No.11538640 Report

Quoted By: >>11538666

>>11538434
https://www.youtube.com/watch?v=c5fts7bj-so
Fuck the Japanese!
Scholze out here dropping a THIRD bomb straight over Kyoto just like Papa Neumann would have wanted.

Anonymous

Anonymous Mon 06 Apr 2020 15:23:46 No.11538644 Report

Quoted By: >>11538667

>>11538613
>unironically every single monotheistic religion is true
False. Mohammed was created by the devil and Jews rejected the Son of God.
Islam was founded on lies and Judaism is a perpetual lie going on for about 2000 years.

Anonymous

Anonymous Mon 06 Apr 2020 15:26:49 No.11538655 Report

Quoted By: >>11538680 >>11538688

What's a good introductory book on Algebraic Number Theory for an undergraduate who has completed an introductory abstract algebra course (and a number theory course)?

Anonymous

View Same Google iqdb SauceNAO 1584187513731.jpg, 8KiB, 241x209

Anonymous Mon 06 Apr 2020 15:29:38 No.11538662 Report

Quoted By: >>11538666 >>11538671

>>11538434
>even his cult who claims they understand it has no fucking idea how IUTeich works at all
This gift just never stops giving

Anonymous

View Same Google iqdb SauceNAO Capture.jpg, 21KiB, 594x171

Anonymous Mon 06 Apr 2020 15:31:42 No.11538666 Report

Quoted By: >>11538672

>>11538662
>>11538640
>>11538537
>>11538508

Anonymous

Anonymous Mon 06 Apr 2020 15:32:06 No.11538667 Report

Quoted By: >>11538674

>>11538644
neither of these things are true because the devil is not more powerful than god and so if any human calls out to the one true god, he immediately hears.
What you are claiming is a blasphemy against the power of the LORD

Anonymous

Anonymous Mon 06 Apr 2020 15:32:59 No.11538671 Report

Quoted By:

>>11538662
It seems they do some serious undergrad strategies to pull this of.
The "everybody knows" shortly before a totally unjustified claim is my personal favorite.

Anonymous

Anonymous Mon 06 Apr 2020 15:33:10 No.11538672 Report

Quoted By:

>>11538666
Based prodigy drops a bomb on a crusty halfu who wasted his career.

Anonymous

Anonymous Mon 06 Apr 2020 15:34:01 No.11538674 Report

Quoted By:

>>11538667
>so if any human calls out to the one true god
Jews and Muslims do not.

Anonymous

Anonymous Mon 06 Apr 2020 15:35:16 No.11538676 Report

Quoted By: >>11540660

Does anybody have that article where a professor was complaining about remedial math students and the futility of teaching them?

Anonymous

Anonymous Mon 06 Apr 2020 15:36:29 No.11538680 Report

Quoted By:

>>11538655
Marcus.

Anonymous

Anonymous Mon 06 Apr 2020 15:37:47 No.11538688 Report

Quoted By:

>>11538655
>What's a good introductory book on Algebraic Number Theory for an undergraduate who has completed an introductory abstract algebra course (and a number theory course)?
Ribenboim

Anonymous

Anonymous Mon 06 Apr 2020 15:38:53 No.11538692 Report

Quoted By:

>>11538434
>posted four minutes after the blog comment went up
hi Peter.

Anonymous

Anonymous Mon 06 Apr 2020 15:54:10 No.11538734 Report

Quoted By:

>>11533618
Physicsforum
Mathstack exchange
/rmath

Thank me later.

Anonymous

Anonymous Mon 06 Apr 2020 15:56:33 No.11538744 Report

Quoted By: >>11538751 >>11538784

If I have an arbitrary real valued function f, divided by a polynomial p of degree n, and I know this is identically equal to a constant, can I conclude that f must be a multiple of p?

Anonymous

Anonymous Mon 06 Apr 2020 15:58:48 No.11538751 Report

Quoted By: >>11538772

>>11538744
>If I have an arbitrary real valued function f, divided by a polynomial p of degree n, and I know this is identically equal to a constant, can I conclude that f must be a multiple of p?
What have you tried?

Anonymous

Anonymous Mon 06 Apr 2020 16:01:02 No.11538761 Report

Quoted By:

>>11534538
Did you read all of those books? Would they be useful for someone already on college?

Anonymous

Anonymous Mon 06 Apr 2020 16:04:06 No.11538772 Report

Quoted By: >>11538780

>>11538751
Crying.

Anonymous

Anonymous Mon 06 Apr 2020 16:06:39 No.11538780 Report

Quoted By:

>>11538772
Have you tried assuming the equality is true for all non-roots of the polynomial and then multiplying both sides by the polynomial?

>If I have an arbitrary real valued function f, divided by a polynomial p of degree n, and I know this is identically equal to a constant
Equality in what sense?
If it's everywhere you know that the polynomial has degree zero, but surely you mean equality for all non-roots.

Anonymous

Anonymous Mon 06 Apr 2020 16:07:23 No.11538784 Report

Quoted By: >>11538828

>>11538744
>divided
You mean literally divided or "akshually, whenever the denominator zeroes the numerator also zeroes so we define the division by muh continuity"?

Anonymous

Anonymous Mon 06 Apr 2020 16:11:20 No.11538797 Report

Quoted By: >>11539078

Is there any natural and non-trivial action of the automorphism group of $\left(\mathbb{Z}/p\mathbb{Z} \right)^2$ on $\mathbb{Z}/p\mathbb{Z}$ ?

Anonymous

Anonymous Mon 06 Apr 2020 16:17:07 No.11538815 Report

Quoted By:

>>11538543
You're trying to discuss against a fields medalist? Sit down, be humble, you're not at that level, you're just some shit poster on 4chan spamming tohou girls

Anonymous

Anonymous Mon 06 Apr 2020 16:18:46 No.11538820 Report

Quoted By: >>11538833

>>11538434
why would he post something as "important" as this in the comments of a boomer literal who blogger?

Anonymous

Anonymous Mon 06 Apr 2020 16:22:04 No.11538828 Report

Quoted By: >>11538939

>>11538784
Actually divided, denominator is never zero.

Anonymous

View Same Google iqdb SauceNAO kklhlf.png, 375KiB, 486x504

Anonymous Mon 06 Apr 2020 16:23:06 No.11538833 Report

Quoted By:

>>11538820
>boomer literal who blogger

Anonymous

Anonymous Mon 06 Apr 2020 16:27:32 No.11538848 Report

Quoted By: >>11538864 >>11539020

https://www.math.columbia.edu/~woit/wordpress/?p=11709#comment-235940
Mochizuki bros...

Anonymous

Anonymous Mon 06 Apr 2020 16:34:25 No.11538864 Report

Quoted By: >>11538875

>>11538848
the cope holy shit

Anonymous

Anonymous Mon 06 Apr 2020 16:36:44 No.11538873 Report

Quoted By: >>11538874

How do you pick a field to focus on in your studies? I like pretty much every field of math.

Anonymous

Anonymous Mon 06 Apr 2020 16:37:35 No.11538874 Report

Quoted By:

>>11538873
choose one that will give you the most h-index

Anonymous

Anonymous Mon 06 Apr 2020 16:37:39 No.11538875 Report

Quoted By: >>11538914 >>11538925

>>11538864
What's the problem with IUT exactly? Is it like when everybody disregarded set theory in Cantor's time, then it became huge after some years?

Anonymous

Anonymous Mon 06 Apr 2020 16:47:23 No.11538914 Report

Quoted By: >>11538949

>>11538875
It has smell of being wrong.
S&S have pointed out what they believe to be flaw in specific corollary.
Mochizuki says they misunderstand.
Nobody from Mochizuki's circle has written clearer proof or shown other non-trivial result form IUT.
Now IUT paper has been railroaded through peer review (at Mochizuki's institution) and in popular Japanese press so they get grant money etc for IUT

If I had to bet life I would bet it's wrong but Mochizuki et al can ride it out for rest of their careers since it would be to embarrassing to admit.

Anonymous

Anonymous Mon 06 Apr 2020 16:49:58 No.11538925 Report

Quoted By: >>11538934

>>11538875
>What's the problem with IUT exactly?
Various number theorists, some with a Fields medal, say it is false.

Anonymous

Anonymous Mon 06 Apr 2020 16:51:16 No.11538934 Report

Quoted By: >>11538947 >>11538966 >>11538981

>>11538925
That doesn't mean anything, back in the day everyone also said set theory was false.

Anonymous

Anonymous Mon 06 Apr 2020 16:52:00 No.11538939 Report

Quoted By:

>>11538828
Then it's just $f(x)/p(x) = \lambda$ , thus $f(x) = \lambda p(x)$ .

Anonymous

Anonymous Mon 06 Apr 2020 16:53:02 No.11538947 Report

Quoted By:

>>11538934
>That doesn't mean anything
It does mean a lot actually.
>back in the day everyone also said set theory was false.
[citation needed]

Anonymous

Anonymous Mon 06 Apr 2020 16:53:09 No.11538949 Report

Quoted By: >>11538972 >>11538978 >>11538985

>>11538914
>embarrassing to admit.
That's not how the japanese work, honor is a huge part of their culture and being, if they're wrong, they will admit it and will shame themselves (in the past they would commit Seppuku because of the same) and after that they'd move on. Japan isn't like the west where petty behaviours from people are a given.

Anonymous

Anonymous Mon 06 Apr 2020 16:53:17 No.11538950 Report

Quoted By: >>11538970

What do people mean in differential equations when they say "applying the boundary conditions" ? Is this just a more general way of saying "with the initial conditions?"

I'm kind of grinding through some problems but I'm having trouble knowing exactly what I'm doing here.

Anonymous

Anonymous Mon 06 Apr 2020 16:56:47 No.11538966 Report

Quoted By: >>11538980

>>11538934
>That doesn't mean anything
It absolutely does.

>back in the day everyone also said set theory was false.
Who said that?
The disagreement was about whether set theory should serve as the foundation of mathematics.
It was a debate about foundations, not about results.

Anonymous

Anonymous Mon 06 Apr 2020 16:57:49 No.11538970 Report

Quoted By:

>>11538950
That is probably what is meant. Although boundary conditions and initial conditions can mean different things.

Anonymous

Anonymous Mon 06 Apr 2020 16:58:31 No.11538972 Report

Quoted By: >>11538993

>>11538949
Weeb alert.
Also if you subscribe to some form of the guilt-shame culture axis then Japan is a shame culture where the last thing Mochizuki would want to do is admit it's flawed, since he and RIMS would be embarrassed and it would look bad for Japan since their equivalent of NYTimes has praised his proof.

Anonymous

Anonymous Mon 06 Apr 2020 16:59:36 No.11538978 Report

Quoted By: >>11539001

>>11538949
imagine actually believing this lmao

Anonymous

View Same Google iqdb SauceNAO 1442138220050.png, 296KiB, 500x375

Anonymous Mon 06 Apr 2020 17:00:13 No.11538980 Report

Quoted By: >>11538986

>>11538966
>It was a debate about foundations
that debate is still ongoing

Anonymous

Anonymous Mon 06 Apr 2020 17:00:26 No.11538981 Report

Quoted By:

>>11538934
No they didn't, go look at the primary sources like letters etc.
Also much of the criticism towards Cantor was on a more philosophical level of math's foundations etc.
Hilbert wasn't pointing out some specific section of his proofs and asking him to clarifiy.

At this point ABC is at an impasse as Mochizuki's proof will never be further clarified by any of the people that purport to understand it and the critics have already given what they feel is a specific flaw.

Anonymous

Anonymous Mon 06 Apr 2020 17:01:16 No.11538985 Report

Quoted By: >>11539001

>>11538949
t.never been in japan

Anonymous

Anonymous Mon 06 Apr 2020 17:01:38 No.11538986 Report

Quoted By:

>>11538980
>that debate is still ongoing
Pretty much irrelevant to my point.

Nobody argued that theorem 34.12 in Cantors paper on set theory was wrong, that simply wasn't the issue.

Anonymous

Anonymous Mon 06 Apr 2020 17:03:14 No.11538993 Report

Quoted By: >>11538996 >>11539000 >>11539006 >>11539010

>>11538972
Dude, they're conditioned since childhood, in school and in their homes, that the most important thing in life is honor, hard work and society. Of course there are outliers, but you honestly think a guy like Mochizuki, with a PhD and a big name in japanese mathematics would be an outlier? His proof might contain mistakes, but for him, they way he sees it now it's perfect, if he found a mistake I'm sure he would be the first to bow and apologize in shame because he's japanese after all, he's not some cunt western professor who'll never admit his own mistakes. I'd rather believe in him than in a german.

Anonymous

View Same Google iqdb SauceNAO 1586072706083.jpg, 33KiB, 680x512

Anonymous Mon 06 Apr 2020 17:04:32 No.11538996 Report

Quoted By:

>>11538993
Stop watching anime bro it's rotting your brain.

Anonymous

Anonymous Mon 06 Apr 2020 17:04:56 No.11539000 Report

Quoted By: >>11539016

>>11538993
Absolutely retarded and wrong in the first place, but for what it's worth Mochizuki spent most of his early life in the states.

Anonymous

Anonymous Mon 06 Apr 2020 17:05:16 No.11539001 Report

Quoted By:

>>11538978
>>11538985
Read up on japanese education and what they're taught throughout elementary school, middle school and high school.

Anonymous

Anonymous Mon 06 Apr 2020 17:07:12 No.11539006 Report

Quoted By: >>11539016

>>11538993
>that the most important thing in life is honor
The MOST dishonor Mochizuki could bring upon himself would be having to retract his paper.

>some cunt western professor who'll never admit his own mistakes
Every professor I have ever had always responded very reasonable to any criticism you brought to him. He either calmly explained why you were wrong or admitted that he was in the wrong and would make a correction.

Anonymous

Anonymous Mon 06 Apr 2020 17:08:02 No.11539010 Report

Quoted By:

>>11538993
Did you read Yukio Mishima and think every Japanese is like that?

Anonymous

Anonymous Mon 06 Apr 2020 17:12:03 No.11539016 Report

Quoted By: >>11539021 >>11539024

>>11539000
Didn't know about that, it sure makes things different having an american background, but still, I doubt his japanese followers would be outliers as well. Who knows.
>>11539006
See, you don't know japanese culture, it would be shameful if his paper was wrong, but it would bring even more shame and dishonor if he was deliberately hiding that fact, the japanese mind is conditioned to always admit their mistakes, bow in shame and apologize, then they can start anew, they're taught that throughout their childhood and teen years, it's an unspoken rule in japanese society.

Anonymous

View Same Google iqdb SauceNAO 1586048986671.png, 60KiB, 614x518

Anonymous Mon 06 Apr 2020 17:13:33 No.11539020 Report

Quoted By: >>11539030

>>11538848
>Kyoto U starting research center for IUT
Imagine being some poor researcher that gets hoodwinked into joining this.

Anonymous

Anonymous Mon 06 Apr 2020 17:13:46 No.11539021 Report

Quoted By: >>11539028

>>11539016
>the japanese mind is conditioned to always admit their mistakes
Do you have a functioning brain?

Anonymous

Anonymous Mon 06 Apr 2020 17:14:34 No.11539024 Report

Quoted By: >>11539039

>>11539016
>the japanese mind is conditioned to always admit their mistakes
where the actual FUCK do you weeaboos get this stuff
it's like you've literally never spoken to a single Japanese human being

Anonymous

Anonymous Mon 06 Apr 2020 17:15:50 No.11539028 Report

Quoted By: >>11539036

>>11539021
Have you ever read up on the japanese educational system? Know how it works? Know what they learn? From childhood they have to go to school alone, sing the anthem, bow to the teachers, study really hard, clean their own classrooms and have jobs. Their society conditions them into the mindset that the most important things are honor, hard work and maintaining society working.

Anonymous

View Same Google iqdb SauceNAO iutphd.jpg, 34KiB, 640x427

Anonymous Mon 06 Apr 2020 17:16:01 No.11539030 Report

Quoted By: >>11539031

>>11539020
>Ph.D. in Mathgen papers
>any job I want at the IUT research Center
>$300k starting

Anonymous

Anonymous Mon 06 Apr 2020 17:16:24 No.11539031 Report

Quoted By:

>>11539030
Lmao

Anonymous

View Same Google iqdb SauceNAO 1518375007901.jpg, 37KiB, 1000x563

Anonymous Mon 06 Apr 2020 17:17:56 No.11539036 Report

Quoted By:

>>11539028
>Have you ever read up on the japanese educational system?
Indeed I am a weeb. You caught me.

But to repeat my question. Do you have a brain or have ever interacted with another human being?

Anonymous

Anonymous Mon 06 Apr 2020 17:18:34 No.11539039 Report

Quoted By: >>11539052 >>11539058

>>11539024
Have you? Don't take 5ch posters as a rule, you idiot, 5ch is the place where they can relieve stress so they just shitpost, but IRL their mentality prevents them from being petty like westerners, of course not considering some few outliers, most of which with poor background or mental issues.

Anonymous

View Same Google iqdb SauceNAO ivan-fesenko-9d94fb84-006e-4c93- (...).jpg, 44KiB, 553x478

Anonymous Mon 06 Apr 2020 17:21:18 No.11539045 Report

Quoted By: >>11539073

Mochizuki-san pls hire me.

Anonymous

Anonymous Mon 06 Apr 2020 17:22:46 No.11539052 Report

Quoted By: >>11539060

>>11539039
The fact that the first thing that jumps to your mind for any knowledge of Japanese people is "he must be reading google-translated 5ch posts" only confirms that you are an autistic Japan-worshipping weeaboo

Anonymous

Anonymous Mon 06 Apr 2020 17:24:47 No.11539058 Report

Quoted By: >>11539120

>>11539039
>Have you? Don't take 5ch posters as a rule,
lol yes I've met Japanese people IN REAL LIFE

Anonymous

Anonymous Mon 06 Apr 2020 17:25:00 No.11539060 Report

Quoted By: >>11539067

>>11539052
Sure, the one who knows about japanese culture and mentality is you and not me who have read a bunch on that topic, yeah, right...

Anonymous

Anonymous Mon 06 Apr 2020 17:26:49 No.11539067 Report

Quoted By: >>11539070

>>11539060
>nobody but me could possibly know anything about Japan
>why? well you see, everybody knows the only way to know about a culture is to read about it, and I'm the only person who can read

Anonymous

Anonymous Mon 06 Apr 2020 17:27:59 No.11539070 Report

Quoted By: >>11539074

>>11539067
Care to post then the books, papers or articles you've read on the subject?

Anonymous

Anonymous Mon 06 Apr 2020 17:28:18 No.11539073 Report

Quoted By:

>>11539045
Would you seriously become an expert in hyperbolic curves and anabelian geometry and read all of Mochizuki's papers if he said he'd hire you to research IUT and shipost about Scholze on the internet?

Anonymous

Anonymous Mon 06 Apr 2020 17:29:12 No.11539074 Report

Quoted By:

>>11539070
Care to post the number of Japanese people you've actually met?

Anonymous

Anonymous Mon 06 Apr 2020 17:30:20 No.11539078 Report

Quoted By: >>11539087

>>11538797
Yes, the automorphism group of $(\mathbb Z/p\mathbb Z)^2$ is the group of invertible 2x2 matrices with coefficients in $\mathbb Z/p\mathbb Z$ .
It can act on $\mathbb Z/p\mathbb Z$ via the determinant for example:
$\begin{pmatrix}a & b \\ c & d \end{pmatrix}\cdot x = (ad-bc)x$

Anonymous

View Same Google iqdb SauceNAO 1574039799154.png, 79KiB, 259x252

Anonymous Mon 06 Apr 2020 17:35:15 No.11539087 Report

Quoted By:

>>11539078
Oh shit, of course. How did I not think of those? Thanks.

Anonymous

Anonymous Mon 06 Apr 2020 17:47:05 No.11539120 Report

Quoted By: >>11539153

>>11539058
And it absolutely isn't necessary to have met a Japanese person to realize that they aren't pure angelic beings, but normal humans just like everyone else.

Japan certainly has a more gentle culture then most places and the (admittedly very few) Japanese that I have met where always very kind and respectful, but that absolutely is no reason to attribute to them super human morality.

Anonymous

Anonymous Mon 06 Apr 2020 17:58:36 No.11539153 Report

Quoted By: >>11539223

>>11539120
>no reason to attribute to them super human morality
This. That can only be attributed to the Emperor, a few of his Primarchs, the Grey Knights and his Custodians.

Anonymous

Anonymous Mon 06 Apr 2020 18:27:16 No.11539223 Report

Quoted By:

>>11539153
Indeed. Who but HE could create the perfect vision of humanity and who but HIS most loyal servants could be entrusted with creating that vision in the face of humanities innumerable enemies.
Why are you pointing out something so obvious?

Anonymous

View Same Google iqdb SauceNAO a look at the serious courses in (...).png, 394KiB, 860x5600

Anonymous Tue 07 Apr 2020 03:24:42 No.11540660 Report

Quoted By:

>>11538676

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches