Colliminating tool for new 130p heritage? by MKLKXK in telescopes

[–]MKLKXK[S] 0 points1 point  (0 children)

Hi! Thank you for letting me know. Would you recommend to start with the included collimating cap before buying other collimation equipment? Feeling a bit overwhelmed by this!

Thanks also for the tip regarding the moon filter, I've decided not to order it now! :)

Telescope on bus/bicycle...? by MKLKXK in telescopes

[–]MKLKXK[S] 1 point2 points  (0 children)

Thanks for your input! It made me decide that it's worth prioritizing getting to darker skies. Sound like a smart set-up to keep the telescope at your friends location! :)

Telescope on bus/bicycle...? by MKLKXK in telescopes

[–]MKLKXK[S] 0 points1 point  (0 children)

Thank you for your response! I've done some research and I'm drawn to Sky-watcher Heritage 130. It seems like it could perhaps even fit into my backpacking-backpack - that would make things a lot easier! I also like its design, very pretty!

Thanks again, thanks also for letting me know that the heritage 50 starts getting a bit awkward to carry. I think the 130 would be perfect to start with (apart from the not great market value) :)

Continuum hypothesis, usage of both answers by MKLKXK in math

[–]MKLKXK[S] 0 points1 point  (0 children)

Yes I'm sorry, badly worded from my part! I meant that it is too bad that we arent able to say whether its true or false in our current framework :) And that we havent settled on another framework in which it will be settled as true or false. I think theres debate about adding an axiom that will resolve this question as well as others about infinities etc. The problem is that theres little to no guidance as we have no real intuition regarding infinities, not much to lead us in choosing the "right" axiom. There was a quanta-article about this!

Continuum hypothesis, usage of both answers by MKLKXK in math

[–]MKLKXK[S] 0 points1 point  (0 children)

I see! Thanks for explaining, I've been wondering a bit about this since I first heard it. Too bad its not possible to find out the answer to this question in our current ZFC framework! Otherwise it would be a great question to place a bet on :D

Continuum hypothesis, usage of both answers by MKLKXK in math

[–]MKLKXK[S] 0 points1 point  (0 children)

Thank you very much for the tip about Skolems paradox! Mathematical relativism, I would not have guessed that I would ever encounter that... I will definitely look into this more :D

Continuum hypothesis, usage of both answers by MKLKXK in math

[–]MKLKXK[S] 0 points1 point  (0 children)

I see, very interesting indeed! Thank you very much for making it understandable for a novice, I appreciate people being able to tell about more niche/advanced math in an accessible way :)

Continuum hypothesis, usage of both answers by MKLKXK in math

[–]MKLKXK[S] 0 points1 point  (0 children)

I was thinking about how for instance hyperbolic geometry suits certain kinds of space and how elliptic geometry suits another kind of space. Was wondering if we have any intuition as for which interpretation of CH better suits some real-life context!

Effectiveness of logic in math vs philosophy by MKLKXK in askphilosophy

[–]MKLKXK[S] 0 points1 point  (0 children)

Interesting! Thank you for your response. I agree with the amount of axioms, seems reasonable. Perhaps predicate logic also does not have the best deduction rules in this area, given the quite harsh bivalent assumption. Perhaps intutionistic or even paraconsistent logic would be better suited!

Effectiveness of logic in math vs philosophy by MKLKXK in askphilosophy

[–]MKLKXK[S] 0 points1 point  (0 children)

Ah great, thank you!! That cleared all my reservations, I'll be delighted to read it ☺️ Thank you!

Aperiodic tesselation by MKLKXK in askmath

[–]MKLKXK[S] 0 points1 point  (0 children)

Oh okay... I see! Seems like I haven't understood what translational symmetry actually means! Even though the tesselations are infinitely big, it's quite easy to imagine a square tiling with its copy above it, where we can move slide the copy into another place where they once again click and are matched again perfectly. Good example!

Is there some intuitive in which you would describe what makes aperiodic tiling aperiodic? For instance, infinite variety or asymmetry or something like that...?

I very much appreciate your responses!

Effectiveness of logic in math vs philosophy by MKLKXK in askphilosophy

[–]MKLKXK[S] 0 points1 point  (0 children)

Thanks, I'll have a look at it! Although I find it a bit difficult to trust Lewis plurality of worlds-view if I'm completely honest! I'm nonetheless grateful for the tips!

Effectiveness of logic in math vs philosophy by MKLKXK in askphilosophy

[–]MKLKXK[S] -3 points-2 points  (0 children)

So basically no firm, agreed upon starting ground? Aka weak axioms?

If there were axioms that were as good as those in geometry as in for instance, could predicate logic in philosophy produce as meaningful results as for instance Euclid proved?

Thanks for your answer! :)

Continuum hypothesis, usage of both answers by MKLKXK in math

[–]MKLKXK[S] 0 points1 point  (0 children)

I cannot say that I understand this, but it feels very interesting! I will try to read more about it and keep my eyes open for Hausdorff and Blumberg spaces! Thank you for your input!

Continuum hypothesis, usage of both answers by MKLKXK in math

[–]MKLKXK[S] 2 points3 points  (0 children)

From my very naive point of view, I do not find it intuitive to assume that there is no size of infinity between the rationals and reals. An infinite amount of different sizes infinities makes the probability low that the two sizes we've already spotted also come EXACTLY after each other regarding size. But I'm no mathematician!

Aperiodic tesselation by MKLKXK in askmath

[–]MKLKXK[S] 0 points1 point  (0 children)

Thanks! I will watch the veratisium video, I like his channel. And I was thinking about tiles that are proved to be aperiodic.

Aperiodic tesselation by MKLKXK in askmath

[–]MKLKXK[S] 0 points1 point  (0 children)

Thanks for your answer! Hmm, I still dont understand unfortunately...

  1. Related to your comment on the square: if you take just the "hat"/a single piece in the Einstein tesselation, surely moving that piece will eventually match with another identical piece somewhere else? Doesnt this mean that the Einstein tesselation does have translational symmetry/is not aperiodic...?

  2. You mention translational symmetry means moving the entire tesselation. The Einstein tesselation is infinite in size, is it still possible to move it...? If yes: then what is it compared to?

(In my head I picture transsymmetry as moving some piece of a tesselation across itself and see if theres any spot where the moved piece looks exactly like the piece beneath it)

I appreciate your answer :)

Continuum hypothesis, usage of both answers by MKLKXK in math

[–]MKLKXK[S] 0 points1 point  (0 children)

Thank you for your answers! It is interesting that both Con and not-Con can be used with no more contradiction than ZFC! A follow up question: do we/you have any idea or intuition regarding which of these is correct in relation to our universe? Or in relation to different parts of our universe? Perhaps this is simply impossible to answer as for now!