chobytes

24 ms·

61.
by chobytes 5y ago
Sounds amazing. Wish we could get them that low here. Biking on the road next to multiple ton, blocks of metal going 30mph (48km/h) is never pleasant.
62.
by chobytes 5y ago
A fun wrinkle is that there are (infinitely many) models of set theory which are pointwise definable. Thus in the right model of zfc, every mathematical object is uniquely addressable by a certain finite formula. (see https://arx
63.
by chobytes 5y ago
I believe it. Lockdowns and covid suck, but living in the city is still better than the alternative.
64.
by chobytes 5y ago
That use-case seems not strictly useful, but things become trickier with more elaborate expressions; like when we want to abstract over what f looks like. Eg One might have f(x,y,z) = (...). If f is in some class of functions with some prop
65.
by chobytes 5y ago
No tbh I think that's fantastic. Engineering and physics are a great way to get the right intuition. Having a firm grasp of the basics and having lots of possible examples in mind is very useful! Basically I would try to round out the
66.
by chobytes 5y ago
Yeah I think that's basically the idea. Just solve whatever problems you find interesting via whatever means you can. Eg Galois theory kind of looks like this: Applying an abstract model of symmetry to a model of polynomials to answer
67.
by chobytes 5y ago
I dont know what level youre at, but if you don't already know how to write proofs then something on that. Its an extremely important foundation for everything else. I learned in a class and we didnt use a book so I cant recommend one.
68.
by chobytes 5y ago
Projects in pure math are basically just research. I would say just follow your curiosity and try to figure things out. You might not be scratching novel work for awhile, but its still enjoyable. I don't know exactly what you like to w
69.
by chobytes 5y ago
Ive never read this book in particular, but had a similar experience with another book (Serge Lang, Basic Mathematics) that changed my life trajectory. If you find this stuff remotely interesting please give it a go! Math is really wonderfu
70.
by chobytes 5y ago
Seconding this a little. The best way to learn math is to spend a long time with it and see it in as many ways as you can. You have to build an intuition for it so you can move past definitions and theorems and just "get it". Alth
71.
by chobytes 5y ago
I think the trouble with LA education is that LA is just so ubiquitous and can look very different dependent on context. No style is going to suit everyones needs.
72.
by chobytes 5y ago
Yup, notebooks are what I had in mind. I make heavy use of mathematica when I want to explore a new topic.
73.
by chobytes 5y ago
I think I prefer physical textbooks for many reasons I wont get in to... but I do really like the interactive and visualization elements computers offer. I feel like teaching kids some amount of coding to be able to play with math could be
74.
by chobytes 5y ago
Yeah thats very true and I didnt think to mention it. I very much appreciate how concise latex is, and that I don't need any special editor for it.
75.
by chobytes 5y ago
Should the toolmakers priority not be to make a tool its users will use? This sort of dictating opinions via tech seems common in the browser world, and it honestly makes me thankful we primarily target pdfs and not the web.
76.
by chobytes 5y ago
Anecdata, but thats not been my experience. Ive found latex to be a much smoother experience to use than languages like js or python.
77.
by chobytes 5y ago
I get the impression this is a tool made by technologists for technologists, rather than for people who spend a lot of time typesetting math. Academics (mathematicians, physicists, etc) don't have the same concerns as technologists, an
78.
by chobytes 5y ago
Not sure who this is for. The notation looks extremely verbose and unusable, and latex won a long time ago already.
79.
by chobytes 5y ago
Similar. Ive been looking into "dumb phone" options, and moving many tasks to old school solutions. Eg desk calendars, notepads, physical books, etc. For tech stuff I do need Id like to pick dedicated "appliance like" to
80.
by chobytes 5y ago
Presumptuous. I certainly dont want this pseudo-righteous power grab done for me.
81.
by chobytes 5y ago
Ive already been itching to de-cloud, and de-tech my life. If were already getting to this stage of surveillance I guess thats just another sign I should be getting on top of it. Today its csam. Tomorrow "misleading information".
82.
by chobytes 5y ago
That's definitely a good place to start. Having the right intuition for groups from the beginning makes everything much easier. As for other materials, what kind of math background do you have?
83.
by chobytes 5y ago
Physics is probably one of the best ways to "get" calculus. Its the application calculus was made for so I think it conveys the intuition well.
84.
by chobytes 5y ago
Honestly philosophers getting ahold of set theory is probably one of the worst things to happen to it. I feel like it can be hard for people to take set theory seriously when the conversation about it is dominated by this kind of drivel. Ba
85.
by chobytes 5y ago
Edtech is a blight. Hopefully the US follows suit.
86.
by chobytes 5y ago
Were currently doing lattice calculations for a class im in, using "big cloud company"s quantum computers. That eats qubits quick, so 5000 qubits sounds luxurious! The organizers dont seem to know specifics about D-wave when Ive a
87.
by chobytes 5y ago
Me and my classmates were running code on real quantum computer literally earlier today. 10 qubits is enough to simulate a pair of particles interacting already.
88.
by chobytes 5y ago
To be honest if you're sufficiently motivated and you find it interesting then go with it. Better to be motivated about an idiosyncratic method than ambivalent about the whole thing.
89.
by chobytes 5y ago
A functor is a certain kind of function (Theres a pedantic point to be made but it's mostly irrelevant). However, most functions are not functors. To give a simpler example, we say a function, f, is monotone when for x<y, f(x)<f(
90.
by chobytes 5y ago
Math is at its heart about intuition; formalism is a just tool. One uses the formalism but one has to see past it. Roughly its the difference between knowing that a group is a set with a certain binary function, and knowing that a group is

More ›