Most active commenters
  • ninetyninenine(34)
  • Koshkin(8)
  • lisper(4)

←back to thread

166 points levlaz | 75 comments | | HN request time: 0.003s | source | bottom
Show context
ykonstant ◴[] No.41877090[source]
This is a great article and I especially liked the notion:

>Theoretical physics is highly mathematical, but it aims to explain and predict the real world. Theories that fail at this “explain/predict” task would ultimately be discarded. Analogously, I’d argue that the role of TCS is to explain/predict real-life computing.

as well as the emphasis on the difference between TCS in Europe and the US. I remember from the University of Crete that the professors all spent serious time in the labs coding and testing. Topics like Human-Computer Interaction, Operating Systems Research and lots of Hardware (VLSI etc) were core parts of the theoretical Computer Science research areas. This is why no UoC graduate could graduate without knowledge both in Algorithms and PL theory, for instance, AND circuit design (my experience is from 2002-2007).

I strongly believe that this breadth of concepts is essential to Computer Science, and the narrower emphasis of many US departments (not all) harms both the intellectual foundations and practical employment prospects of the graduate. [I will not debate this point online; I'll be happy to engage in hours long discussion in person]

replies(4): >>41877362 #>>41877761 #>>41878005 #>>41887503 #
1. ninetyninenine ◴[] No.41877761[source]
> Theoretical physics is highly mathematical, but it aims to explain and predict the real world. Theories that fail at this “explain/predict” task would ultimately be discarded. Analogously, I’d argue that the role of TCS is to explain/predict real-life computing.

No this guy doesn’t get it. He doesn’t understand what science is.

In science nothing can be proven. If I say all swans are white as my hypothesis this statement can never be proven because I can never actually verify that I observed all swans. There may be some swan hidden on earth or in the universe that I haven’t seen. Since the universe is infinite in size I can never confirm ever that I’ve observed all swans.

However if I observe one black swan it means I falsified the entire hypothesis. Thus in science and in reality as we know it nothing can be proven… things can only be falsified.

Math on the other hand is different. Math is all about a made up universe where axioms are known absolutely. It has nothing to do with observation or evidence in the same way science does. Math is an imaginary game we play and in this game it is possible to prove things.

This proof is the domain of mathematics… not science. Physics is a science because it involves gathering evidence and attempting to falsify the hypothesis.

Einstein said it best: “No amount of experimentation can ever prove me right; a single experiment can prove me wrong”

Basically newtons laws of motion are a perfect example of falsification via experimentation with relativity later being confirmed as the more accurate theory that matches more with observation.

So what’s the deal with computer science?

First of all the term already hits the first nomenclature issue. Computer science is ironically not a science. It lives in the same axiomatic based world as mathematics and therefore things can be proven in computer science but not in science itself.

So this nomenclature issue is what’s confusing everyone. The op failed to identify that computer science isn’t actually a freaking science. Physics is a science but computer science isn’t.

So what is computer science? Sorry to say but it’s a math. I mean it’s all axioms and theorems. It’s technically math.

CS is a math in the same way algebra and geometry is math. Physics is a science and it is not a math. It’s a totally orthogonal comparison.

Your job as programmers is more like applied math. It’s completely orthogonal to the whole topic but People often get this mixed up. They start thinking that because programming is applied computer science then computer science itself is not a math.

Applied math ironically isn’t really math in the same way writing isn’t a pencil. Yes you use a pencil to write but they are not the same. Same thing with computer science and programming.

replies(9): >>41877794 #>>41878097 #>>41879333 #>>41879798 #>>41880294 #>>41880480 #>>41882001 #>>41882307 #>>41883224 #
2. moring ◴[] No.41877794[source]
> In science nothing can be proven.

Asking here because it is mostly on-topic: This phrase is repeated often, but shouldn't it actually be, "In science, a hypothesis is either fundamentally verifiable or fundamentally falsifiable, but never both"? The two simply being the logical negation of each other.

"All swans are white" is fundamentally falsifiable (by seeing a black swan) but not verifiable, as you described.

"Black swans exist" is fundamentally verifiable (by seeing a black swan), but not falsifiable.

replies(4): >>41878068 #>>41878478 #>>41879476 #>>41881240 #
3. RandomThoughts3 ◴[] No.41878068[source]
I think both are wrong.

Science has a word encompasses a broad variety of definitions and practices. The philosophical question of the relationship of empiricism to truth (because fundamentally the question has more to do with the relationship between observations and deductions than science in itself) is a complex one and overall of little interest to actual practitioners of science. It can’t easily be subsumed in broad aphorisms.

I would hazard that most modern sciences - and physics especially - are nowadays mostly concerned about building models and the resulting predictions. The question then often becomes: does the tool I have built allow me to correctly predict how observations will unfold? The answer to which is often more shades of grey than simply yes or no.

4. jacobsimon ◴[] No.41878097[source]
I think you’re missing the broader point, which is that there is a lot to computer science outside of the purely mathematical formalism.

For example, distributed systems and networking are more like a physical science because they seek to make generalized learnings and theorems about real world systems.

The author’s last point around complexity theory also resonates because it demonstrates the value of designing experiments with real-world conditions like computing hardware speed and input sizes.

replies(2): >>41878774 #>>41879385 #
5. epgui ◴[] No.41878478[source]
Science (as in the “natural sciences”, ie.: everything that is not philosophy or mathematics) is not about “proving” anything at all.

Science is about measuring, quantifying and qualifying uncertainty.

6. User23 ◴[] No.41878774[source]
Distributed systems are famously hard to get right and mathematical formalism is pretty much the only way to do so at scale. Amazon found that out with S3[1]. TLA+ exists for very good reason!

That’s not to discount the reality that mapping the model to reality is hard work that needs to be done.

[1] https://lamport.azurewebsites.net/tla/formal-methods-amazon....

7. tzs ◴[] No.41879333[source]
> In science nothing can be proven. If I say all swans are white as my hypothesis this statement can never be proven because I can never actually verify that I observed all swans. There may be some swan hidden on earth or in the universe that I haven’t seen. Since the universe is infinite in size I can never confirm ever that I’ve observed all swans.

An amusing thing about a hypothesis like "all swans are white" is that if you do want to go around making observations to support it you don't actually need to observe any swans.

"All swans are white" is logically equivalent to "All non-white things are not swans". Thus you can gather observational evidence for the hypothesis by finding non-white things and checking if they are swans.

My monitor is not white, and I see it is not a swan. I've just made an observation in support of "all swans are white". I can make hundreds of such observations without even leaving my house.

I feel sorry for all those other swan color researchers who had to trudge around slimy rivers and mucky wetlands checking the colors of swans.

I think I first saw this in a Martin Gardner book. It is amusing, but actually there has been quite a bit of serious work among logicians and philosophers over this [1] since the logic seems correct but intuitively it seems you shouldn't be able to research swan color by looking around at the furniture in your house.

[1] https://en.wikipedia.org/wiki/Raven_paradox

replies(1): >>41879427 #
8. ninetyninenine ◴[] No.41879385[source]
The topic is about theoretical computer science which I would say is a math.

The authors last point is basically like what applied math is to math. It’s applied computer science.

replies(1): >>41880089 #
9. ninetyninenine ◴[] No.41879427[source]
This suffers from the same issue. Just like how you can’t observe all swans, you can’t observe all non white things.

The negation and the original statement can’t be proven. They can only be falsified.

The reason why you can’t prove things in science is because reality is unbounded so at any point in time in the future you may observe something that contradicts the hypothesis.

10. ninetyninenine ◴[] No.41879476[source]
I answer it here:

https://news.ycombinator.com/item?id=41851265

If you want to learn more look up Karl popper. It’s his philosophy.

In response to the other sibling replies I’m basically talking about science as in the scientific method. What are the limits of the scientific method in terms of determining truth?

One thing that isn’t addressed is fundamentally limited accuracy and precision of observational instruments. This actually makes things not falsifiable as well but I don’t talk about this because it complicates everything.

11. ◴[] No.41879798[source]
12. auggierose ◴[] No.41880089{3}[source]
It is either "a kind of math", or "math", but not "a math".
replies(1): >>41880870 #
13. bee_rider ◴[] No.41880294[source]
Agreed on the scientific method point, this is a really fundamental issue and it is shocking to me when people talk about science as if things are being proven in the same fashion as math. Maybe we need to sneak a “philosophy of science” into the k-12 system.

But I think there is also an etymological issue or something as well, which is causing additional confusion. Scientific theories aren’t proven of course, but they are proofed, in the same manner as when you pick up a breastplate from the blacksmith and note that it has a dent in it from where he shot it once. That’s the proof mark, the armor was tested by giving it a reasonably challenging test that is appropriate to the task it is intended for. Does this prove the armor is indestructible? No, of course not, as a physical device the armor has some finite limitations which could be overcome with enough gunpowder. But it is still reassuring.

Therefore I propose we clearly delineate between the two, by always spelling the logic thing with a ve and the “well, I tested it pretty hard and it didn’t break” thing with an f.

Newtonian physics was mostly mechanical engineering proof. It turns out electrical engineering, the study of fields and waves, that was a higher caliber. The standard model seems to be EE proof. But physicists are always constructing more energetic experiments.

replies(1): >>41880758 #
14. BoiledCabbage ◴[] No.41880480[source]
> No this guy doesn’t get it. He doesn’t understand what science is.

> In science nothing can be proven.

Who are you referring to? Nobody has mentioned anything about proven. Your entire comment is focused on arguing against science being proofs, but nobody has said science is proofs.

OP said that scientific theories should "explain and predict" which they should. Those that don't should be discarded eventually (which they should). Why are your discussing mathematical proofs of science when nobody brought it up nor proposed that?

replies(1): >>41880714 #
15. ninetyninenine ◴[] No.41880714[source]
Im demarcating what science is and what math is.

    - In science nothing can be proven.
    - In math things can be proven. 
From those two points above we know this:

    - computer science is not a science because you can prove things
    - computer science is a kind of math because you can prove things 

This goes fully against the ops main point that computer science isn’t math when it is. There’s a big nomenclature issue that confuses everyone, him and you, and it just throws everyone off in terms of clear categorical thinking. Namely, Computer science is not actually a science.

You guys don’t understand what math is and you don’t understand what science is and thus you guys are classifying incorrectly that computer science isn’t a math and they are making a completely invalid comparison with physics which is actually a science.

replies(2): >>41881408 #>>41884040 #
16. ninetyninenine ◴[] No.41880758[source]
Well proof and prove is the same word in adjective and noun form. If we change the definitions we lose the usage of nouns and verb.

   - I proof the armor is solid 
   - That’s a mathematical prove. 
Doesn’t sound right either imo.
replies(1): >>41880983 #
17. ninetyninenine ◴[] No.41880870{4}[source]
Sounds ok to me in casual conversation. I use it like fruit. Orange is a fruit. Orange is also a kind of fruit. Orange is fruit doesn’t sound right though.

Empathetically speaking I’m sure it’s quite jarring for you when you read it.

replies(1): >>41886472 #
18. bee_rider ◴[] No.41880983{3}[source]
It could just be that they are unfamiliar though, right?

“The armor has been proofed” doesn’t look so bad. “The armor has been proven” actually looks a tiny bit more awkward to me because it brings in too much of the math meaning.

Prove as a noun, though, I agree it is a little awkward.

But this is a request to change the language (where are those filed?) so I guess we will get used to it if it goes through.

19. greiskul ◴[] No.41881240[source]
Maybe you think you saw a black swan around the orbit of Jupiter with your new fancy telescope, but later you figure out that the telescope was falty and the swan you saw was actually white.

Because science depends on the external world, and there might always be hidden variables that we are not considering, it can only give us extremely high confidence after we make repeated observations using different methods, but it cannot give us the absolute confidence that Math can give us.

Also, this example of faulty telescopes is actually really close to what actually happened in the history of astronomy. Stars were thought to have a visible radius that made them appear to be much larger than the Sun, which was considered evidence that the Sun was not a regular star.

replies(1): >>41881593 #
20. BoiledCabbage ◴[] No.41881408{3}[source]
Ah, I see what you're misunderstanding. You're not thinking about the problem in the correct light.

If you start with the premise that computer science is math, of course you'll reach the conclusion that computer science is math. And that's why you're so surprised that anyone else can reach any other conclusion. But the issue is in your premise - that's what you need to re-examine.

The math portions of computer science are math - and the non math portions are not. Your argument is equivalent to saying that Europe is defined by the counties in that continent using GMT - and concluding "Of course Italy isn't in Europe!".

Parts of Computer Science (the theoretical parts) sit in formal science just like logic and math do. But parts of CS like applied CS don't. All of the hardware design and software falls into applied CS and eventually slides into pure engineering.

But CS also is more amorphous than many other disciplines. Parts of it almost touch up against behavioral science with its subfield of linguistics, and syntax and semantics of language. And a failure of CS over the past 50 years has been the utter lack of progress in empirical data around human modeling of computation. We still don't have any empirical framework for evaluating what languages or modeling approaches are more efficient than others, or even what makes a more efficient programing language. As a result that is stuck in alchemy and cargo culting.

Models of computation and information theory begin to intersect with the natural sciences n the realm of physics. Physicists begin to push up against what is computable by nature in a given region of space. And Quantum computation begins to redefine what the physical bounds are on computation.

Don't begin by looking at what math is - if you do then the only thing possible to conclude is that it's math . An informal definition you could begin with might be "The theory and application of tools (ie formal cs) and models (ie applied cs) that predict and explain behavior related to Computation"

How do you model the real world via computation? What are the limits of computation? How do you implement computation?

Computer Science is the study of all aspects of computation.

replies(1): >>41881906 #
21. ninetyninenine ◴[] No.41881593{3}[source]
> it can only give us extremely high confidence

Here's an interesting thing. Even high confidence can't be verified.

Let's say you examined 10 million swans and you think you observed all possible swans. But there's no way you can know whether or not the actual population is 10 billion trillion swans or a google swans.

If you observed 10 million swans and they are all white but those swans could only represent 1/99999999999999 of all possible swans. Then that means your observation is low confidence and there's no way whether we can verify what fraction of the population our sample size represents.

So actually high confidence is just an assumption. At a very technical level the confidence that science brings to the table is very very weak. We are making tons of assumptions and jumping to conclusions all the time.

replies(1): >>41883988 #
22. ninetyninenine ◴[] No.41881906{4}[source]
False, it is you who misunderstands and your terminology is incorrect.

The term is "theoretical computer science." Not just "computer science"

https://www.wikiwand.com/en/articles/Computer_science

https://www.wikiwand.com/en/articles/Theoretical_computer_sc...

The OP is making a claim on "theoretical computer science" NOT "computer science". Hence the title "What is theoretical computer science".

If you look at the wiki entry you will see that "Theoretical computer science" is highly mathematical and different from "computer science".

Honestly even I mis-used the term and this leads to tons of confusion. The naming of everything really changes the way people think and mixes everyone up. It's entirely a linguistic problem.

replies(1): >>41882656 #
23. lisper ◴[] No.41882001[source]
> If I say all swans are white as my hypothesis

That fails as a scientific hypothesis on purely structural grounds, before you have made any observations. Scientific hypotheses have to explain something. It's not enough to say that all swans are white, you have to say why. "All swans are white" is an observation, not a (scientific) hypothesis.

An example of a legitimate scientific hypothesis is that all swans are white because being white provides swans with some benefit in terms of reproductive fitness (and then you have to go on to say what that benefit is). You can then go on to predict that there might be non-white swans, but that these are expected to be rare because evolutionary pressure would drive non-whiteness out of the gene pool. Or something like that. But "all swans are white" by itself is a non-starter as a scientific hypothesis.

replies(2): >>41882327 #>>41885304 #
24. SkyBelow ◴[] No.41882307[source]
I think part of the problem is when we compare the two following.

Engineering - Physics - Math

Computer Engineering - Computer Science

Notice that the second only has two steps? Engineering isn't really science, but there is a sort of science. Now one will be quick to point out that computer engineering does depend upon physics (and chemistry, and even a wee bit of biology and higher). But I think Computer Science is large enough in scope it contains true Computer Science, which is as much math as math is, but it also contains more real world test and verify parts of computing. Things that might be able to fit up under physics or chemistry, but which ended up being placed under computer science.

If we are talking a Turing machine, that is math (or something equivalent to math). If we are talking about how a compiler can optimize code by rewriting some things to be computational equivalent but to put operations in an order that most CPUs can run faster, that feels like we've stepped into science. We've overloaded the terminology and now have some linguistic debt that needs paying off.

I sometimes joke that my undergrad degree in Computer Science involved only a single class in Computer Science.

25. ninetyninenine ◴[] No.41882327[source]
I'm talking at a very technical level ignoring all the cultural stuff around the scientific method like "peer review" or explaining "why"

Basically a hypothesis is a statement that can be true or false. That's it.

The reason I refer to science in this very technical way is because the we are tackling the problem of classification. We are asking the question what is computer science? So to answer the question we need to use very technical definitions where the boundaries of categorization are extremely clear.

Again, at a very technical level a hypothesis is simply a statement that is true or false.

replies(3): >>41882469 #>>41882489 #>>41886481 #
26. abeppu ◴[] No.41882469{3}[source]
I think it's a mistake to frame "why" as "cultural stuff around the scientific method" but not actually part of science.

> Basically a hypothesis is a statement that can be true or false. That's it.

No, a statement which can be true or false is just a proposition. The reason that we care about "why" is that a hypothesis has bearing on many falsifiable propositions. It's the difference between "the specific rock I dropped accelerated at 9.8 m/s^2" and Newton's law of universal gravitation.

replies(1): >>41882575 #
27. lisper ◴[] No.41882489{3}[source]
> a hypothesis is simply a statement that is true or false.

No, that is a proposition, not a hypothesis.

And the requirement that hypotheses be explanatory has nothing to do with culture, it is the distinguishing feature of the scientific method. See: https://blog.rongarret.info/2024/03/a-clean-sheet-introducti...

replies(1): >>41882571 #
28. ninetyninenine ◴[] No.41882571{4}[source]
False. At the very technical level, a hypothesis is defined by statistics.

https://www.sciencedirect.com/topics/mathematics/statistical....

When you cut through all the cultural and human stuff we place around the scientific method, in the end it is a statistics problem at the most technical level. Everything else makes it fuzzy and hard to define.

replies(2): >>41883394 #>>41883478 #
29. ninetyninenine ◴[] No.41882575{4}[source]
I explain here:

https://news.ycombinator.com/item?id=41882469

30. 3np ◴[] No.41882656{5}[source]
I mean...

Consider this school of thought: My school burned down last week. The one where I went to elementary school.

A strawberry is not botanically a berry. A peanut is not a nut. A tomato is either a fruit or a vegetable. Nobody thinks this is a problem.

This is just language. Perhaps it's not actually a big deal that "Theoretical Computer Science" does not cleanly fall into your usual "Science" label?

replies(1): >>41882989 #
31. ninetyninenine ◴[] No.41882989{6}[source]
>This is just language. Perhaps it's not actually a big deal that "Theoretical Computer Science" does not cleanly fall into your usual "Science" label?

What are you talking about? You're regurgitating points I already made as if I never made those points...

I literally said Computer science is NOT a science.

I said several times, it's a linguistic/nomenclature issue.

I don't think you're reading my responses. Are you trolling? If not please read over my responses more carefully.

replies(2): >>41883198 #>>41883951 #
32. 3np ◴[] No.41883198{7}[source]
So, we are acknowledging that there exist parallel non-overlaping equally valid notions and definitions of science.

Menawhile, you seem pretty hung up on the "In Science, nothing can be proven" part of a whole long argument as to why CS shouldn't be referred to as a science. Perhaps that distinction is not useful or relevant in context?

replies(1): >>41883424 #
33. jltsiren ◴[] No.41883224[source]
If you define science in terms of the scientific method, you make it a fundamentally useless hobby that can never produce anything of value. If falsifying hypotheses is all you can do, you can never create the kind of knowledge others can build on. The part of science that creates value is building models and explanations that can make reliable predictions. And that can be used as building blocks of more elaborate models and explanations for more complex phenomena.

In theoretical computer science, design and analysis of algorithms is the study of algorithms as mathematical objects. The unfortunately named algorithm engineering is the science of algorithms. It deals with algorithms that are written in code and run on real computers. Among other things, it seeks to build models that can predict the performance of an algorithm without implementing and running it.

Then there is algorithmic economics (or whatever it's called today), which was a huge success for theoretical computer science. At least in some amoral sense. The microeconomic models it created enabled turning the internet into the ad-centric data-driven dystopia it currently is.

replies(1): >>41883377 #
34. ninetyninenine ◴[] No.41883377[source]
>If you define science in terms of the scientific method, you make it a fundamentally useless hobby that can never produce anything of value. If falsifying hypotheses is all you can do, you can never create the kind of knowledge others can build on. The part of science that creates value is building models and explanations that can make reliable predictions. And that can be used as building blocks of more elaborate models and explanations for more complex phenomena.

You don't define it this way in common parlance or even in articles. But you do need to heavily define it this way when categorizing things. If you don't do this you have a categorical mishmash where nothing is ever truly defined properly and filled with fuzzy meanings. See the word "entropy" there are at least 3 definitions for that word and these definitions confuse people and lead most people to not completely understand the concept of what entropy is EVEN at just an intuitive and fuzzy level.

I realize it appears that I'm being overly pedantic and inflexible but this is NOT the case.

To be flexible means you need to understand why language SHOULD NOT have rigid definitions in certain contexts but also WHY it should be extremely rigid and concrete in other contexts. You need BOTH. When it comes to categorization on what is "theoretical computer science" and other very technical topics we Need to have well defined categories and definitions.

The fuzziness of literature and poetry which remains open to interpretation has significantly lower utility in technical fields.

replies(1): >>41883628 #
35. abeppu ◴[] No.41883394{5}[source]
You started by saying that in science you cannot prove things, only provide evidence, but that in math you can prove things.

Then you made an assertion that a hypothesis "is a statement that can be true or false. That's it."

Now, you're asserting that a hypothesis "is defined by statistics". Never mind that humans did a bunch of science before statistics were developed, this is different than your prior statement ("true or false. That's it."), and you seem extremely confident in it.

You're acting as if you have certainty in a statement, but you did not arrive at it by a proof. You've claimed that only the falsifiability of a statement matter, not its explanatory structure, but your own statements about hypotheses are structural and definitional ("defined by statistics", "at the most technical level", "ignoring all the cultural stuff"). You've asserted that a hypothesis is falsifiable, and intrinsically statistical, but you bring no quantitative data in support of this.

I don't know what activity you're engaged in, but it doesn't seem like a rigorous and principled search for truth. And you seem to be more willing to preach about the importance of falsifiability than to apply that concept critically.

replies(1): >>41883699 #
36. ninetyninenine ◴[] No.41883424{8}[source]
>So, we are acknowledging that there exist parallel non-overlaping equally valid notions and definitions of science.

False. I said I acknowledge linguistic issues that can cause confusion. There is overlap but there is NO contradiction. There isn't a case where there are two conflicting definitions for a single term.

>Menawhile, you seem pretty hung up on the "In Science, nothing can be proven" part of a whole long argument as to why CS shouldn't be referred to as a science. Perhaps that distinction is not useful or relevant in context?

Meanwhile you seem hung up on me setting up clear and categorical distinctions as not useful or relevant.

Let me make it clear why your hang up doesn't make sense. The entire topic of this thread is an argument for "why CS isn't math." I am staying on topic and saying that CS IS a MATH and NOT a SCIENCE. Thus because I am on topic the distinction is ON context and HIGHLY relevant. You can disagree and state your points but saying my point isn't relevant is false.

It's not a valid argument. I literally stated the premise is false and stated the reason why, and you stated the reason is off topic as if I changed the topic .

37. lisper ◴[] No.41883478{5}[source]
Now you're moving the goal posts. First, it was "a hypothesis is a statement that can be true or false. That's it." Now it's "a hypothesis is defined by statistics". Get back to me when you've decided what your position actually is. I'm not going to waste time debunking every half-baked idea you can come up with.
replies(1): >>41883722 #
38. jltsiren ◴[] No.41883628{3}[source]
Now you are assuming that rigidly defined science is a useful category. I'm less sure about that. It's certainly not a universal category, as the concept does not even exist in many European languages. Instead of "science", they have something like "Wissenschaft". It has retained the original wider meaning, while English "science" has narrowed in scope. There can be subdivisions such as "naturvetenskap", but they are typically defined by the topic of study rather than the methods used.
replies(1): >>41883772 #
39. ninetyninenine ◴[] No.41883699{6}[source]
>Then you made an assertion that a hypothesis "is a statement that can be true or false. That's it."

Yeah so? You can make a statement and the actuality of that statement is either true or false. But how you prove that statement to be true is NOT possible. That is my claim. I am also saying it is POSSIBLE to falsify the statement aka disprove it... All statements have this property.

>Now, you're asserting that a hypothesis "is defined by statistics". Never mind that humans did a bunch of science before statistics were developed, this is different than your prior statement ("true or false. That's it."), and you seem extremely confident in it.

Well you're using the "what came first argument" to say that the original scientific definition came before the statistical definition so it's more valid. I disagree.

Language emerges from concepts in attempt to explain things we only have vague understanding of. Concepts like Life and intelligence are ill defined and used for communication on topics we don't completely understand. It's useful to communicate this way but it's useful only because either we don't understand something completely or because we use it as a shortcut. Usually a new word starts off in this fuzzy state and as we understand things better the word takes on a more rigorous definition. Science started out without us understanding statistics, so that's why you have a lot of older definitions attached to it. The technical definition of hypothesis is part of mathematics. That is ultimately the most correct definition but it's not the definition with the most utility. If push comes to shove and we want to categorize a technical concept like computer science, then the technical definition is what matters more.

>You're acting as if you have certainty in a statement, but you did not arrive at it by a proof.

What. I never said this. You are entirely misunderstanding. I said statements can either be true or false. The proof of whether it's actually true or false is a separate issue. My original claim is that proving something true is impossible.

>You've claimed that only the falsifiability of a statement matter, not its explanatory structure, but your own statements about hypotheses are structural and definitional ("defined by statistics", "at the most technical level", "ignoring all the cultural stuff").

I didn't say only the falsifiability of a statement matters. I never said this. I said falsifying a statement is the only thing we logically have the ability to do. It still matters to do correlations and other types of things related to science but at a technical level we aren't proving anything. At a technical level things can only be falsified. This is not to say OTHER things don't matter. They do matter.

>You've asserted that a hypothesis is falsifiable, and intrinsically statistical, but you bring no quantitative data in support of this.

Did I not post a link to a resource stating this? This is Data supporting my point. If you want quantitative data for the English definition a word, I'm sorry but that's just not physically possible. English definitions cannot be quantified into numbers for any meaningful numerical analysis.

I know your question is just sort of rhetorical. Basically you think I'm being too pedantic and you're trying to illustrate a contradiction in my own logic. I don't deny it. In the end I'm using my own personal opinion here. But I share my opinion here because I believe if that the MAJORITY of people completely UNDERSTAND what I'm saying they will AGREE with me. That's all. But again opinion. And either way nothing can really be proven can it? Especially for english definitions.

>I don't know what activity you're engaged in, but it doesn't seem like a rigorous and principled search for truth. And you seem to be more willing to preach about the importance of falsifiability than to apply that concept critically.

What are you trying to say here? This is false. And it approaches the point of accusatory and a lie. I don't preach the importance of falsifiability. I am just saying that is the only possible technical thing we can do in terms of determining if something is true or false. I get technical because we ARE CATEGORIZING technical concepts and definitions so it's appropriate to DO THIS. If we are casually conversing or trying to understand concepts then of course we can revert to the more laid back way of communicating and fuzzy way of defining things.

But what's actually going on here is that we are determining whether or not a technical concept: "Theoretical computer science" is math or not? Such detailed and rigorous categorization REQUIRES the use of detailed and rigorous definitions.

replies(1): >>41883848 #
40. ninetyninenine ◴[] No.41883722{6}[source]
The goal posts were never moved. What moved is your understanding of what I'm trying to say.

A hypothesis is a statement that is TRUE or FALSE. And THIS is HOW it's defined by statistics.

>I'm not going to waste time debunking every half-baked idea you can come up with.

I'm sorry but this attitude is offensive and against the rules here. I can't participate in any further discussion with you because of this. Thank you for your time and good day.

replies(2): >>41883894 #>>41884473 #
41. ninetyninenine ◴[] No.41883772{4}[source]
>Now you are assuming that rigidly defined science is a useful category. I'm less sure about that.

It's useful for categorization (which is the overall topic). For formalization of concepts. Formalization is always useful for technical concepts. Programming is one of those things that requires formal definitions.

It's probably less useful for common communication. But that's not what I'm referring to. Sure in communication we don't require technical definitions. I'm not arguing for whether MY definition has utility in a variety of contexts.

I'm simply saying for the rigorous categorization being performed by the OP on what "theoretical computer science" is.... he should ALSO use the rigorous definitions of the Categories themselves.

42. Koshkin ◴[] No.41883848{7}[source]
> You can make a statement and the actuality of that statement is either true or false.

It can also be "not even wrong."

replies(1): >>41883967 #
43. Koshkin ◴[] No.41883894{7}[source]
I don't think that physics (for example) uses the word "hypothesis" in the same sense, even though there are, indeed, parallels between the two sciences.
replies(1): >>41884097 #
44. Koshkin ◴[] No.41883951{7}[source]
> I literally said Computer science is NOT a science.

But the point was that this entirely depends on one's definition of what the word "science" means - and that depends on the context and the language. I can say, for example, that math is science - simply equating "science" with "knowledge" and "research".

replies(1): >>41884164 #
45. ninetyninenine ◴[] No.41883967{8}[source]
What does that mean? How does "not even wrong" differ from true or false?
replies(3): >>41884019 #>>41884996 #>>41885256 #
46. Koshkin ◴[] No.41883988{4}[source]
> So actually high confidence is just an assumption.

This one is actually a funny statement. Not all assumptions are born equal :)

replies(1): >>41884622 #
47. Koshkin ◴[] No.41884019{9}[source]
https://en.wikipedia.org/wiki/Not_even_wrong
48. Koshkin ◴[] No.41884040{3}[source]
> - In math things can be proven.

Some things can, some cannot (be either proven or shown to be false).

replies(1): >>41884119 #
49. ninetyninenine ◴[] No.41884097{8}[source]
What is the physics definition and what sciences are you referring to?
replies(1): >>41884388 #
50. ninetyninenine ◴[] No.41884119{4}[source]
Right so I never said anything to the contrary. In fact, ironically, it's been proven that in Math there are statements that are true, but can never be proven to be true. See Godel.
51. ninetyninenine ◴[] No.41884164{8}[source]
>But the point was that this entirely depends on one's definition of what the word "science" means - and that depends on the context and the language. I can say, for example, that math is science - simply equating "science" with "knowledge" and "research".

And I stated this in this thread several times. I defined what science is and I literally said, Computer Science isn't ACTUALLY a Science. It's incorrect terminology due to historical reasons. It's similar to greenland. Greenland isn't actually Green.

If you followed carefully what I wrote in this thread I defined what definition of science I'm using very very clearly and I ALSO stated why for the context of defining what "Theoretical Computer Science" using this definition has the most utility for the task at hand.

Look, not just you Koshkin, but everyone. This isn't even a thing that's really up for debate. Look at the wikipedia page for "theoretical computer science". The FIRST intro literally says it's the mathematical foundations for computation.

https://www.wikiwand.com/en/articles/Theoretical_computer_sc...

replies(1): >>41884406 #
52. Koshkin ◴[] No.41884388{9}[source]
A statistical hypothesis is an assumption about a population parameter. A hypothesis in physics is something else entirely. (Incidentally, there are hypotheses in mathematics, too, called "conjectures"). You may disagree, but I see statistics as a science, akin to physics; which, perhaps, is why we also have "mathematical statistics."
replies(1): >>41884574 #
53. Koshkin ◴[] No.41884406{9}[source]
You believe that your definition of the word "science" is actually correct. (I have my doubts.)
replies(1): >>41884601 #
54. lisper ◴[] No.41884473{7}[source]
> The goal posts were never moved.

Yes, they were. You started out by saying, "a hypothesis is a statement that can be true or false. That's it." But that isn't "it" as you yourself found it necessary to explain.

> I can't participate in any further discussion

That's fine, I'm writing this response for the benefit of others who might be reading this: not only are both of your claims wrong, they are transparently wrong. "Santa Claus lives at the North Pole" is a statement that can be either true or false (it happens to be false) but it doesn't have the same standing as a scientific hypothesis as, say, "the laws of physics are invariant under Galilean relativity." That happens to be false too, but it is not nearly as false as "Santa Claus lives at the North Pole." And neither of these has anything to do with statistics.

You clearly don't understand the first thing about how the scientific method actually works, starting with the fact that you cannot strip away "the cultural stuff." Science is a human endeavor. It is ultimately about accounting for our subjective experiences because that is all any of us have direct access to. This includes, but is not limited to, the fact that there seems to be this thing people do called "science", which has a bunch of interesting properties and turns out to be tremendously useful. Statistics are only a small part of that endeavor. An important part to be sure, but a small part nonetheless.

replies(1): >>41884550 #
55. ninetyninenine ◴[] No.41884550{8}[source]
Dear comment reader, there's no benefit for reading this section of the thread. Not only is he wrong. He's been rude and insulting and in violation of the rules. I flagged his section of the thread. I'm not the moderator but I think this thread will be killed by him once he sees it.

Meanwhile, before the moderator arrives, I'm placing this comment here to ask people to stop responding to him and aggravating the thread further. Thank you.

replies(2): >>41885000 #>>41885272 #
56. ninetyninenine ◴[] No.41884574{10}[source]
Well both are statements that can be true or false.

I would say in physics it's also a population parameter. It's just sometimes we feel so confident about a single observation that we only need to take 1 sample.

>You may disagree, but I see statistics as a science, akin to physics

I don't disagree. This has been my entire point. I define statistics as the foundational formal definition of the scientific method.

57. ninetyninenine ◴[] No.41884601{10}[source]
Well that's the basis of my arguments. If you disagree on foundational definitions then we have a disagreement on language and our choice of what definition to use for what word is rather arbitrary. There's no way to conclude a discussion at this point.

Additionally if you actually follow the wiki definition above of "theoretical computer science" all of the contents of that article are literally describing mathematics and nothing else. EVEN the introduction says it's math. You haven't commented on this point.

Also It's not a "my definition" it's more of a definition within a well known body of study called the philosophy of science.

Sources:

https://www.wikiwand.com/en/articles/Karl_Popper

https://www.wikiwand.com/en/articles/Falsifiability

58. ninetyninenine ◴[] No.41884622{5}[source]
Yeah, we actually can't technically have any confidence for anything. Yet somehow we are. It's a bit paradoxical to our daily experience.
59. FabHK ◴[] No.41884996{9}[source]
There are sentences that are not propositions, for example "Go get me a beer", or "Will it rain?" or "Greenness perambulates."
replies(1): >>41885338 #
60. FabHK ◴[] No.41885000{9}[source]
Or maybe you're misguided? You seem to want to expound a fairly naive Popperian view of science, but cannot distinguish "proposition" from "hypothesis".
replies(1): >>41885344 #
61. hun3 ◴[] No.41885256{9}[source]
"This statement is false." ;)
replies(1): >>41885645 #
62. montjoy ◴[] No.41885272{9}[source]
Hi. Comment reader here. Regardless whether you are right or not you’re coming across as obstinate. It might do you well to eat some humble pie.
replies(1): >>41885652 #
63. raincom ◴[] No.41885304[source]
Exactly this. A hypothesis is postulated to explain phenomena (observations). An adhoc hypothesis is one that explains already-selected facts/observations/phenomena. That's why it is very important for a hypothesis to explain novel facts, solve novel problems. That's why Late Philosopher of Science Larry Lauren made a distinction between confirming instances and positive instances.
replies(1): >>41888232 #
64. ninetyninenine ◴[] No.41885338{10}[source]
Right and those sentences are not hypothesis either.
65. ninetyninenine ◴[] No.41885344{10}[source]
So? That’s my opinion. The insults were uncalled for.

Please don’t aggrevate this further.

66. ninetyninenine ◴[] No.41885645{10}[source]
That’s a statement unprovable in math and reality. You're likely thinking of Gödel.
67. ninetyninenine ◴[] No.41885652{10}[source]
If that’s the case, then I apologize, it wasn’t my intention. Still, being confident about my answers is entirely different from insults which are always uncalled for.

Either way please stop extending this thread.

replies(1): >>41888817 #
68. auggierose ◴[] No.41886472{5}[source]
A single fruit

A single math

One of these expressions doesn't make sense. So no, you cannot use "math" like "fruit".

replies(1): >>41888126 #
69. Scarblac ◴[] No.41886481{3}[source]
Yes, it's a statement thats true or false.

But it must also be useful. We don't do science just to enumerate trivial true statements, after all.

To be useful it needs to predict things.

And when it's falsified (say your hypothesis explained why swans are white, but you found a black one), it doesn't get discarded immediately. It's still useful until someone comes up with a better hypothesis that fits with white swans and the occasional black swan.

replies(1): >>41888087 #
70. ninetyninenine ◴[] No.41888087{4}[source]
> But it must also be useful. We don't do science just to enumerate trivial true statements, after all.

Sure it can be useful. Think of it like a mathematical theorem. What’s the point of the theorem unless it’s useful? Why would a book define a theorem if it wasn’t useful?

So theorems in math need to be useful. But such a quality is human and fuzzy in nature. What does it mean to be useful? And everyone has a different definition of useful. That’s why the definition of a theorem doesn’t include the term useful Even though generally speaking it’s a bit of a requirement if an author were to define a theorem in a book.

The definition for hypothesis that I use follows the exact same process. It is a rigorous technical definition that we are using for rigorous and detailed categorization of another term: “Theoretical computer science”.

Thus in the face of such a task I use the most rigorous definition of hypothesis available. I discard fuzzy terms like usefulness or expositions into “why” to determine categorization.

The statistical hypothesis which defines the term hypothesis in a very technical way. In fact, in statistics, hypothesis testing is basically the technical definition of the scientific method. Following this definition we can clearly see the boundaries of things more clearly.

Theoretical computer science does not involve hypothesis testing. It is mathematics because it involves axioms and theorems.

71. ninetyninenine ◴[] No.41888126{6}[source]
Ok, you are right. But as long as people understand my points I’m fine with the grammatical error.
72. ninetyninenine ◴[] No.41888232{3}[source]
Disagree. The scientific method is an attempt at ascertaining the truth. It makes sense to extract a technical definition of what this process is devoid of human factors like “explanation”.

Similar to formalization where we determine the grammatical rules of a language in linguistics or formalization of a physical system to develop models for by using the statistical definition of hypothesis I am doing the same technical extraction here.

Sure informal definitions of hypothesis are useful but formal models are also useful and thus a formal model of science as defined by statistics is useful as well.

I am not denying alternative definition of hypothesis.

I am just saying that for the rigorous categorization of the term “theoretical computer science” we find that it doesn’t fit into the rigorous definition of the scientific method. There is a clear delineation here. If you want to use other definitions where “usefulness” and “explanations” are a factor then what literally stops knitting from being a science? Knitting can be useful and technical in terms composing fabric together…. why isn’t it a science?

You see the issue here and why technicality or formalization is needed? Intuitively we know knitting isn’t a science but we aren’t sure technically why… The technical definition of science elucidates the reason why knitting is not a science… because knitting doesn’t involve hypothesis testing. Plain and simple. We discard fuzzy terms like “usefulness” and it ultimately becomes clear why knitting isn’t a science.

The other reason why the statistical definition of hypothesis is useful is because it helps us delineate categories for terms where our intuition fails and becomes ambiguous. We aren’t sure where “theoretical computer science” fits into terms of science or mathematics. Using technical definitions we find that theoretical computer science is actually a math and not a science.

If we use informal definitions then nobody is sure what computer science is. The mind is confused thinking it’s both a science and a math at the same time and the op starts to use analogies in attempt to justify certain categorizations. Any time you use analogies as proof you hit a sort of failure because analogies don’t prove anything. You need to use definitions as proof.

Hence the need for formal definition's. Your philosophers definition of hypothesis is unfortunately too informal.

replies(1): >>41911405 #
73. _proofs ◴[] No.41888817{11}[source]
no one has really insulted you, so the playing the victim part is also coming across as more obstinate -- what you are experiencing is people becoming frustrated with the assertions.

you have been sufficiently approached, your points addressed, and multiple people have provided ample reasoning that expound on their assertions, adding context, nuance, historical, conventional, or otherwise.

all you have contributed to the over-reaching discussion is assertions (in some cases they come across as not fully thought out, as if the tape was not fully played), followed be an emphatic and repeated: "you're wrong!"

and for as much as you have claimed to strip away culture as an influence to the discussion, you have also managed to strip away important nuances between established words in our -- cultural -- expression here: proposition vs. hypothesis.

it appears that the position here is attempting to generally (and loosely) apply a statistical hypothesis as the internal world model for science at large, where in stats the word hypothesis is almost a binary operator evaluating to true or false (ie: Null Hypothesis), and functionally operates more like asserting a proposition over a data set, and then evaluating the data to see if it holds.

as a comment reader, while i appreciate the discussion, reducing everything to a statistical hypothesis and then telling people they are wrong when they show, not tell, there are important, established, agreed upon meanings, is not contributing in good faith, which i imagine is causing a lot of the aforementioned frustrations.

replies(1): >>41891550 #
74. ninetyninenine ◴[] No.41891550{12}[source]
I respectfully ask you to stop.

I was insulted go back and look at it.

If you want to discuss things with me, please do so in another thread. I welcome you to tell me I'm wrong as I will do the same if I disagree with you. Telling me I'm wrong is not an insult and it's the basis of truthful honest discussion. If you believe I'm wrong, tell me straight. Don't dance around it.

75. raincom ◴[] No.41911405{4}[source]
You should better read up research done in the domain of philosophy of sciences. I was not providing a definition of hypothesis. Instead, treat as a hypothesis about hypothesis. Definitions don't settle any dispute, whatsoever, because they just replace one symbol (definiendum) with another set of symbols (definiens).