redvenom

5 ms·

1.
by redvenom 6y ago
Good thing I don't care at all what most people care about. If everyone had your attitude we'd all be listening to pop music instead of classical as well.
2.
by redvenom 6y ago
This highlights the difference between someone who cares about image quality and someone who just cares about reactions and likes.
3.
by redvenom 6y ago
In most situations that photographers actually care about (i.e. capturing beautiful, good light), ILCs already murder the iPhone. Computational photography may be cool but it is just helping the iPhone emulate ILCs.
4.
by redvenom 6y ago
The iPhone 12 may have some cool auto computational features, but in no way is it better than an ILC camera like a DSLR. If you actually compare image quality side by side, a DSLR typically will smoke an iPhone. Not to mention there is no w
5.
by redvenom 6y ago
There's not much difference between the different formats in terms of engineering genius. The Raw data from a camera is basically a matrix of numbers...not too much innovation possible there. The fact that there are different formats i
6.
by redvenom 6y ago
Me too. For people on shared hosts (hundreds of small websites including small businesses), PHP is pretty much the only server-side language that you have access to (well, maybe aside from Perl).
7.
by redvenom 6y ago
It is a diagram whose vertices are mathematical objects and whose arrows are morphisms (often functions) between those objects such that any two paths between two vertices represent the same morphism/function. Typically it is used to i
8.
by redvenom 6y ago
I was thinking the title meant that I could sync an iPad with Linux...too bad. I was hoping that someone made it possible to sync music with the latest iOS.
9.
by redvenom 6y ago
Absolutely true, there is a lot to prove there. It's not an elementary explanation by any means, rather it is an outline that someone who knows Galois theory well could probably reconstruct.
10.
by redvenom 6y ago
The reason basically comes down to the fact that every time you perform a compass and straight-edge construction, you are constructing quadratic extensions of number fields, whereas trisection (in general) needs a cubic extension. The &#x27
11.
by redvenom 6y ago
It does make you much better at formulating problems. In fact, from my experience as a mathematician and watching others do math, the vast majority of good problems comes after someone has solved a problem and then asked, "what if we c
12.
by redvenom 6y ago
No, polygons in non-Euclidean space makes sense. Polygons and more generally, geometric simplicial complexes in other spaces is a branch of mathematics all by itself (geometric group theory), so you certainly shouldn't "throw it o
13.
by redvenom 6y ago
The reason is because you want to be able to usefully talk about 'true vertices'. Another way to define a polygon is any convex hull of finitely many points in Euclidean 2-space with nonzero area. Then the 'real' vertice
14.
by redvenom 6y ago
Work at a job so I can pursue my creative projects like writing blog posts and making documentaries.
15.
by redvenom 6y ago
Well, there are documented cases of evolution happening during our lifetimes. But I would say as a mathematical process, pretty likely once you have the basic ingredients. Richard Dawkins has written some good popular science books like &#x
16.
by redvenom 6y ago
I'll tell you something about memorizing phyla, orders, families, genera, and species. If you've never had exposure to any of that, it might seem arbitrary. But now, go out in the woods and try and identify species you see. You ca
17.
by redvenom 6y ago
This explanation is somewhat informal, but I gets the point across: a theory is a set function symbols, relation symbols, and axioms governing them. A model is a specific set with an interpretation of those function and relation symbols tha
18.
by redvenom 6y ago
People have a fascination with "This sentence is false" because it highlights the need to be precise distinguishing between the language of a logical system and a metalanguage to talk about the language. That discovery or 'in
19.
by redvenom 6y ago
"True" in this context is a technical definition, not some hand-waving thing. A sentence X being true means every model satisfies X. Provable means logical deduction within the theory proves X. So actually, Godel's theorems a
20.
by redvenom 6y ago
Excellent question. It implies an infinite number of statements. For if T is such an incomplete theory and X is a statement true in some models of T and false in others, then T+X is also a theory that satisfies the same requirements as T in
21.
by redvenom 6y ago
This response is not quite right. "It's only completeness [...]" sentence does not make sense. CH is independent of ZFC, period, as proved by Cohen. Talking about 'semantic level' does not make sense. CH is an examp
22.
by redvenom 6y ago
Just want to point out that your answer is essentially incorrect. Godel's completeness theorem has nothing to do with the existence of models. It is about the provability of sentences that are true within all models. Also, the incomple
23.
by redvenom 6y ago
The answer you got from lmm and others is wrong (I am a professional mathematician and did research in logic). The completeness theorem says simply: if T is a first-order theory (list of axioms in first-order logic), any sentence true in ev
24.
by redvenom 6y ago
The point is not to prove that 1+1=2. The point is to construct mathematics (all of mathematics) directly from the axioms using a formal language. The objective of 1+1=2 is not interesting, but the result is a rigorous foundation of mathema
25.
by redvenom 6y ago
There are two separate statements here: 1. Mathematicians often use relatively powerful systems, like reasoning in ZFC about Peano arithmetic. The consistency and completeness of axiomatic systems is what this article is about 2. Mathematic
26.
by redvenom 6y ago
I think the point is that computers are conquering less and less obviously computation problems. At some point we ask ourselves, just what is human intelligence? And perhaps there is not much difference between computers and humans after al
27.
by redvenom 6y ago
Another place not on this list is YouTube. You can set up a channel pretty easily and make a short video about your project. The advantage with this is that it is really easy to include screen captures of using it (if it's a graphical
28.
by redvenom 6y ago
Take that, RIAA!
29.
by redvenom 6y ago
I don't really think so. I think a lot of people are just doing something because it's a job. And a lot of people are sound with being sheep and just following the rules because they exist, and don't like the discomfort that
30.
by redvenom 6y ago
We should eliminate single-use items like coffee cups altogether.

More ›