[ home ] [ math / cs / ai / phy / as / chem / bio / geo ] [ civ / aero / mech / ee / hdl / os / dev / web / app / sys / net / sec ] [ med / fin / psy / soc / his / lit / lin / phi / arch ] [ off / vg / jp / 2hu / tc / ts / adv / hr / meta / tex ] [ chat ] [ wiki ]

/math/ - Mathematics


Name
Email
Subject
Comment
Verification
Instructions:
  • Press the Get Captcha button to get a new captcha
  • Find the correct answer and type the key in TYPE CAPTCHA HERE
  • Press the Publish button to make a post
  • Incorrect answer to the captcha will result in an immediate ban.
File
Password (For file deletion.)

25 Dec 2021Mathchan is launched into public


File: Frac.png ( 116.91 KB , 256x256 , 1691684545939.png )

Image
I don't get it. Why are so many people in fractals nowadays?

There seems to be a whole community on Youtube that makes Mandelbrotzooms and seems to appreciate the psychedelic aesthetics and the relationship of these to PC hardware. Is this simply a continuation of the graphics demo scene?

I don't quite understand the appeal. However, I don't quite understand the math behind it either.
>>
>>465
Cauase fractals are pretty.
>>
>>466
Thank you. Now, I get it.
>>

File: Screenshot_20230819-155401_Gallery~2.jpg ( 84.25 KB , 720x541 , 1692917903705.jpg )

Image
>>465
A fractal
>>
>>465
"schizos" schizing out is a good explanation


File: CubeChart.svg.png ( 28.29 KB , 420x368 , 1699220700580.png )

Image
What do people make of these numbers?
>>
>>523
seems to be a relation between numbers and their cubes


File: 20230903_200854.jpg ( 1.3 MB , 3297x1921 , 1693882765279.jpg )

Image
Has anyone read euclids elements or has ability to elucidate upon this geometry
>>
>>493
no
>>
Euclids work is just of historical interest.
I have give it a try but... I don't have the patience to follow it.


File: Gigachad.jpg ( 58.71 KB , 680x763 , 1699147008221.jpg )

Image
>There is no Eulerian path along the bridges of Konigsberg?
>What if we dropped a 5000 kg bomb on the city?


File: norman chad.jpg ( 107.98 KB , 1280x720 , 1662995967260.jpg )

Image
He is right about everything.
1 post omitted. Click here to view.
>>
>>297
>>298
All me
>>
>>297
shes wrong tho
>>
Ok they're not real, but let's pretend they're real and prove all these useful theorems
>>
>>453
this is what happens
>>
you need to define real
he seems to think that math is the language of the universe or some idealism like that, and that therefore real numbers (more precisely, irrationals) can't be real since they contradict with his vision of reality
except math was never the language of the universe, it's a language that can model the universe, it can also model other things, just like other languages
math is real in the sense that it exists in our head, that we recognize collectively that it exists, it is not real in the sense that it’s reality itself
so real number aren't any less real than natural number, and, they are logically sound from the axioms we use


File: 183px-Double_torus_illustration.png ( 26.71 KB , 183x200 , 1696790827904.png )

Image
Hodge conjecture is true. How do you prove it?
>>
It's not true.
>>
>>509
The integral Hodge conjecture is false. Why also is Hodge conjecture false? It is proved for many special case!
But this it not prove the conjecture.
>>
I cant


File: TIMESAND___QDRH762aFF.jpg ( 1.25 MB , 3400x3044 , 1663048919445.jpg )

Image
The Riemann hypothesis is false. I have a few independent negations by direct counterexample and they are presented in papers with varying degrees of rigor. In this "quick" proof, I present a fully rigorous proof upon an unproven proposition. Obvioulsy, this fails to negate RH due to the unproven proposition but it concisely states the method I use. In a longer paper, I do it without that proposition's assumption and in a *much* longer paper I start with Euclid's Elements, assume nothing else, and then show that RH is consequently false. That paper is linked below and if I can post the PDF, I will post it.

Fractional Distance: The Topology of the Real Number Line with Applications to the Riemann Hypothesis
>https://vixra.org/abs/2111.0072
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 underlying foundations, we present a basis for a topology.
>>

File: TIMESAND___FractionalDistance.pdf ( 943.18 KB , 1663049229219.pdf )

Image
This is the one starting from Euclid.
>>

File: TIMESAND___ZetaMedium.jpg ( 3.19 MB , 3689x2457 , 1663049338048.jpg )

Image
This one starts with a more modern shared framework for analysis.
>>
Is this your work?
>>
I don't know but I think you're another crackpot.
>>
Oh boy 😔


File: PuppetWalks.gif ( 30.38 KB , 150x200 , 1694924381757.gif )

Image
Trying to look for a more mathemathical, vectorized summarized idea of Drawing correctly all the frames involved in the walk cycle

From the idea that it is looping to maintaining constant balance between on step or cycle to another. But generally it needs to be summarized into a shape or curves or something easily read, mathemathically, that will tell where the pose go so to define the motion that is predetermined... which includes variety of things limping, running, crowling... assortments of so.

The prioritt idea is the balance and the repeat, so much less than abstract characteristic but rather the correct physics in accordance to the asked body motion
>>
>>501
Did you make a similar thread on hikari3.ch/aca?
Someone had a very similar question there before the thread was deleted


File: books.png ( 814.06 KB , 1336x729 , 1683435673797.png )

Image
Request and deliver any books or book recommendation in this thread.

OP starts:
>Algebraic Topology, Allen Hatcher
https://pi.math.cornell.edu/~hatcher/AT/AT+.pdf
You really shouldn't go with any other book. Stick with Hatcher, even when you feel lost.
>>
>>400
Why should one only stick with Hatcher? I feel like books like May, Strom or Fomenko and Fuchs are plenty good as well.
>>

File: 61lU3ey4LcL._AC_UF894,1000_QL80_.jpg ( 50.66 KB , 659x1000 , 1683436188339.jpg )

Image
>>
>>400
https://www.ihes.fr/~gromov/wp-content/uploads/2018/08/Gromov-Metric-structures-Riemann-non-Riemann-spaces.pdf
>>

File: IMG_0533.jpeg ( 306.43 KB , 2387x1511 , 1693566777305.jpeg )

Image
>>400
Are there any books that explain the system in pic or system below
{a231qa=0qa227=0 \begin{cases}\lfloor{\frac{a^2-31-q}{a}}\rfloor=0\\ \lfloor{\frac{q}{a^2-27}}\rfloor =0\end{cases}


File: ‎image_two_grids.jpeg ( 318.43 KB , 1920x1080 , 1693178750553.jpeg )

Image
Do you know of any interesting ways to list all possible
kk
-tuples of nonnegative integers in order? Or in other words, do you know a function
f(n)f(n)
such that for every
(a,b)(a, b)
with integers
a,b0a, b \ge 0
, there exists an
n0n \ge 0
with
f(n)=(a,b)f(n) = (a, b)
? Well, I do! I'll be showing my way.

First you create a grid with two axes which you start numbering starting at 0. The square in the
pp
th row and
qq
th column will have the tuple
(p1,q1)=(a,b)(p - 1, q - 1) = (a, b)
. Not
(n,m)(n, m)
because we start at 0. Now, we draw a line that connects the squares like in the left grid of the image attached (translucent, red line). The line creates this one-dimensional sequence of 2-tuples:
(0,0)(0,1)(1,0)(2,0)(1,1)(0,2)(0,3)(1,2)(2,1)(3,0)(4,0)(0, 0) \rightarrow (0, 1) \rightarrow (1, 0) \rightarrow (2, 0) \rightarrow (1, 1) \rightarrow (0, 2) \rightarrow (0, 3) \rightarrow (1, 2) \rightarrow (2, 1) \rightarrow (3, 0) \rightarrow (4, 0) \rightarrow \dots
You should notice the pattern. Like that, I've listed all 2-tuples.

We define
fk(n)f_k(n)
as our function that maps
{0,1,2,}\lbrace 0, 1, 2, \ldots \rbrace
to the set of all
kk
-tuples of nonnegative integers.

We can extend this to 3-tuples. But without using a 3-dimensional grid. We make a similar grid (right side of image), this time the upper axis is for the third element in the tuple and the left axis is just the sequence of 2-tuples I listed before for the 1st and 2nd elements of the 3-tuple.

Using that method, we get this for
k=3k = 3
:
f3(0)=(0,0,0)f3(1)=(0,0,1)f3(2)=(0,1,0)f3(3)=(1,0,0)f3(4)=(0,1,1)f3(5)=(0,0,2)    f_3(0) = (0, 0, 0)\\ f_3(1) = (0, 0, 1)\\ f_3(2) = (0, 1, 0)\\ f_3(3) = (1, 0, 0)\\ f_3(4) = (0, 1, 1)\\ f_3(5) = (0, 0, 2)\\ \ \ \ \vdots


A slightly less intuitive pattern...

Of course, you can generalize this method to get the formula:
fk+1(n)=fk(b(n))s(n)f_{k+1}(n) = f_k(b(n)) \cup s(n)
. The union symbol is used here to append
s(n)s(n)
to to the
kk
-tuple
fk(b(n))f_k(b(n))
.
b(n)b(n)
refers to the first element of
f2(n)f_2(n)
and
s(n)s(n)
refers to the second. Also, it isn't particularly hard to prove that these functions indeed do return every possible tuple.

I find this formula beautiful. Correct me in case you find mistakes!
>>
This method is the same for demonstrating the numerability of rational numbers, but it presents a mistake.
I explain it. Natural numbers are defined by Peano's axioms, actually they are defined for recursion (second axiom), i.e. 7 does not exist without 6.
In first black line of the table you have already the naturals in order.
Now if we stop this method in some numbers, we'll see that it exist a number but the inferior number does not exist yet. e.g. If we stop in (1,1), we'll have (2,0)=(1,0,0)>(1,1)=(0,1,1)
The same is true in numerability, if we stop in 2/3, we'll have defined 1/4 without 4, but rationals are defined by naturals.
>>
>>483 I know that a similar method is used to prove that the set of rationals and naturals have the same cardinality except you remove all the duplicates. But I'm not quite sure what you mean by
(2,0)=(1,0,0)>(1,1)=(0,1,1)(2, 0) = (1, 0, 0) > (1, 1) = (0, 1, 1)
. Could you elaborate?
>>
>>484
Of course, you ask to us: "Do you know of any interesting waves to list all possible k-tuples of possible nonnegative integers in order?" In effect it exists, it is sufficient to change the base of natural numbers. e.g. For k-tuple in base two until
f(2k1) f(2^k-1)
you have the k-tuple in order f(0))(0,...,0,0,0), f(1)=(0,...,0,0,1), f(2)=(0,...,0,1,0), f(3)=(0,...,0,1,1), f(4)=(0,...,1,0,0), f(5)=(0,...,1,0,1), etc here you can see that (1,0,0)>(0,1,1) where a>b means a comes after b.
If, otherwise, you fixed k and you need numbers bigger than
f(2k1) f(2^k -1)
you can change base into base n for number until
f(nk1) f(n^k -1)
. e.g. k=2, number until f(125), n≥12 you obtain: (for n=12) f(0)=(0,0), f(1)=(0,1), f(2)=(0,2), f(3)=(0,3),..., f(10)=(0, A), f(11)=(0, B), f(12)=(1,0), f(13)=(1,1), f(14)=(1,2),...,f(125)=(A,5)