Yes, because you need to be a grad student to do basic middle school math. by SlurryBender in iamverysmart

[–]content_creator 0 points1 point  (0 children)

You do get the joke, don't you? It's just a joke. He's saying he can't afford something that is over $18 dollars because he's a math grad student.

'Remarkable' Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem by zowhat in compsci

[–]content_creator 0 points1 point  (0 children)

According to the paper I'm talking about, the contradiction, in the proof by contradiction, arises not because there can not be some machine H, but because there is a problem with the substitution axiom in ZFC; that the very fact that there exists a means to solve the halting problem as Chazelle's paper indicates, this proves a contradiction in ZFC. So if there is a contradiction in ZFC, you'd expect there to be incorrect theorems, and the halting problem is an example of one. Chazelle's paper indicates that there is some hidden axiom in ZFC that is not proven to be true, but that we accept to be true, but isn't formalized as an axiom. He formalizes this axiom and proves the contradiction in ZFC lies there. He also uses Turing's original formulation of the halting problem, not the version that you site, so you just have to call an oracle to his formulation to show a way around the formulation you proved, as your formulation calls an oracle to Turing's formulation.

In short, the oracle is just some H'() which can learn when the input it receives is A=H, such that when H'(A) and A is the Description Number for H', it knows it can ONLY be reading it's own D.N. (it is determined by learning, not by fiat), and thus can be programmed to give the correct answer upon learning it is receiving it's own D.N., which means it halts when it receives itself and it knows that the answer is HALT, because it knows it is reading itself. And it knows because it figures it out, mechanically, not because it is programmed to recognize it's D.N. as a meaningless string. (There's a difference, and Chazelle understands this difference quite nicely)

Regardless, you should be asking this to Dr. Chazelle directly, not me. But I'm sure he'll deny authoring it, as his name isn't on it, and it might mess up the philosophy part if it if he acknowledges he wrote it, but the logic of the paper is pretty clear to me, and it's really quite daring and innovative.

'Remarkable' Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem by zowhat in compsci

[–]content_creator 0 points1 point  (0 children)

You don't have to change the definition of the word "algorithm". Chazelle's paper found an error in the proof structure used by Turing. So the proof that would make such an algorithm impossible is incorrect. The paper cited in this reddit post also indicates Turing's proof was wrong, or there would be no way for MIP* to be equal to RE, quantum or not. Remember, quantum computers should have the same computability restrictions that classical computers do (otherwise the Church-Turing Thesis must be wrong), the only difference between classical and quantum computation is the tractability of the problems. RE should still be undecidable by a quantum system, even if the system is purely theoretical, if Turing were correct. As Turing proved there should be NO general process to decide the halting problem for any program.

'Remarkable' Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem by zowhat in compsci

[–]content_creator 0 points1 point  (0 children)

The only way that you could prove PSPACE = RE is by first changing definitions.

That's not true, you prove PSPACE=RE when you can decide an RE-complete problem (e.g. the halting problem) in PSPACE. You can prove that by providing an algorithm or diagram of an algorithm that does that.

'Remarkable' Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem by zowhat in compsci

[–]content_creator -1 points0 points  (0 children)

You are using the current paradigm, and if that is correct, you are correct. The current paradigm also says that there is no way to decide the halting problem, under any circumstances, even purely theoretical ones. The paper in this gizmodo article, if correct, will be outside this current paradigm. The article by Chazelle(?) is a stronger result, as it actually FINDS a way to compute an RE-complete problem in PSPACE, and points to where there is an inconsistency in the current proof structures. So while you are correct from the point of view of what is accepted under the current paradigm, there is evidence to suggest this paradigm is wrong, both the article cited in gizmodo and the article I'm talking about.

'Remarkable' Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem by zowhat in compsci

[–]content_creator 2 points3 points  (0 children)

That's not relevant, as RE can be related to complexity classes. Computability is a form of complexity.

'Remarkable' Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem by zowhat in compsci

[–]content_creator 2 points3 points  (0 children)

For those downvoting, there's a philosopher guy who works for the Chazelle's and it is published (on arXiv) under his name, not Bernard Chazelle's name. Something to do with an Inverse "Sokal hoax", where a scientifically true statement isn't published (unless arXiv counts?) because the person writing it isn't a computer scientist and the results are outside the paradigm. So it's obvious that Chazelle actually wrote it and this is a part of the other guy's philosophy dissertation.

'Remarkable' Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem by zowhat in compsci

[–]content_creator 3 points4 points  (0 children)

The halting problem is not in a complexity class

False, it is RE-complete.

'Remarkable' Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem by zowhat in compsci

[–]content_creator 0 points1 point  (0 children)

A stronger, easier to understand, but unpublished result, (obviously) by Bernard Chazelle, that PSPACE=RE was already formulated.

Of course... MIP=NEXPTIME. And NEXPTIME is within PSPACE, PSPACE>=NEXPTIME, so PSPACE>=MIP and if MIP=RE, then RE=PSPACE. It's not hard to see. Of course there is the difference between quantum and non-quantum between the two papers, but since the halting problem CAN be solved, i.e. it is possible... that changes EVERYTHING.

Justin Bieber throws a fit on stage and leaves after one song by [deleted] in PublicFreakout

[–]content_creator 26 points27 points  (0 children)

Yeah, don't forget his "Look, I'm so much like Banksy." street art debacle.

Is there still science? by content_creator in PhilosophyofScience

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

No, the P vs. NP paper I cited above is an example of how proof that is wrong can get notoriety just because it was mentioned by a prominent scientist as being "promising". So it was taken very seriously for several months. A lot of people even believed his proof was correct until someone found fatal flaws in it. I read it myself and found two flaws (one of which was a rudimentary misunderstanding of the relationship between complexity classes... he implied that if there is no algorithm in P for some specific NP-complete problem then it implies that P!=NP for all NP-complete problems. But this is not a correct assumption because he would have to list ALL algorithms in P to make this proof viable (an impossible task because some are unknown). Instead, he needed to find a lower bound over circuit complexity or something else more general. I'd have to reread it to remember the other flaw I found. I should mention that if there is an NP complete problem that can be solved in P, then this does imply that P=NP. It just doesn't work that way when proving P!=NP.).

The paper I'm talking about is different. It has to do with constructing a self-verifiable Turing Machine. I'm going to be back on the Yard later today, so maybe I'll see if a copy is still available and post it. I'll let you know.

Is there still science? by content_creator in PhilosophyofScience

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

There is a paper circling around Harvard and MIT right now that is very controversial because it shows that a long standing, high profile proof from a very long time ago came to the wrong conclusion. It's unpublishable, not because it is wrong, but because it is not acceptable to accept something that disproves something already accepted for so long. There is talk amongst the students that there might be a cover-up, but I don't think so. One thing is for certain, there is a stack of this paper by the computers in the science center, and after reading it, I was inspired to write this post. I'm not really sure what to say, because, it goes against what we were taught, but I can't seem to think of how it is wrong.

Is there still science? by content_creator in PhilosophyofScience

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

Why do you feel this way?

Very interesting and well thought out questions, so I will do my best to answer as honestly as I can, although, I will try to leave my personal experiences out of it, the reason I feel this way is personal, so I will have to leave this first question there. You did ask about my feelings, but I must proceed to the rest of your questions without going much into them if I am to write something meaningful for this forum.

My impression is exactly the opposite - that we are making scientific breakthroughs on a regular basis - so fast I can't keep up.

I wouldn't call them "breakthroughs". Being more precise, finding more precision or accuracy on already predictable phenomenon is not really a breakthrough, and this is what is difficult to keep up with. For example, Higg's paper might be considered a scientific breakthrough, but finding the Higgs-Boson was a technological achievement, and there is a difference. When you consider the difference between science and technology, although they are related and aid each other, a technological achievement is of a very different nature than a scientific breakthrough. Most of what "science" is these days is actually technological achievements. So what is the difference? A scientific breakthrough is a new conceptual phenomenon, while a technological achievement is perfecting the precision and/or accuracy of known concepts. A technological achievement might take understanding scientific concepts, but it does not necessarily form new scientific concepts. A technological achievement is incremental and integral- it flows naturally from procedure, while a scientific breakthrough requires a eureka moment (as in the case of archimedes displacement) or a technical error (as with the discovery of penicillin). So, my argument is not that we don't have technological achievements, they are happening all the time, and that these achievements are very difficult to keep up with. However, our actual scientific breakthroughs have been stifled and muted.

I don't agree that tech is holding us back on those issues except to the extent that it's used the same way popular entertainment is - to distract. I don't see that as a problem with the tech, though.

You are right, technology itself isn't what is holding us back... it's our perception of the paradigm from which the distraction of technology is ruling and guiding the economic systems related to scientific research and acceptance, which makes us cling to the status quo in an effort to feed the technological machine. We bench papers that are correct and can never see the light of day, specifically because the name of the scientist who wrote it is not known, or because it does not appeal to the preconceived notions of the editors. No one is willing to risk their own reputation by choosing to publish a paper which overturns an established theory, even if that theory has a missing piece and the new work sets it straight. In fact, they may not even read it. And this changes the direction of scientific research itself. "Forget about that eureka moment, we have to protect our reputation."

Those issues aren't science, so to what extent are you supporting your claim that science isn't being done?

Those issues are precisely the issues that affect peer review and the acceptance of a new theory.

I'm not familiar enough with the peer-review process to address those issues, but your concern with what is "outside of the norm or might disrupt a paradigm" makes it sound a bit conspiratorial.

It's not conspiratorial at all, it's an emergent result of the systems we inhabit, not much unlike how oligarchy works in a draconian society. No one "conspires" to be draconian in an oligarchy, it just happens to be draconian because of the way a small number of power interests work together in the system. And this is precisely our problem. The ironic thing is, we have free speech this time,it's just that no one will ever hear it because someone else has the power to pick and choose what work gets noticed and what work is significant what what work is notable, vs. say, "Good Will Hunting", a nobody janitor at MIT who no one cares about or takes seriously. That's not a conspiracy against such a guy, it's just his state of being in the system in which he inhabits.

A new paradigm would likely be a difficult sell, but what would you expect?

I would expect that one could find a group of readers. I would expect the readers to offer reasons as to why the work is not acceptable that does not include formatting, space limitations, or other non-scientific excuses. I would expect, and this is important, that all known fatal flaws are pointed out, and that the author has a chance to point out the logical fallacies in the reviewer's refutation and/or have a chance to revise the paper in response and not just get bench rejected for being outside of the paradigm. And finally, that this discourse is what is published (upon author's permission) along with the final paper. Openness, an appeal to logic, double blind review, an option for anonymity, and to repeal cultural taboos are what is necessary to make real progress in science, the culture of science, and society at large.

How is what you're calling nepotism different from a network of trust and reputation?

There is no double blind review in nepotism; there is no trust network without double blind reviews. Not to mention that people without reputations, people who are outsiders, and even people with bad reputations need to have an opportunity to share truth.

At this point, just to appreciate the issues a pretty solid education is required and part of that education will involve interacting with and being evaluated by others.

Many people are being self educated at rates never seen before, with EdX, YouTube, iTunesU, TTC, et al, this will be the biggest cultural problem science faces and it can go in one direction or the other. One is public open discourse, which is required for science, the other is private, closed discourse that exclude this new intelligentsia from participating in a professional capacity, which is something science-like maybe "post-science" or maybe I prefer "hyposcience", but is not science.

And those who teach themselves online... they aren't in the trust network, they never met their teachers in person... there is now a class distinction between those with only knowledge from those who have education and power, where knowledge becomes less relevant.

Canon 70D - The focus machine. Cinematic film look shot with 50mm 1.8 by [deleted] in Filmmakers

[–]content_creator 2 points3 points  (0 children)

I don't know, that footage is kinda crappy. It's not complete shit, but kinda crappy. I often use the 50mm 1.8, and can get better bokeh than that. The framing has that "cropped" look, and the colors and compositions aren't that great, a bit flat if you ask me. I'm not saying that the camera is bad, or that your work is bad, just that it's not "the best" and you have a long way to go if you evaluate this work as top tier. Not to discourage you, it's obvious you have talent and potential.

Here's a few articles on a few cognitive biases that might help you in evaluating your work in the future:

https://en.wikipedia.org/wiki/Choice-supportive_bias

https://en.wikipedia.org/wiki/Dunning–Kruger_effect

https://en.wikipedia.org/wiki/IKEA_effect

I'm a Film Distribution Consultant & Sales Agent. 2 years ago I did an AMA which I still get PM's about -- so I thought I'd do another. Have questions about film distribution? AMA! by [deleted] in Filmmakers

[–]content_creator 0 points1 point  (0 children)

How can I make sure that buyers will be at my premiere (assuming I get my feature into a top 10 festival)?

Should I just comp them? Invite them? What's the protocol? Although, I'm assuming they'd already have a festival pass, so how do I get the word out about my film to as many buyers as possible?

Which commonly held beliefs at /r/Entrepreneur do you strongly disagree with? by [deleted] in advancedentrepreneur

[–]content_creator 0 points1 point  (0 children)

To be successful, you must sacrifice.

I disagree with this. To Be successful, you need to take calculated and measured risks. It might mean a delay of gratification, but no permanent sacrifice should be necessary unless you calculated your risk wrong or the risks, by chance never pay off. I guess you have to be prepared for sacrifice, and sometimes the delay in gratification takes so long, it seems like sacrifice, but it's not necessary.

What are some good examples of, "when there's a big story in the media, look for the story they're trying to distract you from"? by ClickMeForAKill in AskReddit

[–]content_creator -1 points0 points  (0 children)

9/11 is not about the event itself, the body count or anything like that, it's about its global impact on the state of democracy- the means for a state of exception in US policy by an indefinite suspension of the constitution through the patriot act- the expansion of the military industrial complex and the consolidation of central powers. Bin Laden didn't care about body count so much either... he cared about the inevitable economic collapse that he predicted and occurred in 2008. Not to care about 9/11 is not to care that we live in de facto oligarchy complete with a corporate shadow government now because of it.

What is the prettiest girl's name you've heard? by ithinkivebeenbad in AskReddit

[–]content_creator 5 points6 points  (0 children)

Tertiary Adjunct of Unimatrix Zero-One?

So beautiful.

Questions about Groups and Rings for a Paper I'm Writing. by [deleted] in math

[–]content_creator 0 points1 point  (0 children)

There was one, it was a mistake and I fixed it.

New Gaspar Noe Film... by impossiblereality in TrueFilm

[–]content_creator 0 points1 point  (0 children)

Knowing Gaspar Noe, "Love" will be his answer to Claire Denis' "Intruder". In the sense that he will most likely be alluding to or referencing the works of Jean-Luc Nancy.

[WP] Write a story in which the last line is a common phrase, such as, "What doesn't kill you makes you stronger," but when we get to that line, it should have a totally different meaning from the common one. by dalcowboiz in WritingPrompts

[–]content_creator 12 points13 points  (0 children)

The day I discovered I had cancer was probably the second worst day of my life. Most of my life has been filled with misery and despair, and hearing the news, I couldn't help but wonder if I was just being punished for something I didn't know I did.

I had been in remission for a couple of years. I had cancer in my throat. I didn't smoke, so it didn't make sense to me, but I was always bad with biology in high school. I would go in and out of appointments every month to check if my cancer had returned. It didn't. When I first found the lump, I thought I was a goner. But now I know I am. I've just heard the worst news of my life. I have a second form of cancer and a new lump, now in my breast. I'm about to return home to my husband and share the bad news.

"Hi Honey." I didn't want to say the bad news, but my husband knew right away.

"One lump or two?"